"Cadre pour l'intégration sécurisée d'AltDA sur Ethereum" - équipe @eigen_da Les intégrations AltDA élargissent l'espace de conception d'Ethereum, mais la plupart des conceptions et des mises en œuvre sont sous-spécifiées pour la sécurité L2. C'est la première formalisation de ce que nécessite une intégration sécurisée : une base pour des systèmes sans confiance. Cela formalise les mêmes principes appliqués dans le cadre de @l2beat.

L'hypothèse de base : les séquenceurs et les proposeurs peuvent agir de manière malveillante. Un séquenceur malveillant peut : - Publier des données corrompues sur L1 - Encoder des charges utiles de manière incorrecte - Retenir des blobs jusqu'après l'élagage DA Un proposeur malveillant peut : - forker le consensus L2 sur Ethereum Sans contrôles appropriés, ces attaques peuvent arrêter le consensus L2 ou vider le pont.

Nous considérons l'intégration d'AltDA comme une séquence de transformations de données déterministes à travers trois structures de données. Octets de la boîte L1 → Engagement AltDA → Blob → Charge utile Rollup Chaque étape nécessite des fonctions totales, ce qui signifie qu'elles gèrent TOUS les entrées, y compris les déchets adverses. Les implémentations partielles = échecs de vivacité.

Le vérificateur DA est crucial mais souvent mal compris. Il doit être : - Total : gère toute entrée sans planter - Correct : pas de faux positifs (permet la rétention de données) ou de faux négatifs (attaque de vivacité plus faible) Un échec d'arrêt lors d'un jeu de défi = vol potentiel de pont.

L'intégration de la pile OP d'EigenDA (Hokulea + Proxy EigenDA) met en œuvre ce cadre et est utilisée par @Celo @megaeth et d'autres bientôt. Notre approche formalise le cadre de @l2beat avec des définitions de domaine explicites et des fonctions totales. Nous espérons que d'autres équipes de rollup et de DA le trouveront utile pour comprendre, concevoir et intégrer des intégrations sécurisées.