原作者：Luozhu
オリジナルコンピレーション: Leo、BlockBeats
原作者：
オリジナルコンピレーション: Leo、BlockBeats
Hermez の zkevm ソリューションについてはまだ詳しく調べていません (そして Hermez のコードの一部はまだ完全にオープンソースではありません)。興味深いことに、Scroll と Polygon Hermez の zkevm を比較することは、 zkVM と zkEVM をより深く理解するのに役立つ良い視点です。
基本的に、Scroll の zkEVM ソリューションは、EVM 全体を「再実装」することで EVM の等価性を実現します。EVM のすべての動作は zkevm-circuits (zk 回路) で定義され、証明するには多くのステップ (制約) が必要です。
Hermez の zkEVM ソリューションは異なり、EVM を再実装するのではなく、特定の zkVM を実装し、EVM 操作を独自の zkVM にマップします。したがって、EVM の動作を証明することは、Hermez の zkVM で対応する動作を証明することと同等であり、zkVM は非常に高い自由度を持っているため、EVM の zk に不向きな部分を回避できます。
Hermez が zkEVM であるか zkVM であるかを定義するには、さまざまな方法があります。
- 完全な EVM を再実装する必要がありましたが、満足できませんでした - Hermez は zkVM ですクリックして学習
したがって、Scroll と PSE の zkEVM は非常に複雑です (そして奇跡的に zk に不向きな部分を実装しています)。私たちの zkEVM には 34469 行のコードがありますが、Hermez の zkEVM のコードは 3000 行未満です。
クリックして学習
Scroll/PSE zkEVM の最初のバランスをとるのは難しいですが、後処理の EVM 更新は簡単です。Hermez の zkEVM は最初は実装が簡単ですが、その後の更新は困難です (zkVM の再設計が必要になる場合があります)。PSE ソリューションはレイヤーに適しています。 1 、その後のアップグレードも簡単です。また、Scroll は PSE と直接連携して動作する (さらに同じリポジトリに貢献する) ため、Scroll の zkEVM へのその後のアップグレードも簡単です。
期待に値する将来: プルーフ生成時間を 12 秒 (スロットが提案されたときのみ) に最適化します。この時点では、zkEVM はレイヤー 1 の実稼働環境で直接使用でき、ノードの実行制限はありません。も減額されます。
zkEVM をレイヤ 1 に直接使用できる場合は、メイン ネットワークに独自の証明者が存在することになります。生成時間を 12 秒に最適化できることが証明されれば、高速化 (ハードウェア アクセラレーション、コミュニティへの参加など) に役立つ証明者ネットワークが構築されると思います。 .)を検討させていただきます。
Scroll は将来的に独自の Prover ネットワークを持つ予定であり、そのロードマップは次のとおりです。
- プレアルファ版のテストネットのアップグレード
-アルファテストネット
- 分散型ローラーネットワーク
- メインネットを起動する
したがって、Scroll のローラー ネットワークがうまく機能すれば (新しいコンセンサス メカニズムが存在する可能性があります)、レイヤー 1 に直接的な影響を与えるでしょう。イーサリアム メインネットは Scroll の経験から学び、ローラー ネットワーク手法を使用して独自のネットワークを高速化しようとする可能性があります。 zkEVM (最大 12 秒)。
ロールアップはレイヤー 1 の革新的なテスト領域であり、新しいアプリケーションだけでなく、これらの基盤となるインフラストラクチャも関係します。現在、さまざまなロールアップ チームが主導する複数の zkEVM 実装があります。これは長期的にはロールアップとレイヤ 1 の両方にとって良いことです。ロールアップでは、他の zkEVM 実装を使用して、独自の zkEVM に制約がないか、バグが存在するかなどを確認できます。
1 つの zkEVM はプルーフを生成し、もう 1 つの zkEVM はそのプロセスを検証します。
いずれにせよ、将来的にも zkEVM に関する非常に活発な議論が見られ、より多くの設計、より多くの革新、より多くのバグが存在し、最終的にはレイヤー 1 での EVM のアップグレード -> zkEVM が行われるでしょう。また、レイヤー 1 で学んだロールアップの革新も見られ、イーサリアム自体の向上に役立ちます (Gas トランザクションの低下だけでなく)。
