"在Ethereum上進行AltDA安全整合的框架" - @eigen_da 團隊 AltDA整合擴展了Ethereum的設計空間，但大多數設計和實現對於L2安全性來說都不夠明確。 這是對安全整合所需的首次正式化：一個無信任系統的基礎。這正式化了在@l2beat的框架中應用的相同原則。

核心假設：排序者和提議者可能會惡意行為。 惡意的排序者可以： - 向 L1 發佈損壞的數據 - 錯誤編碼有效載荷 - 在 DA 修剪後才隱藏 blobs 惡意的提議者可以： - 在以太坊上分叉 L2 共識 如果沒有適當的檢查，這些攻擊可能會停止 L2 共識或耗盡橋接資金。

我們將 AltDA 整合視為三個數據結構之間的確定性數據轉換序列。 L1 收件箱位元組 → AltDA 承諾 → Blob → Rollup 負載 每一步都需要總函數，這意味著它們處理所有輸入，包括對抗性垃圾。 部分實現 = 活性失敗。

DA 驗證器至關重要，但常常被誤解。 它必須是： - 總體：能夠處理任何輸入而不會崩潰 - 正確：沒有假陽性（允許數據保留）或假陰性（較弱的活躍攻擊） 在挑戰遊戲中出現的停止失敗 = 潛在的橋接盜竊。

EigenDA 的 OP Stack 整合（Hokulea + EigenDA Proxy）實現了這個框架，並將由 @Celo @megaeth 和其他人很快使用。 我們的做法正式化了 @l2beat 的框架，並提供了明確的領域定義和總函數。 我們希望其他 rollup 和 DA 團隊能在理解、設計和整合安全整合方面找到它的用處。