イーサリアム財団、ポセイドンハッシュを破棄—SNARKのブレークスルーが8年にわたる暗号の賭けを終わらせる

この切り替えにより、ポセイドンが十分な暗号解析を経るまで数年待つ必要もなくなり、展開スケジュールが加速します 。

SHA-2とBLAKE2sが耐量子セキュリティをどう強化するか

SHA-2とBLAKE2sは、NISTや暗号コミュニティで広く耐量子性が認められているハッシュベース署名ファミリー（SPHINCS+、XMSSなど）に属します。Lean Ethereumのロードマップでは、イーサリアムバリデータ向けの耐量子署名として、BLS署名をleanXMSS（従来ハッシュ上に構築されたステートフル・ハッシュベース署名方式）で置き換えることを含んでいます 。

独自設計のSNARKフレンドリーなハッシュではなく、長年にわたり分析・標準化されたハッシュを使用することで、耐量子セキュリティの前提は数十年の暗号解析の裏付けを得ることになり、ポセイドンの比較的未検証なセキュリティマージンへの依存を低減します 。

ブレークスルー：BiniusとFlockによるバイナリフィールドSNARK

この転換を可能にしたのは、以下の2つの画期的なSNARK設計です。

• Binius — バイナリフィールド拡大体タワー（GF(2)体）上に構築されたSNARK。SHA-256、Keccak-256など従来のハッシュ関数が必要とするビット演算とネイティブに整合し、これまでは証明にコストがかかっていた埋め込みオーバーヘッドを排除。BiniusはSNARK内部で古典的な対称暗号を検証するのに特に適しています 。

• Flock — 標準的な暗号ハッシュ評価（SHA-256、Keccak、BLAKE3）のバッチ処理に特化したハッシュベースSNARK。同一R1CS回路のバッチを圧倒的なスループットで証明し、新しいSNARK設計はノートPCのシングルコアで毎秒100万件の証明を処理可能にします 。

この2つが組み合わさることで、SNARKフレンドリーなハッシュは不要になりました。従来のハッシュをポセイドンと同程度の効率で証明できるようになり、コミュニティは実績のある従来のプリミティブを用いて「直接STARKへと跳躍」できるようになったのです 。

タイムライン：leanVMとレイヤー展開（2028年まで）

イーサリアム財団の「Strawmap」（アーキテクチャチーム公開）は、2029年までに約7回のフォーク（約6ヶ月ごと）を計画しています 。最新発表に基づく主なマイルストーンは以下の通りです。

• leanVM（実用グレード）：2027年を目標。実行レイヤーの証明を検証・集約する最小限のゼロ知識仮想マシン 。
• コンセンサス、データ、実行レイヤーへの展開：2028年を予定 。
• leanXMSS（ハッシュベースのバリデータ署名）：Lean Ethereum再構築の一環として、Verkle Treesなど他の耐量子プリミティブと共に3〜4年かけて展開 。

これらの日程はあくまで暫定であり、各プロトコル変更は実装、テスト、イーサリアムコミュニティでの合意を経てから有効化されます。

機関投資家とバリデータへの影響

この転換は、銀行、カストディアン、機関投資家向けステーキングサービスに具体的な運用上のプレッシャーをもたらします。

• ステートフル・ハッシュベースのバリデータ署名（leanXMSS）：イーサリアムのバリデータを運用する銀行は、BLS署名からleanXMSSへの移行が必要です。ステートフル署名方式では鍵管理が極めて重要で、鍵を1回でも使い回すとセキュリティが破綻する可能性があり、従来のステートレス署名にはない運用リスクを生みます 。
• 暗号資産インベントリの期限：2027〜2028年の展開スケジュールは、銀行が今すぐ暗号資産のインベントリを把握し移行計画を策定する必要があることを意味します。ポセイドンやBLSに依存するスマートコントラクト、カストディシステム、オンチーン運用は、SHA-2/BLAKE2sベースの証明向けに再設計が必要です。
• 規制の追い風：BIS、ECB、米国NISTなどの世界的規制当局は、金融機関に耐量子暗号移行計画を促しています。イーサリアムのハードフォークスケジュールは、銀行のトレジャリーやDeFi業務に対し、従来の銀行向け耐量子ロードマップが想定するよりもはるかに早い、具体的かつ近い将来の期限を突きつけることになります。

イーサリアム財団によるポセイドンの100万ドル暗号解析プログラムは、2026年8月1日付で一時停止されています 。暗号コミュニティの関心はすでに新しいハッシュベースのプリミティブに移っており、開発者と機関投資家へのメッセージは明白です。イーサリアム上の耐量子の未来は、SHA-2、BLAKE2s、そしてそれらを実用可能にしたSNARK設計によって動くのです。