イーサリアム、zkVMに大きく賭ける：形式的検証と暗号解析に注目

• イーサリアム財団がzkVMsに数千万ドルを投資。
• 財団はzkVMs開発への貢献者を招待。
• 大規模な投資はzkVMsへのイーサリアム財団のコミットメントを示す。

著名なイーサリアム財団の研究者であるジャスティン・ドレイクは、イーサリアム財団がゼロ知識仮想マシン（zkVMs）に数千万ドルを投資していると述べました。最近のXでの投稿で、ドレイクはzkRISC-V形式検証、Poseidon暗号解析、zkVMsのためのL2beatの3つのプロトコルをイーサリアム財団の現在の焦点として特定しました。

イーサリアム財団のzkVMイニシアチブ

その間、ドレイクはzkVM公共財に貢献したい人々に連絡を取るよう招待し、イーサリアム財団の様々なzkVMsに対する目標と目的を強調しました。例えば、zkEVM形式検証プロジェクトは、zkEVMsへの形式検証手法の適用を加速することに焦点を当てています。

イーサリアム財団によるさらなる詳細では、形式検証プロジェクトはzkEVMsのための最高の保証レベルを達成することを目指しています。財団は、今後18〜24ヶ月の開発期間中にプロジェクトに貢献する人々に対して、いくつかの助成金や報奨金を提供する予定です。

一方、イーサリアム財団は、ZK証明を使用する様々なプロトコルのためにイーサリアムL1を使用するPoseidon暗号解析候補を探求しています。イーサリアムプロトコルは、検証可能な計算を含む多くのアプリケーションでPoseidonハッシュ関数を使用しています。財団は、StarkNetによる最近のSTARKベンチマークでトップパフォーマーの一つとして評価しています。

関連記事: Plonky3が毎秒200万ハッシュを達成、ヴィタリック・ブテリンが感銘を受ける

ETH証明プロトコルはまだ非アクティブ

イーサリアム財団が形式検証とPoseidon暗号解析プロジェクトを進行中である一方で、ETH証明プロトコルはまだアクティブではありません。しかし、ドレイクはプロジェクトに貢献したい開発者を探しています。ドレイクの要請に応じた一部の回答者は、ボランティアを待つのではなく、実績のある専門家に連絡を取るよう提案しています。

この投資は、イーサリアムエコシステムのスケーラビリティとセキュリティを強化するというイーサリアム財団のコミットメントを確認するものです。ブロックチェーンアナリストは、zkVMsがイーサリアムネットワーク上でのトランザクション効率とプライバシーの向上に重要な役割を果たし、仮想マシンの信頼性と正確性を確保することを期待しています。