EthereumのCancun Hard Splitの後、次のアップグレードは何をすべきですか？

この記事の目標は、パラダイムレスチームの概要を説明することです^{[4]プラハのハードフォークにとって、プラハはカンクン後の次のエルハードフォークであり、2024年の「エルコア開発」計画の概要です。次の見解は開発中であり、レスチームの現在の見解のみが必ずしもより広いパラダイムチームを表しているわけではありません。}

プラハのハードフォークは、2024年の第3四半期にイーサリアムテストネットワークで達成される可能性があり、年末にメインネットワークで達成されると考えています。

含める必要があります：

EIP-7002などの誓約に関連するEIPは、再ステーキングと非信頼性の池を可能にします。

独立したEVMの変更。

私たちは、プラハやその他の将来のエルハードスプリットをさらに調査したいチームと協力し、Reth Code Libraryの場所を変更するためのガイダンスを導くか、提供することをいとわない。

サポート：

私たちは、次のEIPに優先順位を与えなければならないと考えています：7002^{[5]、6110[6]、2537[7]エッセンス}

仕様など、EOFをサポートします^{[8]この中で、できるだけ早くスコープを決定し、範囲に準拠することを約束するメタ-EIPを作成したいと考えています。}

私たちは喜んでいます^{[9]バージョン。正しい数字について意見はありませんが、この問題を調査するためにデータ担当者に協力するよう招待します。}

EIP-7547：リストを含めることをいとわない^{[10]基本的なレイヤーアンチレビューを支援するバージョン。}

サポートされていません：

プラハでのVerkle Triesの使用をサポートしていません^{[11]ただし、2024年の第2四半期からクライアントチームを達成し、2025年半ばに大阪で釈放されることを約束します。}

L1実行ガスの制限または契約サイズを増やす必要はないと思いますが、データ担当者にネットワークへの影響を調査するために協力するよう招待します。過去のテストでは、Rethノードが問題なく増加した負荷を処理できることが示されているため、意見を修正することをいとわない。

ウォレット/アカウントの抽象的なEIPには、バランス空間をよりよく理解するために、より相互対立テストが必要であると考えています。それらが相互に排他的でない場合、将来複数のAA関連EIPを展開することをいとわない。

コミュニティが噂にある場合^{[12]NSA[13]裏口[14]わかりました、EIP-7212（SECP256R1）を受け入れることができます。}

その他のルートマップテーマ：CL EIPまたはCL/ELスプリットの結合に関する具体的なビューはありませんが、EIP 7549^{[15]および7251[16]それは非常に有望なようです。また、エルでペルダスの仕事に可能な限り貢献することを望んでいます。SSZ根の導入を一時的に回避したいと考えています（EIP 6404、6465、6466）。最後に、EIP-4844であるため、期限切れのBLOB、履歴、ステータスに長期的なデータアーカイブソリューションを提供する機会に気付きました。[17]およびEIP-4444[18]何も指定されておらず、イーサリアムがそのような解決策を提供することをいとわないかどうか。}

以下は推論です。

サポート

要約、私たちは1）CLとELのギャップをサポートします。2）EVMの変更は、単一の作業として実行でき、単独および並列テストを行うことができます。

EIP-7002^[19]

このEIPは、CLサイドのCL側を制御することにより、CL側を制御することにより、再層と誓約プールのロックを解除しました。私たちの観点から見ると、これは考える必要のないEIPです。少なくとも、既存の誓約プールが撤退を実施するスマートコントラクトから一元集中化の1つの層を削除できるようになるからです。

EVMの実装における状態の事前凝縮を導入することは、EVM実装でキャプチャする必要がある新しい抽象化ですが、さらに、これは直接実行できるEIPであると考えています。

EIP-6110^[20]

このEIPは、EL州に預金を導入し、CLに必要な州の管理を簡素化します。実装に関しては、これはCLの撤退の追跡に似ているため、一般に、これは達成が容易で独立したEIPでもあると考えています。

EIP-2537^[21]

現在、複数のBLS12-381の実装があります。これは、多くのスナーク、BLSシグネチャアルゴリズム、およびEIP-4844でよく使用されています。複雑さは低いと考えています。なぜなら、それは、比較前界面を介して曲線の検証アルゴリズムを開示するからです。また、BLS12-381曲線へのハッシュの事前コンパイルも必要です。

EOF^{[22]Ethereumオブジェクト形式}

TL;これは、コード形式と検証の調整を簡単に分析することをお勧めします。

利点：

EVMの変更のみが、イーサリアム/テストによってテストされ、1人が実装できます。

VyperとSolidityが必要なEVMの変更を行います！

パフォーマンスと契約規模の改善に役立ちます。

EVMは、ランタイム中にバイトコード分析のニーズを排除します。

大規模な契約の実行を支援するために部分的にロードできます。

Devex：DUPN/SWAPNを使用して、「Stack Too Deep」やその他のツールを堅牢性で修理することが許可されます。

将来の検証：L2に新機能を安全に導入できます。ツールは互換性が何であるかを知ることができます。

不十分：

目標を変更します。

追加を促進しようとしたサポーターはいません。

それでも古いコードをサポートする必要があります

採用まで、Ethereumメインネットワークと他のEVMチェーンとの間に一時的な違いがあります。

次のEOF機能は2024年に展開する必要があると考えています。できるだけ早くスコープを決定し、観察することを約束することをお勧めします。他のことは、後続の展開を考慮する必要があります。私たちの提案：

EIP -3540：EOF -EVMオブジェクト形式V1^{[23]：コードとデータコンテナを導入し、構造とバージョンをイーサリアムバイトに追加します。}

EIP -3670：EOFコード検証^{[24]：展開中にEOF形式に従わない契約を拒否します。必須でより構造化されたコードと無効で不正な命令を無効にします。}

EIP-663：無制限のスワップとDUPの指示^{[25]：これにより、「スタックが深すぎる」​​問題が堅牢性を解決し、瞬間的な値としてJumpDest分析を通じて副作用がある場合があります。EVM言語は、そのような機能を非常に望んでいます。}

EIP -4200：EOF -Static Relative Jump^{[26]：より良い静的分析、不確かなジャンプはありません。より良いaotコンピレーション。コードのコードにリラックスする方が良いです。}

EIP -4750：EOF機能^{[27]：動的ジャンプがあるかもしれないが静的ジャンプがないかもしれないサブルーチンに対処する必要があります。また、一部のコードがロードできるようになります。これは、Verkleで適切に使用され、契約サイズの制限を追加します。}

EIP -5450：EOF -Stack検証^{[28]：コードとスタックの要件を確認します。CALLF（EIP-4750）を除くすべての指示は、ランタイム中にスタックオーバーフローとアップフィル検査を削除しました。}

EIP -7480：EOF -dataセグメントアクセス命令^{[29]：バイトコードのデータセグメントを許可します。}

EIP-7069：改善された通話命令^{[30]：コールのガスを消滅させて、ガスが将来再価格になるようにします。EOFとは独立していますが、これはそれを紹介する良い機会だと思います。}

TIP-6206：eof-jumpfおよび非復帰関数^{[31]それは確かに低いです。EOF関数のテールを呼び出す最適化を可能にしますが、その有用性の言語分析を確認する必要があります。これがない場合は、範囲から削除し、その後のEOFアップデートを含めることができると思います。}

1〜2か月間、上記の作業予算が1人で完了します。これが動機を維持することを意味する場合、上記の範囲をさらに削減することをいとわない。

伝統的なバイテーシーの説明：

新しい従来の/非EFテコードを禁止することはできますが、既存の従来のバイトコードを放棄することはできません。従来のバイトコードは、EOFの後もJumpDest分析を実行する必要がありますが、Verkle Triesにセグメント化するために特別なコード処理が必要です。

私たちが知る限り、ソースワークピースにアクセスせずに、非EOFバイトコードからEOFへの検証変換はありませんが、この変換を促進するメカニズムを調査することをいとわない。

あるいは、状態をEOFに移行する有効期限法を探求することをいとわない。

EIP-4844 BLOBの数を増やします

私たちはこの変化を喜んで受け入れますが、それは正しいでしょうmax_blob_gas_per_blockそしてTarget_blob_gas_per_block増やして、EIP-4844を参照してください^[32]

Target_blob_gas_per_blockおよびmax_blob_gas_per_blockは、各ブロックに対して3 blob（0.375 mb）として選択され、最大6 blob（0.75 mb）があります。これらの小さな初期制限は、ネットワークへのEIPによって引き起こされる圧力を最大化するように設計されており、ネットワークがより大きなブロックの下で信頼性を示すことができるように将来のアップグレードを増加させることが期待されています。*

実際、これは小さなコードの変更です。コンセンサス層は、CLチームの意見を聞くときに困難に遭遇する可能性があります。

サポートではありません

Verkleは試みます^[33]

TL;チームは2024年の第2四半期にリソースを割り当て、2025年の第2四半期に大阪の第3四半期に展開することを約束することをお勧めします。

利点：

安価な軽いクライアントは、より小さなストレージプルーフを通じて達成されます。

ブロックのブロック内のプレステート状態によるステートレスの実行を実現します。これは、静的な状態アクセスによるものでもあります。

バイトコードを読み込み、コードの一部を有効にすることにより、契約サイズの制限を増やします。

「復活」状態のコストが低いため、状態はより魅力的になります。

不十分：

大規模なワークロード：影響、統合の実装、および変更のテスト。

ガス請求の変更：Verkle Triesは、ガス計算関数の証人を導入しました。貯蔵価格の変更が調査されていないことを心配しています（たとえば、Verkle後のトップガス消費者のコストはいくらですか）？

アプリケーション統合：オーバーレイの遷移が実行されているとき、Merkle Patricia Trie検証デバイスを使用したアプリケーションは何をすべきですか？ETH_GETPROOFどうあるべきか？

Verkleの利点は理解していますが、3番目のパーティツール/契約をどのように適応させる必要があるか、および2番目のレイヤーソリューションなどの遷移の影響を理解するために、より多くの考え方が必要だと考えています。当初、既存のMPTからステータスを読むときにVerkle Trieを更新する必要があると規定しているため、移行戦略に懐疑的でしたが、今ではそうではないようです。したがって、オーバーレイツリー法を実行可能な移行パスとしてサポートします。

Verkle Migration戦略の文書は一般的に時代遅れのようです。なぜなら、ほとんどのリソースは、MPTから州を読むときにVerkle Trieを更新すべきであると指摘しているため、状況はそうではありません。この優れたドキュメントなど、キートランジションドキュメントの更新を最新の方法に更新することを期待しています^{[34]エッセンスまた、移行戦略EIPのドラフトを見ることを望んでいます。}

したがって、2025年のVerkleの発売を引き続きサポートしていますが、プラハのアップグレードで展開パスは表示されませんでした。

L1ガス制限

L1ガス制限を需要の観点から引き上げることは、実際にはそれほど効果はないと考えています。また、ほとんどのクライアントは平均負荷の増加を処理できると考えていますが、最悪の状況について警戒することを望んでいるため、当面はL1ガスの制限を増やすことはお勧めしません。短期的にブロブガス制限を追加することは、より有望なソリューションであると考えています。

私たちは、EVM周辺のリソースメーターを測定するこの方向と測定方法に関する研究を実施するために、私たちと協力するように皆さんに招待します。壊れたメーター用紙^{[35]これは、この研究方向の良い出発点です。}

アカウントの抽象化

1つ以上のEIP（またはプロトコルの実装ERC）を含めますが、各提案の計量スペースとツール統合作業をよりよく理解するために、より多くのユーザーエクスペリエンスと開発エクスペリエンスの比較を期待しています。私たちは次のEIP/ERCに注意を払っていますが、いつでも提案してください。

EIP-3074：auth and authcall opcodes^[36]

ERC-4337：Alt Mempoolを使用したアカウントの抽象化^[37]

EIP-5806：代表取引^[38]

EIP-5920：OPCODEを支払います^[39]

EIP-6913：セットコード命令^[40]

EIP-7377：移行トランザクション^[41]

RIP -7560：ネイティブアカウントの抽象化 – コアEIPS-イーサリアムマジシャンのフェローシップ^[42]

上記のコンテンツでは、「アカウント抽象化」とは「抽象検証関数」を指し、主な目標はキーローテーションを有効にし、複数の署名を最初のクラス関数にし、自動量子抵抗パスを提供することです。 「（H」 /T VB）、4337および7560にのみ適していますが、他の提案は2つのカテゴリ、つまりGASスポンサーシップとオペレーションバッチ処理に分かれています。

著者：

<図>

>

Georgios Konstantopoulos^[43]

Georgios Konstantopoulosは、パラダイムの投資ポートフォリオとオープンソースプロトコルの研究に焦点を当てたパラダイムの最高技術責任者および研究パートナーです。以前、Georgiosは独立したコンサルタントであり研究者でした。