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

La suposición básica: los secuenciadores y proponentes pueden comportarse de manera maliciosa. Un secuenciador malicioso puede: - Publicar datos corruptos en L1 - Codificar cargas útiles incorrectamente - Retener blobs hasta después de la poda de DA Un proponente malicioso puede: - bifurcar el consenso de L2 en Ethereum Sin controles adecuados, estos ataques pueden detener el consenso de L2 o drenar el puente.

Vemos la integración de AltDA como una secuencia de transformaciones de datos deterministas a través de tres estructuras de datos. Bytes de L1 Inbox → Compromiso de AltDA → Blob → Carga útil de Rollup Cada paso necesita funciones totales, lo que significa que manejan TODAS las entradas, incluyendo basura adversarial. Implementaciones parciales = fallos de disponibilidad.

El Verificador DA es crítico pero a menudo malinterpretado. Debe ser: - Total: maneja cualquier entrada sin fallar - Correcto: sin falsos positivos (permite la retención de datos) o falsos negativos (ataque de liveness más débil) Un fallo de detención durante un juego de desafío = posible robo de puente.

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