Ethereumの共同創設者であるVitalik Buterinは、自身の2023年ロードマップの更新版を公開し、量子安全性とプライバシーをより優先度の高い位置に引き上げると同時に、検証可能遅延関数（VDF）および以前のEthereum仮想マシン（EVM）改善の一部を優先度から下げた。

改訂版ロードマップでは、ネイティブロールアップ、blobおよびガスフューチャー、新たなステートタイプ、ポスト量子スケーリングメカニズムが導入されている。Buterinはさらに、EVMを超える実行アーキテクチャの模索も行っており、RISC-V、LeanISA、再帰的STARK、AI支援による形式検証が注目すべき重点分野として浮上している。このロードマップは、拘束力のある開発スケジュールではなく、Ethereumのプロトコル進化に関するButerin個人の技術的ビジョンとして機能するものであるが、クライアントチームやより広範な研究コミュニティに影響を与える方向性を常に示している。

ロードマップの再編と新たな優先事項

Buterinによれば、以前のロードマックのいくつかの項目は再編された。量子安全性がより注目を集める一方、VDFおよび多くのEVM拡張機能は優先リストの下方に移動した。その他の技術設計もより新しいアプローチを通じて進化している。量子安全性の優先度引き上げは、十分に強力な量子コンピューターが最終的に現在Ethereumアカウントを保護している楕円曲線署名を危険にさらす可能性があるという、暗号コミュニティ全体の高まる認識を反映している。

注目すべきは、Verkleツリーが統合バイナリツリーおよびPBT（ポスト量子バイナリツリー）に置き換えられ、ステート有効期限は新たなステートタイプに取って代わられた点である。プライバシーはEthereumの更新計画において第一級の地位に引き上げられ、Buterinは関連機能としてキー付きノンス、最近のルート、FOCILのコンポーネント、リーン・プライバシー・プール、ワームホールを挙げている。

ロードマップにはまた、leanSPHINCS署名およびzkzkフレームによるポスト量子スケーリングが組み込まれている。blobおよびガスフューチャーもEthereumの計画インフラに追加された。

ネイティブロールアップは、SNARK（簡潔な非対話型知識証明）技術の進展に伴いロードマップに加えられた。Buterinは、2023年時点ではこのアプローチに十分対応できるほど技術が成熟していなかったと述べた。

EVMを超える実行アーキテクチャの模索

ButerinはEthereumの実行レイヤーに関するより広範なビジョンを概説し、zkzkフレームがプロトコルをEVMを超える命令セットの公開へと導く可能性があると示唆した。LeanISAとRISC-Vが現在の有力候補である。RISC-Vは学術および産業のハードウェアプロジェクトで広く採用されているオープン標準の命令セットアーキテクチャであり、Ethereumでの検討は、既存の幅広いツールと形式的仕様作業を備えた実行モデルへの関心を示している。

彼は両オプションをEVMよりシンプルで新しく、より効率的であると述べた。また、EVMを別の命令セットの上位に位置する中間表現として再配置する可能性も提示した。ただし、現在のストローマップにおいてはさらなる深い検討は時期尚早であると慎重な姿勢も示した。

新たなステートタイプも、Buterinによれば異なるスケーリングアプローチを代表するものである。これらの設計は、あらゆる種類のEthereumアクティビティを最大化しようとするのではなく、専門的なメカニズムを重視している。

STARKとAI支援検証

Buterinは、再帰的STARKとAI支援による形式検証を更新版ロードマップ全体の共通テーマとして位置付けた。再帰的STARKはEthereumの複数のプロトコルレイヤーにまたがって現れ、単一の検証プリミティブが実行、コンセンサス、データの各レイヤーを同時にカバーできる可能性がある。

彼は、こうした共有コンポーネントの安全なデプロイには形式検証が不可欠であると強調した。より広範な形式検証の取り組みは現代のAIツールとますます結びついており、ロードマップ全体で数学的なコード検証への注力が一層強まっている。この融合は、テストだけでは検証が困難な複雑なシステムの正しさを証明するためにAI駆動のツールが適用されるという、ソフトウェア工学におけるより広範なトレンドを反映している。

Buterinは、Ethereumの長期目標として量子安全性、強化されたプライバシー、堅牢なセキュリティ、検閲耐性、より大きなスケーラビリティを挙げた。また、長期的にリーンで効率的なEthereumのターゲットアーキテクチャについても言及した。