Vitalik Buterin が FOCIL と EIP-8141 を迅速な Tx インクルージョンにリンク
- FOCIL EIP-7805 は、研究から今後の Hegota フォークの直接計画に移行します。
- Buterin 氏は、EIP-8141 を搭載した FOCIL では、スマート ウォレットとプライバシー TX を 1 ～ 2 スロットに配置できると述べています。
- 各スロットに 17 個のランダムなインクルーダーが含まれているため、セキュリティ証明により検閲の確率は 0.01% 未満に削減されます。
イーサリアム開発者は、次期 Hegota フォークのコア コンセンサス アップグレードとして、EIP-7805 として知られるフォーク選択強制包含リストを進化させました。寄稿者の Soispoke.eth が、この機能は「SFI」されており、内部の調整を示唆していると述べたことを受けて、この提案は実装計画に向けて動きました。この開発では、検閲への耐性とトランザクションの包含保証がイーサリアムの次のアップグレード サイクルの中心に据えられています。
このアップデートは、アカウント抽象化の改善と並行してFOCILがどのように機能するかを説明したイーサリアム共同創設者のヴィタリック・ブテリン氏からも公的支持を得ました。彼は X で、FOCIL により検閲に耐性があり、あらゆる取引を迅速に取り込むことができると述べました。同氏は、この設計は EIP-8141 と組み合わせて、スマート ウォレットとプライバシー プロトコルへの直接のオンチェーン アクセスを拡張すると説明しました。
開発者は 18 か月をかけて FOCIL のセキュリティ証明を構築しました。研究者たちは、バリデーターの共謀、強制の試み、プロトコルの悪用をモデル化しました。彼らの分析では、悲観的な仮定の下で、スロットごとに 17 人の参加者を選択すると、検閲リスクが 0.01% 未満に低減されることがわかりました。
FOCILの設計とセキュリティモデル
FOCIL は、コンセンサス層に小さな包含リストを導入します。現在の反復では、各リストのサイズは 8 キロバイトです。ブテリン氏は、サイズは意図的に小さいままだが、ブロックが FOCIL を通過するためにトランザクションの大部分を必要とする場合には、開発者が後で拡張できると述べた。
同氏は、ランダムに選ばれた 17 人の俳優が各スロットに参加すると説明しました。これらのアクターには、ブロック プロポーザーと指定されたインクルーダーが含まれます。 Buterin 氏によると、この構造により、敵対的な状況でも、1 ～ 2 つのスロット内にトランザクションをほぼ確実に含めることが可能になります。
研究者たちは、バリデーター集中化のリスクに対抗するシステムを設計しました。ブテリン氏は、提案者と構築者の分離を通じてすべてのスロットが敵対的な行為者に販売されたとしても、トランザクションはすぐに登録に達する可能性があると述べた。同氏は、FOCILは提案者の集中化を排除するものではないが、その影響力を制限すると付け加えた。
アカウントの抽象化との相乗効果
FOCIL は、EIP-7701 上に構築された EIP-8141 と並行して動作します。ブテリン氏は、EIP-8141 はスマート アカウントにオンチェーンでのファーストクラスのステータスを与えると述べました。同氏は、これにはマルチシグアカウント、耐量子署名、鍵変更、ガススポンサーシップ機能が含まれると指摘した。
同氏は、プライバシープロトコルも直接包含する権利を得ることができると付け加えた。これらのアカウントからのトランザクションには、ラッパーや外部ブロードキャスターは必要なくなりました。代わりに、パブリック メモリプールに入り、FOCIL インクルーダーに直接移動できます。
以前は、高度なスマート ウォレット モデルは運用上の困難に直面していました。これらは追加のレイヤーに依存しており、処理上の差別に遭遇する可能性がありました。 EIP-8141 に基づくネイティブ ステータスにより、プロトコルはそれらを外部所有のアカウントと同等に扱います。
関連: ヴィタリック・ブテリン氏、イーサリアムの中立性と言論を擁護
MEV および MCP デザインとの相互作用
Buterin は、FOCIL の構造を複数の同時プロポーザー設計と比較しました。同氏は、FOCIL は MCP システムと特定の特性を共有していると述べました。ただし、MEV 関連の「ラストルック」の役割を制御しようとするわけではありません。
代わりに、プロトコルは暗号化されたプロポーザーとビルダーの分離を通じてラストルック関数をオークションし続けます。 Buterin 氏は、MCP の動作は設計の詳細に大きく依存すると指摘しました。対照的に、FOCIL は包含保証を MEV 制御から分離します。
同氏はこのアプローチを、提案者の虐待的な行為を禁止する方法であると説明した。敵対的な攻撃者がパブリック メンプールへの接続を拒否したり、アプリケーションを差別したりしても、FOCIL はランダムに選択されたインクルーダーを通じて包含を可能にします。この設計は、ネットワーク状況全体で迅速なトランザクション処理を維持することを目的としています。
イーサリアムがヘゴタフォークに向けて進歩するにつれて、開発者は現在、研究からFOCILとEIP-8141の実装計画に移行しています。スロットごとに 17 人のアクターが選択され、8 キロバイトの包含リストを使用して、ネットワークは 2 つのスロット内にほぼ確実に包含されることを目標としています。このモデルは、敵対的なブロックチェーン環境におけるトランザクション保証を再定義できるでしょうか?
