イーサリアムの共同創設者であるヴィタリック・ブテリン氏は、「ZK-EVM」（ゼロ知識イーサリアム仮想マシン）の概念とその可能な実装形態について詳しく議論した記事を公開しました。この記事では、現在のレイヤ 2 EVM プロトコル (オプティミスティック ロールアップや ZK ロールアップなど) は EVM 検証メカニズムに依存する必要があると指摘していますが、これは巨大なコード ベースを信頼する必要があることも意味します。コード ベースに脆弱性が存在すると、これらの仮想マシンは攻撃される危険にさらされる可能性があります。さらに、L1 EVM と完全に同等であり続けることを望む ZK-EVM であっても、L1 EVM の変更を独自の EVM 実装にレプリケートするには、何らかの形式のガバナンス メカニズムが必要になります。 Buterin によって提案された ZK-EVM コンセプトは、レイヤー 2 プロジェクトによるイーサリアム プロトコル機能の繰り返し実装を削減し、レイヤー 1 イーサリアム ブロックの検証効率を向上させることを目的としています。同氏はまた、ライトクライアントがより強力になり、L1 EVM の実行を完全に検証するために ZK-SNARK (ゼロ知識証明) を利用する可能性もあり、その頃にはイーサリアム ネットワークに基本的に ZK-EVM 機能が組み込まれるようになるという未来も構想しています。この記事では、設計上の課題、トレードオフ、および特定の方向が採用されない理由など、ZK-EVM 実装のさまざまなバージョンについても説明します。プロトコル機能を実装する場合、その利点と、基礎となるプロトコルをシンプルに保つ利点を比較検討する必要があることが強調されます。 ZK-EVMの主要な特性について、ブテリン氏はその基本機能、イーサリアムのマルチクライアント哲学との互換性、データ可用性要件、監査可能性、アップグレード可能性を強調しました。さらに、同氏は、L2 VM が EVM とのわずかな違いのみでプロトコル内で ZK-EVM を引き続き使用できるようにする「almost-EVM」のサポートについても言及し、EVM のカスタマイズの柔軟性も提供します。