イーサリアム共同創設者のビタリック・ブテリン氏は、イーサリアムのヘゴタ（Hegotá）アップグレードは、再帰的STARKs、 自動化された形式検証、最適化されたコンセンサス、量子耐性のある暗号などの技術に開発の重点が移る前の、ネットワークにとって最後の「通常」フォークになる可能性があると述べた。

日曜日、ブテリン氏は、2027年に予定されているヘゴタ（Hegotá）は、2015年にイーサリアムに親しんでいた人にとっても、その機能や技術がなお認識できる形で残るであろう最後のアップグレードになる可能性が高いと語った。

PeerDASとは、すべてのデータをダウンロードするのではなく、データの一部をサンプリングすることでノードがデータの可用性を検証できる仕組みだと、彼は述べ、イーサリアムの移行の始まりは「ただのブロックチェーンから、ずっと強力な何かへと変わること」だと位置づけた。

ブテリン氏は、その移行を、イーサリアムが「暗号学的なワールドコンピュータ」へ進化することだと表現し、ノードが単にトランザクションをダウンロードして再実行するだけのモデルを超えて、ブロックチェーンと暗号学的検証、プライバシー、分散したオフチェーン要素を組み合わせたアーキテクチャへと移っていくと説明した。

この転換は、より多くの計算をオフチェーンへ移しつつ、基盤レイヤーで結果を検証し、トランザクションを決済し、共有されるオンチェーン状態へのアクセスを維持することで、イーサリアムのアプリケーションの作り方を変える可能性がある。

イーサリアムの「ワールドコンピュータ」がどのようなものになり得るか

ブテリン氏の投稿は、最終的にどれほどの計算と状態をオフチェーンへ移すべきか、そしてネットワークの進化に伴いイーサリアム自身は何を直接扱い続けるべきかについて議論を呼んだ。

イーサリアムの研究者バルナベ・モノー氏は、計算をオフチェーンに移しつつ、その結果をオンチェーンへコミットして証明すれば、ネットワークに必要な作業量を大幅に減らせるうえ、より軽量なノードを可能にすると述べた。 

しかしモノー氏は、「ワールドコンピュータ」は、そのアプリケーションが依存する重要な記録を、やはり直接オンチェーンで保持すべきだと主張した。そうすれば、ユーザーは何が起きているかを見て、外部サーバーや仲介者に頼らずに、アプリケーションを直接操作できるようになると述べた。

匿名の論評者であるクリプトグラフィック氏は、そのアーキテクチャによって、スマートコントラクトの外でより複雑な計算を行える一方で、イーサリアムが生成されたトランザクションがプロトコルのルールに準拠していることを検証できるため、分散型金融（DeFi）アプリケーションが実現できる範囲が広がり得ると述べた。

暗号学的に言えば、DeFiの貸付は一例であり、担保の分析、清算のルーティング、借り手と貸し手のマッチングなどは、イーサリアムが結果を検証して決済する前に、チェーン外で行える可能性がある。 

クリプト弁護士のガブリエル・シャピロ氏は、従来の信頼ベースのモデルと比べて、証明ベースのシステムにどれほど需要があるのかを疑問視した。氏は、多くの既存の金融サービスが、継続的な暗号学的検証よりも、評判、規制、法的執行に依存していると述べた。 

雑誌：形式的検証とは何で、なぜビタリック・ブテリンはAIが役立つと考えているのか？