Ethereum共同創設者のVitalik Buterin氏は土曜日、「The cryptographic world computer」と題する新たな投稿を公開し、同ネットワークの次の10年について自身の見解を示した。氏は、次のアップグレードが、2015年――Ethereumがローンチした年――から知っている人にとって認識できる最後のものになると示唆した。

来年予定されているフォーク「Hegota」は、「Ethereum最後の『通常の』フォークになる可能性が高い」とButerin氏は述べた。それに続くのは、再帰的STARK――他のゼロ知識証明を検証できるゼロ知識証明――、自動形式検証、高度に最適化されたコンセンサス、そして全体の耐量子化である。

The cryptographic world computer: My attempt to express in somewhat concise terms the true meaning of basically everything planned to happen to Ethereum starting from the fork after Hegota. It's really not just a blockchain anymore. It's a hybrid…

— vitalik.eth (@VitalikButerin) 2026年9月27日

全文はvitalik.eth.limoで閲覧できる。

ブロックチェーンではなく、ハイブリッド

「Lean Ethereum」以降のネットワークは「かなりの程度、歴史的な理由で」ブロックチェーンと呼ばれているとButerin氏は書いた。実際には、Satoshi Nakamotoのアイデアと、50年分の学術研究から生まれた暗号技術――2009年には「まだ存在すらしなかった」技術――を融合させた「ハイブリッド構造」だと氏は論じている。そのアーキテクチャはブロックチェーン単独よりも「はるかに強力な特性」を実現するという。

検証、コンセンサス、ブロック構築

3つの中核的特性が丸ごと置き換えられる。検証は、全ブロックのダウンロードと再実行から、PeerDASによるデータサンプリングとSNARK――ブロックの再実行に代わる簡潔なゼロ知識証明――の検証へと移行する。コンセンサスは「はるかに最適化された」Proof of Stakeモデルへ移行する。ブロック構築は、1人のマイナーが内容を決める方式から、複数の当事者が共同で構築する方式へと変わる。

ファイナリティ――取引が不可逆になる時点――は、現在の12確認で約200秒に対し、8〜32秒で到達する。スロットは4〜8秒で動作し、ノードの運用に必要なハードウェアも大幅に少なくなる。

検閲耐性はFOCIL（fork-choice enforced inclusion lists）によって実現される。これは、バリデーターの委員会がそれぞれ、次のブロックに含まれるべき未処理トランザクションのリストを公開し、フォークチョイルスールーによって強制される仕組みで、それらを省いたブロックは無視される。Buterin氏はこの結果を「保証されたリアルタイムのトランザクション取り込み」と表現した。

段階的に到来するプライバシー

プライバシー改善は段階的に実装される。汎用計算は高コストで部分的にしかプライベートでない一方、特殊用途のアプリケーションはゼロ知識証明とプライベートアカウントアブストラクションにより「非常に強力なプライバシー」を得る。誰が誰と通信しているかを隠すオニオンルーティングとミックスネットがネットワーク層を担い、この取り組みはEthereum Foundationが昨年10月に設置した専用のプライバシークラスターによってリソースが提供された。

開発者はガス代の変化を感じることになる。同じ計算でも、「解読不能な直列実行トランザクションに全部詰め込んだ」場合はコストが高くなり、並列化可能な依存関係に分割したり、ブロックに到達する前に取り除ける要素を除外したりすれば低くなるとButerin氏は書いた。

分散化という利点

分散化は純粋なコストではなくなりつつあるとButerin氏は論じた。分散化により、データを並列に保存でき、メンプール内で計算を並列実行でき、中央集権システムでは不可能な形でメタデータを隠せる。

これは2010年代半ばの夢だったが、当時失敗した理由は1つだけだと氏は述べる。分割された作業が正しく行われたことを検証する手段がなかったのだ。ランダムに抽出された委員会は「構築が複雑で高コスト」で、レイテンシーを増やし、「委員会が失敗した場合の救済手段がなかった」。現代の暗号技術がこの問題を解決し、オーバーヘッドは「月ごとに減している」。

さらに先には、実行不可能性難読化――プログラムの動作原理を隠したまま実行する手法――があり、Buterin氏はプライバシーと汎用性のトレードオフを完全に解消するものとして「聖杯」と表現する。ただし氏は、この投稿の内容はそれに依存せず、「この投稿のすべての結論は、それが利用可能になるはるか以前から適用される」と明言している。

より困難な近接の課題は比較的地味なものだ。ゼロ知識証明を十分に高速かつ安全にすることは「カプセル化された複雑性」であり、すでにAIツールで最適化が進められていると氏は書いた。一方、膨大なステートへのアクセスの管理と並列化は「より難しく、システム的に複雑」なままだ。

Strawmapの解説文として

この投稿は、Strawmap――2029年までの7つのフォークを定めたEthereum Foundationの草案で、Justin Drake氏が2月に公開した際、Buterin氏が「非常に重要な文書」と評したもの――の平易な解説文として読める。同文書がフォークごとの依存関係を示すのに対し、Buterin氏の投稿は最終目的地を示している。それは、スロット時間が12秒から2秒へ短縮され、ファイナリティが約16分から一桁の秒数に短縮され、ネットワーク全体が部品ごとに置き換えられる――氏がかつて「テセウスの船」式の再構築と呼んだものだ。次のマイルストーンはHegotaそのものであり、このフォークが来年登場すれば、Buterin氏が描く変革はその直後のフォークから開始される予定だ。