"Framework per l'integrazione sicura di AltDA su Ethereum" - team @eigen_da Le integrazioni di AltDA espandono lo spazio di design di Ethereum, ma la maggior parte dei design e delle implementazioni sono sottospecificati per la sicurezza L2. Questa è la prima formalizzazione di ciò che richiede un'integrazione sicura: una base per sistemi senza fiducia. Questo formalizza gli stessi principi applicati nel framework di @l2beat.

L'assunzione fondamentale: i sequencer e i proponenti possono comportarsi in modo malevolo. Un sequencer malevolo può: - Pubblicare dati corrotti su L1 - Codificare i payload in modo errato - Ritardare i blob fino dopo la potatura DA Un proponente malevolo può: - forkare il consenso L2 su Ethereum Senza controlli adeguati, questi attacchi possono fermare il consenso L2 o prosciugare il ponte.

Consideriamo l'integrazione di AltDA come una sequenza di trasformazioni di dati deterministiche attraverso tre strutture dati. Byte della L1 Inbox → Impegno AltDA → Blob → Payload Rollup Ogni passaggio richiede funzioni totali, il che significa che gestiscono TUTTI gli input, compresi i dati spazzatura avversariali. Implementazioni parziali = fallimenti di vivacità.

Il DA Verifier è fondamentale ma spesso frainteso. Deve essere: - Totale: gestisce qualsiasi input senza bloccarsi - Corretto: nessun falso positivo (consente la ritenzione dei dati) o falso negativo (attacco di liveness più debole) Un fallimento di arresto durante un gioco di sfida = potenziale furto di ponte.

L'integrazione dell'OP Stack di EigenDA (Hokulea + EigenDA Proxy) implementa questo framework ed è utilizzata da @Celo @megaeth e altri a breve. Il nostro approccio formalizza il framework di @l2beat con definizioni di dominio esplicite e funzioni totali. Speriamo che altri team di rollup e DA lo trovino utile per comprendere, progettare e integrare integrazioni sicure.