"Framework para Integração Segura AltDA no Ethereum" - equipe @eigen_da As integrações AltDA expandem o espaço de design do Ethereum, mas a maioria dos designs e implementações são subespecificadas para segurança L2. Esta é a primeira formalização do que a integração segura exige: uma base para sistemas sem confiança. Isso formaliza os mesmos princípios aplicados no arcabouço da @l2beat.

A suposição central: sequenciadores e proponentes podem agir de forma maliciosa. Um sequenciador malicioso pode: - Pós-dados corrompidos para L1 - Codificar cargas úteis incorretamente - Reter manchas até depois da poda DA Um proponente malicioso pode: - consenso L2 do fork no 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 determinísticas de dados em três estruturas de dados. Bytes da caixa de entrada L1 → Compromisso AltDA → Carga Útil de Rollup → Blob Cada etapa precisa de funções totais, ou seja, elas lidam com TODAS as entradas, incluindo o lixo adversarial. Implementações parciais = falhas de vivacidade.

O Verificador DA é fundamental, mas frequentemente mal compreendido. Deve ser: - Total: gerencia qualquer entrada sem travamentos - Correto: sem falsos positivos (permite retenção de dados) ou falsos negativos (ataque de liveness mais fraco) Uma falha interrompida durante um jogo de desafio = potencial roubo de ponte.

A integração OP Stack da EigenDA (Hokulea + EigenDA Proxy) implementa esse framework e será usado em breve por @Celo @megaeth e outros. Nossa abordagem formaliza o framework de @l2beat com definições explícitas de domínio e funções totais. Esperamos que outras equipes de rollup e DA achem útil para entender, projetar e integrar integrações seguras.