"Framework pro bezpečnou integraci AltDA na Ethereu" - tým @eigen_da Integrace AltDA rozšiřují designový prostor Etherea, ale většina návrhů a implementací je pro L2 bezpečnost nedostatečně specifikována. Jde o první formalizaci toho, co bezpečná integrace vyžaduje: základ pro systémy bez důvěry. To formalizuje stejné principy, které byly aplikovány v rámci @l2beat.

Základní předpoklad: sekvencery a navrhovatelé se mohou chovat škodlivě. Škodlivý sekvencer může: - Nahrat poškozená data do L1 - Nesprávné kódování payloadů - Zadržení skvrn až po prořezávání DA Zlomyslný navrhovatel může: - konsenzus fork L2 na Ethereu Bez správných kontrol mohou tyto útoky zastavit konsenzus L2 nebo vyčerpat most.

Integraci AltDA vnímáme jako posloupnost deterministických datových transformací napříč třemi datovými strukturami. L1 Inbox bajty → závazku AltDA → Blob → Rollup payload Každý krok vyžaduje celkové funkce, což znamená, že zpracovávají VŠECHNY vstupy, včetně adversariálního odpadu. Částečné implementace = selhání živosti.

DA Verifier je kritický, ale často nepochopený. Musí to být: - Celkově: zvládne jakýkoli vstup bez pádu - Správně: žádné falešně pozitivní výsledky (umožňuje zadržování dat) ani falešně negativní (slabší útok na živost) Zastavující selhání během výzvy = možná krádež mostu.

Integrace EigenDA OP Stack (Hokulea + EigenDA Proxy) tento framework implementuje a brzy ji budou používat @Celo @megaeth a další. Náš přístup formalizuje rámec @l2beat explicitními definicemi domén a totálními funkcemi. Doufáme, že ostatní týmy pro rollup a DA jej najdou užitečné při pochopení, navrhování a integraci bezpečných integrací.