Vitalikが新しい記事を発表し、ZK-EVMの未来の展望と課題について探討しています。

ChainCatcher のメッセージで、イーサリアムの共同創設者である Vitalik Buterin が「ZK-EVM」（ゼロ知識イーサリアム仮想マシン）の概念とその実現可能な形について深く掘り下げた投稿を行いました。

記事では、現在の Layer-2 EVM プロトコル（Optimistic Rollups や ZK Rollups など）が EVM の検証メカニズムに依存する必要があることを指摘していますが、これは同時に彼らが巨大なコードベースを信頼しなければならないことを意味します。コードベースに脆弱性が存在する場合、これらの仮想マシンは攻撃を受けるリスクにさらされる可能性があります。さらに、L1 EVM と完全に同等であることを望む ZK-EVM でさえ、L1 EVM の変更を自分の EVM 実装にコピーするための何らかの形のガバナンスメカニズムが必要です。

Buterin が提唱した ZK-EVM の概念は、Layer-2 プロジェクトが Ethereum プロトコル機能の重複実装を減らし、Layer-1 Ethereum ブロックの検証時の効率を向上させることを目的としています。彼はまた、将来的にはライトクライアントがさらに強力になり、ZK-SNARKs（ゼロ知識証明）を利用して L1 EVM の実行を完全に検証する可能性があると展望しています。その際、Ethereum ネットワークは実質的に内蔵の ZK-EVM 機能を備えることになります。

記事では、ZK-EVM の実現に関する異なるバージョンについても議論しており、それらの設計上の課題、利点と欠点のトレードオフ、なぜ特定の方向性が採用されない可能性があるのかを強調しています。プロトコル機能を実現する際には、その利点と基盤プロトコルの簡潔さを保つことの利点を天秤にかけるべきであると強調しています。ZK-EVM の重要な属性について、Buterin はその基本的な機能性、Ethereum のマルチクライアント哲学との互換性、データの可用性要件、監査可能性、アップグレード可能性を強調しました。さらに、EVM とわずかに異なる場合でも L2 の VM がプロトコル内の ZK-EVM を使用できる「almost-EVM」のサポートについても言及し、EVM の一部カスタマイズに対する柔軟性を提供しています。