"Framework voor AltDA Veilige Integratie op Ethereum" - @eigen_da team AltDA-integraties breiden de ontwerpruimte van Ethereum uit, maar de meeste ontwerpen en implementaties zijn onvoldoende gespecificeerd voor L2-beveiliging. Dit is de eerste formalisering van wat veilige integratie vereist: een basis voor vertrouwenloze systemen. Dit formaliseert dezelfde principes die zijn toegepast in het framework van @l2beat.

De kernveronderstelling: sequencers en proposers kunnen kwaadaardig gedrag vertonen. Een kwaadaardige sequencer kan: - Gecorrumpeerde gegevens naar L1 posten - Payloads onjuist coderen - Blobs achterhouden tot na DA-pruning Een kwaadaardige proposer kan: - L2-consensus op Ethereum fork'en Zonder goede controles kunnen deze aanvallen de L2-consensus stoppen of de brug leegtrekken.

Wij beschouwen de integratie van AltDA als een reeks deterministische datatransformaties over drie datastructuren. L1 Inbox bytes → AltDA Commitment → Blob → Rollup Payload Elke stap heeft totale functies nodig, wat betekent dat ze ALLE invoer verwerken, inclusief vijandige rommel. Deelimplementaties = levensduurfouten.

De DA Verifier is cruciaal maar vaak verkeerd begrepen. Het moet zijn: - Totaal: verwerkt elke invoer zonder te crashen - Correct: geen valse positieven (maakt gegevensonthouding mogelijk) of valse negatieven (zwakkere levendigheid aanval) Een halterende fout tijdens een uitdaging spel = potentiële brugdiefstal.

De OP Stack-integratie van EigenDA (Hokulea + EigenDA Proxy) implementeert dit framework en wordt binnenkort gebruikt door @Celo, @megaeth en anderen. Onze aanpak formaliseert het framework van @l2beat met expliciete domeindefinities en totale functies. We hopen dat andere rollup- en DA-teams het nuttig vinden om veilige integraties te begrijpen, ontwerpen en integreren.