"Marco para la integración segura de AltDA en Ethereum" - @eigen_da equipo Las integraciones AltDA amplían el espacio de diseño de Ethereum, pero la mayoría de los diseños e implementaciones están poco especificados para la seguridad L2. Esta es la primera formalización de lo que requiere la integración segura: una base para sistemas sin confianza. Esto formaliza los mismos principios aplicados en el marco de @l2beat.

La suposición central: los secuenciadores y proponentes pueden comportarse de forma maliciosa. Un secuenciador malicioso puede: - Publicar datos corruptos a L1 - Codificar cargas útiles incorrectamente - Retener las masas hasta después de la poda DA Un proponente malicioso puede: - consenso L2 de la bifurcación en Ethereum Sin las comprobaciones adecuadas, estos ataques pueden detener el consenso de L2 o agotar el puente.

Consideramos la integración de AltDA como una secuencia de transformaciones deterministas de datos a través de tres estructuras de datos. Bytes de la bandeja de entrada L1 → Compromiso de AltDA → carga útil de Blob → Rollup Cada paso necesita funciones totales, es decir, gestionan TODAS las entradas, incluida la basura adversarial. Implementaciones parciales = fallos de vivez.

El Verificador de Fiscal es fundamental pero a menudo malinterpretado. Debe ser: - Total: gestiona cualquier entrada sin que se bloquee - Correcto: no hay falsos positivos (permite retener datos) ni falsos negativos (ataque de vivacidad más débil) Un fallo que se detiene durante un juego de desafío = posible robo de puente.

La integración OP Stack de EigenDA (Hokulea + EigenDA Proxy) implementa este framework y será utilizado pronto por @Celo @megaeth y otros. Nuestro enfoque formaliza el marco de @l2beat con definiciones explícitas de dominio y funciones totales. Esperamos que otros equipos de rollup y DA lo encuentren útil para entender, diseñar e integrar integraciones seguras.