開幕
イーサリアム財団のzkEVMチームは、ACD（All Core Developers）会議での議論を踏まえ、ヘゴタ・フォークにEIP-8025を含めることを提案した。EIP-8025はOptional Execution Proofs（オプション実行証明）を導入し、イーサリアムノードがすべてのトランザクションを直接再実行するのではなく、ゼロ知識証明を検証できるようにする。現在、ノードはトランザクション結果を再実行してブロックの正しさを検証している。EIP-8025は、全計算を繰り返さずにブロックの妥当性に関するZK（ゼロ知識）証明をノードが検証できる別手段を追加する。この段階では、提案は完全なオプトインの仕組みとして機能しており、証明の利用を選択したノードのみが影響を受け、コンセンサスルールは変更されない。これは、ゼロ知識技術をプロトコルレベルに統合することで、実験段階から正式な移行へと進むイーサリアムの公式な転換を意味し、長期的にはノード運用コストを抑え、より複雑な実行を伴うより大きなブロックを可能にする可能性がある。
研究の進展
EIP-8025：イーサリアムのゼロ知識インフラがプロトコルアップグレード段階へ
EIP-8025の中核メカニズムはOptional Execution Proofs（オプション実行証明）にある。ブロックの妥当性を検証するためにすべてのノードがトランザクションを再実行することを求めるのではなく、ノードは代わりに、実行の正しさを裏づけるゼロ知識証明を検証できる。この提案は、イーサリアムを直ちにZKベースのチェーンへ転換するものではない。代わりに、「直接再実行チェーン」から「証明検証チェーン」への移行の土台を築く。
重要性は、ノードの運用負荷を削減し、大きなブロックやより複雑な実行のためのインフラを整える点にある。計算を複製するのではなく証明を検証できるようにすることで、イーサリアムはより高いスループットと処理能力を支えられる。
サイバーセキュリティのためのAIと形式的検証についてのビタリック・ブテリン
イーサリアム共同創業者のビタリック・ブテリンは、AIと形式的検証を組み合わせてサイバーセキュリティを変えるための分析を公開した。形式的検証は、プログラムが意図どおりに完全に動作することを数学的に証明するものであり、人間がコードを脆弱性の観点からレビューする従来型のセキュリティ監査とは対照的だ。
ブテリンは、AIが低レベルのアセンブリコードを生成し、形式的検証がそのコードが、人間が読める高レベル実装と同一の振る舞いをすることを確認できると提案した。この手法は、従来のトレードオフに対処する。アセンブリコードは効率よく実行できる一方で人間によるレビューが難しい。高レベルコードは性能最適化よりも読みやすさを優先する。
引用されたイーサリアム・エコシステムの例には、複雑な計算が正しく行われることを証明するための形式的に検証されたSTARKsを追求するArklib、そしてRISC-V上でEVMを書き、Lean実装との同等性を証明するevm-asmが含まれる（Leanは形式的検証のためのツール）。
ブロックチェーンのプロトコルやスマートコントラクトでは、検証手法をより強力にすることが不可欠だ。実装ミスには重大な結果が伴うためである。
ZK Summit 14：証明方式の焦点が現実のシステム保証へ移行
ZK Summit 14は5月7日にローマで開催され、イーサリアム財団、Succinct、Aztec、Nethermind、Midenなど主要なZKエコシステムチームからの24件の発表を含んだ。
最も大きな傾向は、証明方式の性能指標――速度、証明サイズ、検証コスト――に焦点を当てる方向から、現実のシステム保証へと重点が移ったことに表れている。ゼロ知識技術は現在、支払いシステム、本人確認、zkVM、機械学習アプリケーションへ統合されつつある。こうした文脈では、証明性能だけでは不十分である：
- 支払いシステムでは、取引金額やユーザー情報を保護する必要がある。
- 本人確認システムでは、ユーザーが必要な資格情報を証明しつつ、その他の個人データは秘匿できるようにしなければならない。
- zkVMでは、複雑なプログラム実行を正確に証明する必要がある。
- 機械学習アプリケーションでは、モデルの推論結果が改ざんされていないことを検証する必要がある。
ZK技術は「高速な証明生成」だけにとどまらず、各システムの要件に合わせたセキュリティとプライバシー保証を設計する方法へと拡張している。ZK Summit 14は、ゼロ知識技術が研究段階から、現実のインフラとアプリケーションへの深い統合へと前進していることを示した。
エコシステムの更新
Kohakuプライバシーフレームワークのローンチが目前、ウォレット連携のテストが進行中
イーサリアムのモジュール型プライバシーフレームワークであるKohakuは、ウォレット連携テストを進めながらローンチが近づいている。Kohakuは統一されたインターフェースを提供し、プライバシー機能を直接実装することなく、複数の暗号バックエンドを使ってウォレットがプライベートなトランザクションを実行できるようにする。
Ambireを含むウォレットは現在、Kohakuの統合テストを実施している。歴史的に、プライバシー機能はユーザーのウォレットで導入の壁に直面してきた。個々のプライバシープロトコルは異なるアーキテクチャを採用しており、そのためウォレットはそれぞれの技術を別々にサポートする必要があった。
Kohakuは、単一のインターフェースからウォレットが複数のプライバシーバックエンドにアクセスできることで、この分断を解消する。導入が進めば、Kohakuの基盤となるプライバシーエンジンとして特定されているRailgunの利用拡大につながる可能性がある。フレームワークの狙いは、イーサリアムのプライバシーを「上級ユーザー向けの専門ツール」から「自然に統合されたウォレット機能」へと変えることだ。
L2BEATがLighterのゼロ知識エグジット・ハッチを検証
レイヤー2分析プラットフォームのL2BEATは、レイヤー2上の無期限先物DEXであるLighterのZK回路を検証した。Lighterは無期限デリバティブ取引を可能にする。つまり満期日のない契約である。
L2BEATは、LighterのZK回路をソースコードから直接すべてコンパイルし、配備済みの検証者コントラクト（提出されたZK証明を検証するスマートコントラクト）との整合性を確認した。この検証は、エグジット・ハッチ機能――レイヤー2のシーケンサーまたはオペレーターが停止した場合に、ユーザーが資産を引き出せるようにする緊急手段――に関わるものだ。
これまでLighterは、特定の検証者ソースコードを秘匿しており、シーケンサー障害時にユーザーが独自にエグジット証明（引き出し権を示すデータ）を生成できなかった。L2BEATの検証後は、ユーザーは独立してエグジット証明を生成できるようになり、緊急時にLighterのチームに頼らずとも資産を引き出せる可能性が高まる。
この事例は、レイヤー2のセキュリティにおいては、配備されたコードが公開されているコードと一致していることを検証することが、コードの公開そのものと同じくらい重要であることを示している。
ETHGlobalがハッカソン形式を改訂
ETHGlobalはハッカソン形式を再編した。従来のハッカソンでは、参加者は短い期間内にアイデアを選び、最小実用製品（MVP。中核機能を示す初期バージョン）を構築する必要があった。
ニューヨークのハッカソンから始めて、新しいトラックでは、参加者が既存のオープンソースリポジトリへ機能を追加する、または確立されたプロダクトへ機能を付け足すことができ、その後、改善内容をオープンソースとして公にリリースできるようになった。この変更により、ハッカソンの成果が実際のエコシステムへの貢献につながる可能性が高まる。従来は、短期間で作ったMVPはイベント後に開発が止まることが多かった。稼働中のオープンソースプロジェクトへの貢献は、既存のユーザーと開発者に直接利益をもたらす。
ETHGlobalは「新しいアイデアを素早く披露する」から、「既存のエコシステム基盤を実質的に改善する」へと拡大している。イーサリアムが成熟するにつれて、完全に新しいアプリケーションを作るだけでなく、既存のパブリックグッズや開発者ツールを強化することも同じくらい重要になる。
コミュニティの更新
イーサリアム財団のシニア・コントリビューターが退任
イーサリアム財団の2人のシニア研究者が辞任した。Carl BewickとJulian Maである。これにより、2か月でのシニア・コントリビューターの退任は合計7人となる。
Carl Bewickはおよそ7年間イーサリアム財団に貢献し、コンセンサス研究、ビーコンチェーンの初期設計、そしてKZGセレモニー（イーサリアムのデータ可用性のスケーリングに関連する暗号セットアップ手順）に参加した。
Julian Maはおよそ4年間貢献し、EIP-7805のFOCILを共同執筆し、FCR GTM（検閲への耐性とトランザクション包含の保証、そしてより速いトランザクション最終性の認識を可能にする高速確認ルールに関する議論）に参加した。
中核となるプロトコル研究やアップグレード調整を担う人員の最近の退任は、プロトコル開発の調整と研究の継続性を維持することについての疑問を投げかけている。
Kohaku導入の期待の中でRailgunが注目を集める
プライバシープロトコルであるRailgunは、Kohakuの導入見通しに基づいて注目を集めている。分析では、Kohakuのウォレット統合が進むほどRailgunの利用が拡大する可能性が示唆されている。Railgunは、イーサリアムのDeFiと相互作用しながらプライバシーを維持できる――標準のオンチェーントランザクションではウォレットアドレス、取引金額、やり取りしたプロトコルが公開される一方で、Railgunはこの情報を秘匿する。
RailgunはShieldアクション（資産をプライバシー保護ゾーンへ移す）およびunShieldアクション（公開エリアへ引き出す）に対して0.25%の手数料を適用する。Kohakuによるウォレットの採用が進み、プライベート取引の取引量が増えれば、Railgunの手数料収益も拡大する。
分析では、RailgunはZECやDASHのようなプライバシーコインに比べて過小評価されているようだと指摘された。差別化は、イーサリアムDeFiとの直接的な相互作用である。ZECやDASHはそれぞれ別個のプライバシーコインとして機能するのに対し、RailgunはイーサリアムDeFi内でのプライバシーツールとして動作する。Kohakuが大規模なウォレット採用を達成できれば、Railgunはイーサリアムのプライバシーインフラの主要な恩恵受益者になり得る。
週間イーサリアム指標
- 年間インフレ率：0.833%
- 週間ネット供給量：19,422.04 ETH
- ステーキング比率：31.50%
- ステーブルコインの時価総額：$163.019 billion
- USイーサリアム・スポットETFの純流出：$255.02 million
データ出典：Ultrasound Money、DeFi Llama、Dune、Parsec Investors。
