PANewsは7月11日、イーサリアム財団がゼロ知識証明(ZK)技術に全面的にコミットしており、プロトコルスタックの全レベルに適用し、まずL1ゼロ知識イーサリアム仮想マシン(zkEVM)を導入する意向を表明する文書を公開したと報じた。最も迅速(つまり1年以内に実現可能)かつ安全な導入方法は、バリデーターがオプションで新規クライアントを実行し、異なるzkVMによって生成された複数の証明をステートレスに検証できるようにすることだ。証明検証は高速かつ簡潔で、ダウンロード検証も可能であり、zkVMの強力な防御戦略に活用できる。プロトコルがGlamsterdamでパイプラインメカニズムを提供している限り、オフチェーン検証はまず実現可能である。
当初は少数のバリデーターがゼロ知識クライアントを実行すると予想され、財団はリソースを投入して徐々に普及率を高めていきます。ステークホルダーの大多数が実行を希望した場合、ガスリミットを引き上げてバリデーターが証明を検証できるようにし、証明はzkロールアップにも利用できるようになります。この計画は、zkVM業界全体を動員することができます。L1セキュリティなどを維持するため、財団はリアルタイム証明の標準化された定義を提案しています。メインネットブロックの99%が10秒以内に完了すること、ハードウェアコストが10万ドル以下、消費電力が10kW以下、証明サイズが300KiB以下、セキュリティが128ビット以上です。「リアルタイム証明」は「ホーム証明」の実現を目指しており、現在自宅でバリデーターを運用している一部の独立したステーカーが証明に参加できるようになっています。
