"Estrutura para Integração Segura do AltDA na Ethereum" - equipa @eigen_da As integrações do AltDA expandem o espaço de design da Ethereum, mas a maioria dos designs e implementações está subespecificada para a segurança do L2. Esta é a primeira formalização do que a integração segura requer: uma base para sistemas sem confiança. Isto formaliza os mesmos princípios aplicados na estrutura da @l2beat.

A suposição central: sequenciadores e proponentes podem agir de forma maliciosa. Um sequenciador malicioso pode: - Publicar dados corrompidos no L1 - Codificar cargas úteis incorretamente - Retardar blobs até após a poda de DA Um proponente malicioso pode: - bifurcar o consenso L2 na Ethereum Sem verificações adequadas, esses ataques podem interromper o consenso L2 ou drenar a ponte.

Vemos a integração do AltDA como uma sequência de transformações de dados determinísticas em três estruturas de dados. Bytes da Caixa de Entrada L1 → Compromisso AltDA → Blob → Carga Útil do Rollup Cada etapa precisa de funções totais, o que significa que lidam com TODAS as entradas, incluindo lixo adversarial. Implementações parciais = falhas de vivacidade.

O Verificador DA é crítico, mas frequentemente mal compreendido. Deve ser: - Total: lida com qualquer entrada sem falhar - Correto: sem falsos positivos (permite a retenção de dados) ou falsos negativos (ataque de liveness mais fraco) Uma falha de interrupção durante um jogo de desafio = potencial roubo de ponte.

A integração do OP Stack da EigenDA (Hokulea + Proxy EigenDA) implementa este framework e é utilizada por @Celo @megaeth e outros em breve. A nossa abordagem formaliza o framework do @l2beat com definições de domínio explícitas e funções totais. Esperamos que outras equipas de rollup e DA o considerem útil para entender, projetar e integrar integrações seguras.