"Kehys AltDA:n turvalliselle integraatiolle Ethereumissa" – @eigen_da tiimi AltDA-integraatiot laajentavat Ethereumin suunnittelutilaa, mutta suurin osa suunnittelusta ja toteutuksista on liian vähän määriteltyjä L2-turvallisuuden osalta. Tämä on ensimmäinen virallistus siitä, mitä turvallinen integraatio vaatii: perusta luottamuksettomille järjestelmille. Tämä formalisoi samat periaatteet, joita sovelletaan @l2beat:n viitekehyksessä.

Ydinoletus: sekvensserit ja ehdottajat voivat käyttäytyä pahantahtoisesti. Haitallinen sekvensseri voi: - Vioittuneiden tietojen lähettäminen L1:een - Koodaa hyötykuormat väärin - Pidättää möykkyjä DA-karsimisen jälkeen Pahantahtoinen ehdottaja voi: - fork-L2-konsensus Ethereumissa Ilman kunnollisia tarkistuksia nämä hyökkäykset voivat pysäyttää toisen tason konsensuksen tai tyhjentää sillan.

Näemme AltDA-integraation determinististen tietomuunnosten sarjana kolmessa tietorakenteessa. L1 Inbox bytes → AltDA-sitoutuminen → Blob → Rollup Payload Jokainen vaihe vaatii kokonaiset toiminnot, eli ne käsittelevät KAIKKIA syötteitä, mukaan lukien vastakkainasettelun roskaa. Osittaiset toteutukset = elävyyden epäonnistumiset.

DA-tarkastaja on kriittinen, mutta usein väärinymmärretty. Sen täytyy olla: - Total: käsittelee minkä tahansa syötteen kaatumatta - Oikein: ei vääriä positiivisia (mahdollistaa tietojen pidätyksen) tai vääriä negatiivisia (heikomman elävyyden hyökkäys) Pysähtyvä epäonnistuminen haastepelissä = mahdollinen sillan varkaus.

EigenDA:n OP Stack -integraatio (Hokulea + EigenDA Proxy) toteuttaa tämän kehyksen ja sitä käyttävät pian @Celo @megaeth ja muut. Lähestymistapamme formalisoi @l2beat:n viitekehyksen eksplisiittisillä aluemääritelmillä ja kokonaisfunktioilla. Toivomme, että muut rollup- ja DA-tiimit löytävät siitä hyödyllistä turvallisten integraatioiden ymmärtämisessä, suunnittelussa ja integroinnissa.