# バリデティロールアップ: イーサリアムのスケーリングに最適な選択？バリディティ・ロールアップ（zk-rollupとも呼ばれる）は、安全で分散型の方法でイーサリアムのスループットを向上させる最も有望なソリューションと見なされています。この拡張ソリューションの核心は、有効性証明を利用した検証可能な計算です。その仕組みは以下の通りです:オペレーターは取引をオフチェーン環境（第2層）で実行することを解除します。大量の取引を処理した後、第2層オペレーターは結果を返し、イーサリアムの状態に適用します。同時に、オフチェーン実行の完全性の有効性証明を提供します。この証明は、バッチ内のすべての取引が有効であり、オンチェーンの検証者契約によって自動的に検証されることを保証します。これにより、イーサリアムはその状態に結果を適用できるようになります。注意すべきことは、Validity Rollupsが通常ゼロ知識ロールアップと誤って呼ばれることですが、これは正確ではありません。ほとんどのValidity Rollupはゼロ知識証明を使用せず、プライバシーを確保するために使用されません。したがって、「Validity Rollup」という用語がより適切です。! [なぜValidity RollupsはEthereumをスケーリングするための最も有望な方法なのですか? ](https://img-cdn.gateio.im/social/moments-153dacb136e22a06d86040ffe5e822e0)Validity Rollupsにおいて、zkEVMとCairo VM (CVM)は二つの一般的な仮想マシンのタイプです。zkEVMはイーサリアムの互換性に焦点を当てていますが、性能とスケーラビリティを犠牲にしています。一方、Starknetが採用しているCairo VMは、互換性よりも性能とスケーラビリティを重視しています。仮想マシン(VM)は、プログラムを実行できる環境で、Mac上でWindowsオペレーティングシステムを実行するのに似ています。特定の入力を処理した後、異なる状態間で変換します。イーサリアム仮想マシン(EVM)は、イーサリアムスマートコントラクトを実行するためのVMです。ゼロ知識仮想機械(zkVM)は、プログラムの正しい実行を証明するために、検証が容易な有効性証明を生成できるプログラム実行環境です。"zkEVM"は通常、イーサリアム仮想機械(EVM)を利用し、EVMの実行を証明できる要約を指します。この用語は誤解を招く可能性があり、EVM自体はこれらの証明を生成しないためです。証明は、EVMの実行結果に基づいて生成される独立した証明メカニズムによって生成されます。さらに、これらの証明は主に有効性に焦点を当てており、プライバシーには関心がないため、厳密な意味でのゼロ知識証明ではありません。zkEVMは、イーサリアムの体験を完全にLayer-2ブロックチェーンに導入することを目的としています。開発者がコードを変更したり、EVMツールを放棄することなく、よりスケーラブルなソリューションにスマートコントラクトを作成または移植できるように、イーサリアムの環境を複製しようとしています。しかし、このアプローチの主な欠点は、有効性証明の拡張ポテンシャルが低下することです。イーサリアムとの互換性に専念しているため、zkEVMは速度が遅く、リソース消費が高くなっています。比較すると、StarknetはCairo VM (CVM)を採用しており、これは有効性証明の効率を最適化するために特別に設計された新しいVMです。Cairo VMは、開発者が特定のニーズに応じてカスタマイズできるようにし、新しいニーズを満たす機能を備えています。Cairo言語は、計算の有効性証明を作成するプロセスを簡素化することを目的として最初に設計されました。Cairoプログラムは代数マシンコードにコンパイルされ、固定されたVMによって実行されます。このアプローチにより、開発者は基礎となる数学やインフラストラクチャについて深く理解することなく、彼らのアプリケーションを拡張するために有効性証明を利用できるようになります。Starknetは多様なコーディング方法を提供しています。開発者はCairoでネイティブにコードを書くことも、Solidity互換ツールを利用することもできます。例えば、WarpトランスレーターはSolidityコードをCairoにトランスレートすることができ、KakarotはCairoで書かれたzkEVMで、Starknet上でイーサリアムのスマートコントラクトを実行できます。総じて、zkEVMはイーサリアム環境の複製を目指していますが、有効性証明の潜在能力を制限する可能性があります。Cairo VMは、有効性証明システムのために特別に設計されており、EVMの制約を受けず、より高い効率と柔軟性を提供します。Starknetエコシステムが進化し続ける中で、開発者は前例のないブロックチェーンのスケーラビリティ制御能力を手に入れています。! [なぜValidity RollupsはEthereumをスケーリングするための最も有望な方法なのですか? ](https://img-cdn.gateio.im/social/moments-12eef6e2fc5e11f187106BDD011fd720)
Validity RollupsとzkEVM：イーサリアムのスケーリングソリューションの利点と欠点を探る
バリデティロールアップ: イーサリアムのスケーリングに最適な選択？
バリディティ・ロールアップ（zk-rollupとも呼ばれる）は、安全で分散型の方法でイーサリアムのスループットを向上させる最も有望なソリューションと見なされています。この拡張ソリューションの核心は、有効性証明を利用した検証可能な計算です。その仕組みは以下の通りです:
オペレーターは取引をオフチェーン環境（第2層）で実行することを解除します。大量の取引を処理した後、第2層オペレーターは結果を返し、イーサリアムの状態に適用します。同時に、オフチェーン実行の完全性の有効性証明を提供します。この証明は、バッチ内のすべての取引が有効であり、オンチェーンの検証者契約によって自動的に検証されることを保証します。これにより、イーサリアムはその状態に結果を適用できるようになります。
注意すべきことは、Validity Rollupsが通常ゼロ知識ロールアップと誤って呼ばれることですが、これは正確ではありません。ほとんどのValidity Rollupはゼロ知識証明を使用せず、プライバシーを確保するために使用されません。したがって、「Validity Rollup」という用語がより適切です。
! なぜValidity RollupsはEthereumをスケーリングするための最も有望な方法なのですか?
Validity Rollupsにおいて、zkEVMとCairo VM (CVM)は二つの一般的な仮想マシンのタイプです。zkEVMはイーサリアムの互換性に焦点を当てていますが、性能とスケーラビリティを犠牲にしています。一方、Starknetが採用しているCairo VMは、互換性よりも性能とスケーラビリティを重視しています。
仮想マシン(VM)は、プログラムを実行できる環境で、Mac上でWindowsオペレーティングシステムを実行するのに似ています。特定の入力を処理した後、異なる状態間で変換します。イーサリアム仮想マシン(EVM)は、イーサリアムスマートコントラクトを実行するためのVMです。
ゼロ知識仮想機械(zkVM)は、プログラムの正しい実行を証明するために、検証が容易な有効性証明を生成できるプログラム実行環境です。"zkEVM"は通常、イーサリアム仮想機械(EVM)を利用し、EVMの実行を証明できる要約を指します。この用語は誤解を招く可能性があり、EVM自体はこれらの証明を生成しないためです。証明は、EVMの実行結果に基づいて生成される独立した証明メカニズムによって生成されます。さらに、これらの証明は主に有効性に焦点を当てており、プライバシーには関心がないため、厳密な意味でのゼロ知識証明ではありません。
zkEVMは、イーサリアムの体験を完全にLayer-2ブロックチェーンに導入することを目的としています。開発者がコードを変更したり、EVMツールを放棄することなく、よりスケーラブルなソリューションにスマートコントラクトを作成または移植できるように、イーサリアムの環境を複製しようとしています。しかし、このアプローチの主な欠点は、有効性証明の拡張ポテンシャルが低下することです。イーサリアムとの互換性に専念しているため、zkEVMは速度が遅く、リソース消費が高くなっています。
比較すると、StarknetはCairo VM (CVM)を採用しており、これは有効性証明の効率を最適化するために特別に設計された新しいVMです。Cairo VMは、開発者が特定のニーズに応じてカスタマイズできるようにし、新しいニーズを満たす機能を備えています。
Cairo言語は、計算の有効性証明を作成するプロセスを簡素化することを目的として最初に設計されました。Cairoプログラムは代数マシンコードにコンパイルされ、固定されたVMによって実行されます。このアプローチにより、開発者は基礎となる数学やインフラストラクチャについて深く理解することなく、彼らのアプリケーションを拡張するために有効性証明を利用できるようになります。
Starknetは多様なコーディング方法を提供しています。開発者はCairoでネイティブにコードを書くことも、Solidity互換ツールを利用することもできます。例えば、WarpトランスレーターはSolidityコードをCairoにトランスレートすることができ、KakarotはCairoで書かれたzkEVMで、Starknet上でイーサリアムのスマートコントラクトを実行できます。
総じて、zkEVMはイーサリアム環境の複製を目指していますが、有効性証明の潜在能力を制限する可能性があります。Cairo VMは、有効性証明システムのために特別に設計されており、EVMの制約を受けず、より高い効率と柔軟性を提供します。Starknetエコシステムが進化し続ける中で、開発者は前例のないブロックチェーンのスケーラビリティ制御能力を手に入れています。
! なぜValidity RollupsはEthereumをスケーリングするための最も有望な方法なのですか?