jakiro
著者：Vitalik：Deng Tong、Bitchain Vision
Dankrad Feist、Caspar Schwarz Schilling、Francescoの迅速なフィードバックとレビューをありがとう。
私はケニアのイーサリアムでの開発者の相互作用の最終日についてこの記事を書いていますEIP 4444の背景にあるレコード。私自身の観点から、イーサリアムの開発速度と、これらの機能が継続的に強化される可能性があります。
Ethereumクライアントチームは協力してPectra Devnetを提供します
技術的能力の強化を考慮して、提起する必要がある重要な問題は、私たちは正しい目標に向かって動いているのですか？長期的なGeth Core開発者Peter Szilagyiによって最近リリースされた一連の不満のツイートは、この問題について考えるよう促しました。
これらの懸念は理にかなっています。これは、イーサリアムコミュニティの多くの人々にとって懸念事項です。私はこれらの問題について何度も心配していました。しかし、ピーターのつぶやきに暗示されているように、状況は絶望であるとは思いません。それどころか、進行中のプロトコル機能によって多くの問題が解決されており、現在のロードマップを非常に現実的に調整することで他の多くの問題を解決できます。
これが実際に何を意味するのかを理解するには、ピーターによって提供された3つの例を1つずつ見てみましょう。これらの問題は一般に多くのコミュニティについて懸念しており、これらの問題を解決することが重要です。
MEVとビルダーの依存関係
過去には、イーサリアムブロックは鉱夫によって作成され、ブロックを作成するために比較的単純なアルゴリズムを使用しました。ユーザーは、通常は「Mempool」（または「Txpool」）と呼ばれるパブリックP2Pネットワークにトランザクションを送信します。鉱夫はメモリプールを聴き、効果的な取引を受け入れ、料金を支払う。それらは、十分なスペースなしで実行できるトランザクションを含みます。
これは非常に単純なシステムであり、分散化に非常に優しいです。鉱夫として、デフォルトのソフトウェアを実行するだけで、同じレベルのプロの鉱山から同じレベルの収入を得ることができます。しかし、> “>2020年頃、人々は価値（MEV）を抽出するためにそのような鉱山労働者を使用し始めました。
たとえば、Uniswapのような分散交換を検討してください。時間tで、UNISWAPの集中交換とUSD/ETH為替レートが3,000ドルであるとします。T+11では、集中交換のUSD/ET為替レートが3005ドルに上昇しました。しかし、イーサリアムには次のブロックがありません。時間t+12は確かにそうです。誰がブロックを作成したとしても、彼らの最初のトランザクションは一連のUNISWAP購入であり、3,000ドルから3004ドルの価格でUNISWAPで利用可能なすべてを購入します。これは、MEVと呼ばれる追加の収入です。DEX以外のアプリケーションでも同様の問題があります。2019年に公開されたFlash Boys 2.0の論文は、詳細に紹介しました。
Flash Boys 2.0ペーパーのチャートは、上記の方法を使用して取得できる収入額を示しています。
> “>問題は、これがマイニング（2022年以降のブロック提案）が「公平」になる可能性がある理由を破るということです。今、各ブロックでより良い能力最適化を備えた大規模な参加者がより良いリターンで得られる可能性があります。
それ以来、2つの戦略の間には論争がありました。> “>MEVの最小およびMEV分離。最小化するMEVには2つの形式があります。（i）UNISWAPのMEVフリーの代替（COWSWAPなど）を積極的に開発し、（ii）ブロックで利用可能な情報を削減するための暗号化されたメモリプールなど、契約内の内部技術を構築する生産者、それによって彼らを減らすことは収入を得ることができます。特に、暗号化されたメモリプールは、サンドイッチ攻撃などの戦略を防ぐことができます。
> “>MEV分離の実用的な原則はMEVを受け入れることですただし、市場を2人の参加者に分割することにより、誓約の集中化への影響を制限しようとしています。検証者は、証明と提案されたブロックを担当しますが、ブロックコンテンツを選択するタスクはオークションプロトコルに合格します。個々の誓約は、defiアービトラージを最適化することを心配する必要はありません。これは、提案/ビルダー（PBS）の分離と呼ばれます。この方法にはすでに他の業界で先例があります。レストランがそのような分散化を維持する主な理由は、多くの場合、さまざまなビジネスを実施するためにかなりのサプライヤーに依存しており、これらのビジネスは大規模な経済を持っていることです。これまでのところ、PBSは、少なくともMEVで、小さな検証と大規模な検証が公正な競争環境にあることを保証することに非常に成功してきました。> “>ただし、別の質問がもたらされます。どのトランザクションがより集中しているかというタスクです。
> “>これについての私の意見は、常にMEVの最小化はそれを追求する必要があるということです（私は個人的にCowSwapを使用しています！）したがって、特定のMEV分離も必要です。これは興味深いタスクを生み出します。「MEV分離ボックス」を可能な限り小さくするにはどうすればよいですか？ビルダーに可能な限り少なくしながら、アービトラージやその他の形態のMEVコレクションの最適化の役割を吸収するにはどうすればよいですか？
ビルダーがブロックからトランザクションを完全に除外する権利を持っている場合、攻撃は簡単です。Defiプロトコルに住宅ローン債務ポジション（CDP）と、価格で急速に下落した資産サポートがあるとします。住宅ローンを増やすか、CDPを終了します。悪意のあるビルダーは、トランザクションを含めることを拒否しようとする可能性があり、それにより、価格がCDPの強制清算に下がるまでトランザクションを遅らせることができます。これが発生した場合、あなたは巨大な罰金を支払う必要があり、ビルダーは大部分を獲得します。それでは、ビルダーがトランザクションを除外してそのような攻撃を完了することをどのように防止するのでしょうか？
これは、リストにリストが含まれている場所です。
ソース：ethresear.ch
リストを含めることで、ブロックの提案（つまり、利害関係者）がブロックに必要なトランザクションを入力することを選択することができました。ビルダーは引き続き独自のトランザクションをソートまたは挿入することができますが、提案の取引を含める必要があります。最終的に、現在のブロックの代わりに次のブロックを制限するように変更されました。いずれにせよ、彼らは、トランザクションを完全に開始するビルダーの能力を奪います。
MEVは複雑な問題です。あなたが言ったように、> “>「あなたはMEVを探していないかもしれませんが、Mevはあなたを探しています」エッセンス> “>イーサリアムの研究者は、「分離ボックスを最小化する」という目標に非常に一貫してコミットしており、ビルダーが引き起こす可能性のある害を最小限に抑えています。（たとえば、特定のアプリケーションを攻撃してトランザクションを攻撃または遅延させる方法）。
言い換えれば、私たちはさらに進むことができると思います。歴史的に、リストを含むことはしばしば「特別な状況関数」と見なされます。一般的に、あなたはそれらを考慮しませんが、悪意のあるビルダーの場合、クレイジーなことを始めた場合、彼らはあなたに「2番目の」パスを与えます。現在の設計上の決定：現在のEIPでは、リストが約210万個に含まれています。
この方向のアイデアは、分離ボックスを可能な限り小さいことを強く宣伝していると思います – 非常に興味深い、私はこの方向に同意します。これは「2021 ERA哲学」との変革です。2021時代の哲学では、このアイデアに熱心です。今ではビルダーを持っているので、それらの機能を「過負荷」することができます。より複雑な方法で複雑な方法。> “>ERC-4337コスト市場をサポートします。この新しい概念では、ERC-4337のトランザクション検証部分を契約に含める必要があります。幸いなことに、ERC-4337チームはこの方向性についてますます熱心になりました。
要約：> “>MEVの考えは、ユーザートランザクションが含まれていることを確認するためにブロックプロデューサーを提供するなど、認定ブロック生産者の方向に戻りました。アカウントの抽象化提案は、集中型の親relativeやバンドルの依存を排除する方向に戻りました。しかし、私たちは遠く離れていないという良い議論があります。
液体
今日、すべてのイーサリアム誓約における個別の誓約の割合は比較的小さく、ほとんどの誓約は、さまざまなプロバイダー（一部の中央オペレーターやLidoやRocketpoolなど）によって完了しています。
我做了自己的研究 – 各种民意调查各种民意调查、提出问题 “为什么你 – 特别是你 – 今天不单独下注？”对我来说、到目前为止、到目前为止> “>強い別個の誓約エコシステムは、私の誓約されたイーサリアムの最初の選択であり、イーサリアムで最も良いことの1つは、単に委員会に屈するのではなく、強力な誓約されたエコシステムを実際に支援しようとすることです。しかし、私たちはまだこの結果からはほど遠いです。私の世論調査と調査では、いくつかの一貫した傾向があります。
> “>誓約されていないほとんどの人は、自分の主な理由を最低32 ETHに起因すると考えています。
他の理由を提案する人の中で、最大のものは、検証デバイスノードを実行および維持するという技術的な課題です。
ETHの即時可用性の喪失、「ホット」な秘密鍵のセキュリティリスク、およびDefiプロトコルに参加する能力の喪失はすべて、大きな問題ですが、より小さな問題です。
Farcasterの世論調査は、人々が個別の誓約の主な理由を実行しないことを示しています。
> “>誓約研究では、2つの重要な問題を解決する必要があります。
> “>これらの懸念をどのように解決しますか？
> “>ほとんどの問題には効果的な解決策がありますが、ほとんどの人がまだ個別になりたくない場合、攻撃に抵抗する合意の安定性と堅牢性をどのように維持できますか？
多くの研究開発プロジェクトは、これらの問題を解決するように設計されています。
Verkle Tree Plus EIP-4444を使用すると、誓約ノードが非常に低いハードディスクで実行できます。さらに、誓約ノードがほぼすぐに簡素化されることを許可します。これにより、設定プロセスと操作がある実現から別の実現に大幅に簡素化されます。また、各州アクセスに必要なデータ帯域幅を削減して、Ethereum Lightクライアントをより実現可能にします。
研究（たとえば、これらの提案）は、コンセンサスノードのオーバーヘッドの方法を減らしながら、より大きな認証セット（最小の誓約値）を許可します。これらのアイデアは、シングルグルーブの究極の部分の一部として実装できます。また、これにより、ライトクライアントは、同期委員会に依存する代わりに署名の完全なセットを検証できるため、より安全になります）。
歴史が高まっているにもかかわらず、Ethereumクライアントの最適化のコストと難易度により、検証デバイスノードの実行のコストと難易度が継続的に削減されます。
罰の上限に関する研究は、私的な主要なリスクに関する懸念を減らし、誓約が彼らのETHを同時に（彼らが喜んでいる場合）defiプロトコルに誓約することを可能にするかもしれません。
0x01引き出しバウチャーにより、誓約者はETHアドレスを引き出しアドレスに設定することができます。これにより、分散型の誓約プールがより実現可能になり、集中誓約プールよりも有利になります。
ただし、さらに多くのことができます。理論的には、検証がより速く撤回できるようになります。たとえ認証者が各最終決定（つまり、毎回1回）に設定しても、いくつかのパーセントポイントが発生し、キャスパーFFGは依然として安全です。したがって、私たちが一生懸命働くと、サイクルを大幅に短縮できます。最小のデポジットスケールを大幅に削減したい場合は、難しい決定を下し、他の方向に重くすることができます。たとえば、最終時間を4回増やすと、最小の堆積物スケールは4倍減少します。単一の溝の最終的な性質は、「各時代に参加する各誓約者」モデルを完全に超えることで解決されます。
問題全体のもう1つの重要な部分は、誓約の経済性です。重要な質問の1つは、比較的ニッチなイベントになりたいですか、それとも全員またはほぼ全員にETHを誓約させたいですか？誰もが誓約されている場合、私たちはどのような責任を負わせてほしいですか？人々が最終的に怠inessのために責任を割り当てると、最終的に集中化につながる可能性があります。ここには重要かつ深遠な哲学的問題があります。間違った答えは、イーサリアムが集中化された道を奪う可能性があり、「追加の措置を介して従来の金融システムを再作成する」ことができます。誓約プール。これらの問題には、Ethereumのコア経済と価値が含まれるため、より多様な参加が必要です。
ノードハードウェア要件
> “>Ethereumの分散化の重要な問題の多くは、最終的に10年間のブロックチェーンを定義する問題に起因します。どのようにしてノードを簡単に実行したいのですか？
今日、ノードを実行することは困難です。ほとんどの人はこれをしません。この記事を書いていたラップトップには、2.1 TB -を占めるレスノードがあり、すでに英雄的なソフトウェアエンジニアリングと最適化の結果です。追加の4 TBのハードディスクを購入し、ノードを保存するためにラップトップに入れなければなりません。私たちは皆、ノードを簡単に実行したいと考えています。私の理想的な世界では、人々は携帯電話でノードを実行できるようになります。
上に書いたように、EIP-4444とVerkle Treeは、この理想に近づく2つの重要なテクノロジーです。両方が実現すると、ノードのハードウェア需要は最終的に100個未満に減少する可能性があります。タイプ1 ZK-EVMは、正しい実行の証拠を単純に検証できるため、EVMを実行するための独自のニーズを排除します。私の理想的な世界では、これらすべてのテクノロジーを一緒に積み重ね、Ethereum Browser拡張ウォレット（Metamask、Rabbyなど）でさえ、これらの証明を検証し、データの使いやすさのサンプルを実行し、チェーンが正しいことを確認するためのノードを構築しています。 。
上記のビジョンは通常、「The Verge」と呼ばれます。
これはよく知られ、理解されており、イーサリアムノードのサイズを心配している人でもあります。しかし、重要な懸念があります。メンテナンスの状態と証拠を提供する責任を降ろした場合、これは集中ベクターではありませんか？彼らが無効なデータを提供してデータをだましていなくても、彼らはイーサリアムの原則に違反することにあまりにも頼っていませんか？
懸念のこの最近のバージョンは、EIP-4444の多くの人々の不快感です。従来のイーサリアムノードが古い歴史的記録を保存する必要がなくなった場合、誰が必要としているのでしょうか？一般的な答えは、これらのデータを保持する動機を備えた十分な大きな参加者（ブロックブラウザー、交換、レイヤー2など）が必要ですしたがって、どんな歴史も実際に失われると考えるのはばかげています。
ただし、この議論は少数の大規模な参加者に依存しています。私の信頼モデル分類では、これはNの仮説ですが、Nは非常に小さいです。これには尾のリスクがあります。私たちにできることの1つは、古い履歴記録をピアネットワークに保存することです。各ノードは、データのごく一部のみを保存します。この種のネットワークは、安定性を確保するのに十分なほど複製されます。各データには数千のコピーがあり、将来的にはCornerstoneコードを使用できます（実際、履歴記録はEIP-4844スタイルのブロブに入れられます。そして、これは、安定性をさらに向上させるために、戦術コードで構築されています。
Blobには、BlobとBlobの間に補正コードがあります。Ethereumのすべての歴史を安定性ストレージで提供する最も簡単な方法は、ビーコンと実行ブロックをBLOBに入れる可能性があります。画像ソース：codex.storage
長い間、この作業は二次的な立場にありました。ポータルネットワークは存在しますが、実際、イーサリアムにおける将来の重要性の重要性に注意を払っていません。幸いなことに、> “>現在、人々は、分散型ストレージと歴史的アクセスの最小化されたポータルに多くのリソースを投資する勢いに強い関心を持っています。EIP-4444をできるだけ早く実装し、強力な分散型ポイントツーポイントネットワークを一致させて、古い歴史的記録を保存および取得する必要があります。
状態およびZK-EVMの場合、この分散方法はより困難です。効率的なブロックを構築するには、完全な状態が必要です。この場合、私は個人的に実用的な方法を採用する傾向があります。「ノードがすべてを行うために必要な」に必要なある程度のハードウェアを定義し、主張します。コストチェーンは削減されますが、それでも十分に低く、愛好家はそれを買う余裕があります。nが非常に大きいことを確認するために、nの1つの仮定に依存しています。
> “>ZK-EVMは、それが最もトリッキーな部分であることを証明しています、リアルタイムのZK-EVMプルーパーは、ビニウスのような進歩や多次元ガス間の最悪の境界境界がある場合でも、アーカイブノードよりも強力である必要がある場合があります。ネットワークの分散された証明に懸命に取り組むことができます。各ネットワークは、ブロック実行の1％などの証明に責任があり、ブロック生産者は最後に100個の証明書を集約する必要があります。集約ツリーがより多くの助けを提供できることを証明してください。しかし、これがうまく機能できない場合、別の妥協は、証明されたハードウェア要件が高くなっていることですが、「ノードがすべて」を確保するために、イーサリアムブロック（証明書なし）を直接検証できることです。ネットワークに十分に効果的です。
要約します
私の意見では、中央集権化された参加者に誠実さを強制するための市場メカニズムまたはゼロの知識証明システムがある限り、2021年のイーサリアムは、責任を少数の大規模な参加者に移すことに慣れていると考えています。このようなシステムは通常、通常の状況下では十分に動作しますが、最悪の場合は壊滅的な障害が発生します。
同時に、現在のイーサリアムプロトコルの提案がこのモデルから大きく逸脱しており、真に分散型ネットワークのニーズにより深刻に逸脱していることを強調する必要があると思います。状態ノードなし、MEVリリーフ、1回のスライスの内性、同様の概念のアイデアは、この方向にさらに進んでいます。1年前、人々はリレーを介したデータの可用性サンプリングのアイデアを半センターノードとして真剣に考えていました。今年、私たちはもはやこれらのことをする必要はありません、Peerdasは驚くほど強い進歩を遂げました。
ただし、上記で述べた3つの中心的な問題すべておよび他の多くの重要な問題において、この方向にさらに進むために多くのことをすることができます。ヘリオスは、イーサリアムに「本当の光のクライアント」を提供することで大きな進歩を遂げました。次に、デフォルトでイーサリアムウォレットに含める必要があり、RPCプロバイダーにそれを検証し、ライトクライアントテクノロジーを2階の契約に拡張するために、RPCプロバイダーにその結果を提供させる必要があります。Ethereumがロールアップを中心としたロードマップを拡張する場合、2番目のレイヤーは、最初のレイヤーと同じセキュリティと分散型保証を取得する必要があります。ロールアップを中心とした世界では、私たちがもっと真剣に受け止めていることがあります。Ethereumのログスキャンが遅くなりすぎるため、多くのDappは集中プロトコルを介してログを取得します。これは、分散型の分散型サブアグリーメントを介して改善できます。
> “>「私たちは非常に速くなることができ、後で分散化することを検討します」を目的とした、ほとんど無制限のブロックチェーンプロジェクトがあります。イーサリアムはこのランクに参加すべきではないと思います。Ethereum L1は、イーサリアムを分散化とセキュリティの柱として使用して、大規模な方法を使用する2階プロジェクトの強力な基本レイヤーになります。2番目のレイヤーを中心とした方法でさえ、最初のレイヤー自体が多数の操作を処理するのに十分なスケーラビリティを備えている必要があります。しかし> “>イーサリアムのユニークな特性を深く尊重し、イーサリアムの拡大によりこれらの特性を維持および改善するために一生懸命働き続けるべきです。
