- FOCIL EIP-7805は、リサーチ段階から次回のHegotaフォークに向けた直接的な計画へと移行しました。
- Buterinは、EIP-8141とFOCILにより、スマートウォレットおよびプライバシートランザクションが1～2スロットで実現できると述べています。
- 各スロットに17人のランダムなインクルーダーがいることで、セキュリティ証明により検閲の確率が0.01%未満に抑えられます。
Ethereum開発者は、Fork-Choice Enforced Inclusion Lists、すなわちEIP-7805を次回Hegotaフォークの主要なコンセンサスアップグレードとして進めています。この提案は、貢献者Soispoke.ethがこの機能が「SFI’d」されたと述べ、内部で合意が取れたことを示した後、実装計画へと進んでいます。この開発により、Ethereumの次回アップグレードサイクルの中心に検閲耐性とトランザクションインクルージョンの保証が据えられます。
このアップデートはEthereum共同創設者のVitalik Buterinからも公に支持されており、彼はFOCILがアカウント抽象化の改善とどのように連携するかを説明しました。彼はXで、FOCILが検閲耐性のある迅速なトランザクションインクルージョンを可能にすることを述べています。また、この設計はEIP-8141と組み合わせて、スマートウォレットやプライバシープロトコルのオンチェーンでの直接アクセスを拡大すると説明しました。
開発者たちは18ヶ月かけてFOCILのセキュリティ証明を構築しました。研究者たちはバリデータの共謀、強制の試み、プロトコルの悪用をモデル化しました。その分析によると、各スロットに17人の参加者を選出することで、悲観的な仮定の下でも検閲リスクを0.01%未満に抑えることができます。
FOCILの設計とセキュリティモデル
FOCILはコンセンサスレイヤーに小さなインクルージョンリストを導入します。現行バージョンでは、各リストのサイズは8キロバイトです。Buterinは、このサイズは意図的に小さく保たれているが、今後ブロックにより多くのトランザクションが必要となれば拡大可能だと述べています。
彼は、各スロットにランダムに選ばれた17人のアクターが参加すると説明しています。これらのアクターにはブロックプロポーザーと指定されたインクルーダーが含まれます。Buterinによれば、この構造により、敵対的な状況下でもほぼ確実に1～2スロット以内でトランザクションがインクルージョンされます。
研究者たちはこのシステムを、バリデータの中央集権化リスクに対抗するために設計しました。Buterinは、仮にプロポーザー・ビルダー分離によってすべてのスロットが敵対的なアクターに売却されたとしても、トランザクションは素早くインクルージョンされる可能性があると述べています。彼は、FOCILはプロポーザーの中央集権自体を取り除くものではないが、その影響力を制限すると付け加えました。
アカウント抽象化とのシナジー
FOCILはEIP-8141と並行して動作し、これはEIP-7701の上に構築されています。Buterinは、EIP-8141がスマートアカウントにオンチェーンでファーストクラスの地位を与えると述べています。これにはマルチシグアカウント、量子耐性署名、鍵変更、ガススポンサー機能が含まれます。
彼はまた、プライバシープロトコルも直接的なインクルージョン権を得られると述べています。これらのアカウントからのトランザクションは、もはやラッパーや外部ブロードキャスターを必要としません。その代わりに、パブリックメンプールに入り、直接FOCILインクルーダーに移動できます。
以前は、高度なスマートウォレットモデルは運用上の摩擦に直面していました。追加レイヤーに依存し、処理時の差別に遭うこともありました。EIP-8141によるネイティブステータスで、プロトコルはそれらを外部所有アカウントと平等に扱います。
関連記事: Vitalik ButerinがEthereumの中立性と発言の自由を擁護
MEVおよびMCP設計との相互作用
ButerinはFOCILの構造を複数同時提案者設計と比較しました。彼は、FOCILがMCPシステムといくつかの性質を共有していると述べています。しかし、MEV関連の「ラストルック」役割を制御しようとはしていません。
代わりに、プロトコルは暗号化されたプロポーザー・ビルダー分離を通じてラストルック機能のオークションを継続します。Buterinは、MCPの挙動は設計の詳細に大きく依存すると指摘しました。対照的に、FOCILはインクルージョン保証をMEVコントロールから分離しています。
彼はこのアプローチを、悪質なプロポーザーの行動を抑制する方法と説明しました。敵対的なアクターがパブリックメンプールへの接続を拒否したり、アプリケーションを差別したとしても、FOCILは依然としてランダムに選ばれたインクルーダーを通じてインクルージョンを可能にします。この設計は、ネットワーク状況に関係なく迅速なトランザクション処理を維持することを目的としています。
EthereumがHegotaフォークに向かって進む中、開発者たちはFOCILおよびEIP-8141のリサーチから実装計画へと移行しています。1スロットあたり17人のアクター選出と8キロバイトのインクルージョンリストにより、ネットワークは2スロット以内でほぼ確実なインクルージョンを目指します。このモデルは、敵対的なブロックチェーン環境におけるトランザクション保証を再定義するのでしょうか？
