"Rammeverk for AltDA Secure Integration på Ethereum" – @eigen_da team AltDA-integrasjoner utvider Ethereums designrom, men de fleste design og implementeringer er underspesifisert for L2-sikkerhet. Dette er den første formaliseringen av hva sikker integrasjon krever: et fundament for tillitsløse systemer. Dette formaliserer de samme prinsippene som anvendes i @l2beat rammeverk.

Kjerneantakelsen: sekvensere og forslagsgivere kan oppføre seg ondsinnet. En ondsinnet sekvenser kan: - Legg ut korrupte data til L1 - Koder nyttelaster feil - Hold tilbake klumper til etter DA-beskjæring En ondsinnet frier kan: - fork L2-konsensus på Ethereum Uten riktige sjekker kan disse angrepene stoppe L2-konsensus eller tømme broen.

Vi ser på AltDA-integrasjon som en sekvens av deterministiske datatransformasjoner på tvers av tre datastrukturer. L1-innboksbytes → AltDA-forpliktelse → blob → rollup-nyttelast Hvert steg trenger totale funksjoner, det vil si at de håndterer ALLE input, inkludert adversarialt søppel. Delvise implementasjoner = levetidsfeil.

DA Verifier er kritisk, men ofte misforstått. Det må være: - Total: håndterer all input uten krasj - Korrekt: ingen falske positiver (muliggjør tilbakeholdelse av data) eller falske negativer (svakere liveness-angrep) En stoppende feil under et utfordringsspill = potensiell brotyveri.

EigenDAs OP Stack-integrasjon (Hokulea + EigenDA Proxy) implementerer dette rammeverket og brukes snart av @Celo @megaeth og andre. Vår tilnærming formaliserer @l2beat rammeverk med eksplisitte domenedefinisjoner og totale funksjoner. Vi håper andre rollup- og DA-team finner det nyttig for å forstå, designe og integrere sikre integrasjoner.