「Ethereum上のAltDAセキュア統合フレームワーク」 - @eigen_daチーム AltDAの統合はイーサリアムの設計空間を拡大しますが、ほとんどの設計や実装はL2セキュリティに関して十分に規定されていません。 これは、セキュアインテグレーションに必要なもの、すなわち信頼不要システムの基盤を初めて形式化したものです。これは、@l2beatの枠組みで適用されているのと同じ原則を形式化しています。

基本的な前提は、シーケンサーやプロポーザーが悪意を持って振る舞うことがあるということです。 悪意のあるシーケンサーは以下のことがあります: - 破損したデータをL1にポストする - ペイロードのエンコードが誤っている - DA剪定後までブロブを保留する 悪意のある提案者は以下のように扱うことができます。 - イーサリアムにおけるフォークL2コンセンサス 適切なチェックがなければ、これらの攻撃はL2コンセンサスを停止させたり、ブリッジを消耗させたりします。

AltDA統合は、3つのデータ構造にわたる決定論的なデータ変換の連続と見なしています。 L1 Inbox bytes → AltDA コミットメント → Blob → Rollup Payload 各ステップはトータル関数を必要とし、つまり敵対的なゴミを含むすべての入力を処理する必要があります。 部分的な実装 = ライブの失敗。

DA検証器は重要ですが、しばしば誤解されています。 それは次のことでなければなりません: - Total:クラッシュせずに任意の入力を処理 - 正解:偽陽性なし(データ保留を可能にする)または偽陰性なし(ライブ性攻撃の弱さ) チャレンジゲーム中の停止失敗=橋の盗難の可能性。

EigenDAのOP Stack統合(Hokulea + EigenDA Proxy)はこのフレームワークを実装しており、まもなく @Celo @megaeth や他者によって利用される予定です。 私たちのアプローチは、@l2beatのフレームワークを明示的なドメイン定義と全関数で形式化します。 他のロールアップやDAチームが安全な統合を理解し、設計し、統合する際に役立つことを願っています。