"Rahmenwerk für die sichere Integration von AltDA auf Ethereum" - Team @eigen_da AltDA-Integrationen erweitern den Gestaltungsspielraum von Ethereum, aber die meisten Designs und Implementierungen sind für die L2-Sicherheit unzureichend spezifiziert. Dies ist die erste Formalisierung dessen, was sichere Integration erfordert: eine Grundlage für vertrauenslose Systeme. Dies formalisiert die gleichen Prinzipien, die im Rahmen von @l2beat angewendet werden.

Die grundlegende Annahme: Sequencer und Vorschlagende können böswillig handeln. Ein böswilliger Sequencer kann: - Korrupten Daten an L1 posten - Payloads falsch kodieren - Blobs zurückhalten, bis nach der DA-Pruning Ein böswilliger Vorschlagender kann: - L2-Konsens auf Ethereum spalten Ohne angemessene Kontrollen können diese Angriffe den L2-Konsens zum Stillstand bringen oder die Brücke leeren.

Wir betrachten die AltDA-Integration als eine Abfolge deterministischer Datenumwandlungen über drei Datenstrukturen. L1 Inbox Bytes → AltDA Commitment → Blob → Rollup Payload Jeder Schritt benötigt totale Funktionen, was bedeutet, dass sie ALLE Eingaben verarbeiten, einschließlich adversarialem Müll. Partielle Implementierungen = Liveness-Fehler.

Der DA Verifier ist entscheidend, wird aber oft missverstanden. Er muss sein: - Total: verarbeitet jede Eingabe, ohne abzustürzen - Korrekt: keine falsch positiven (ermöglicht Datenzurückhaltung) oder falsch negativen (schwächere Liveness-Angriffe) Ein Abbruchfehler während eines Challenge-Spiels = potenzieller Brückenraub.

Die OP Stack-Integration von EigenDA (Hokulea + EigenDA Proxy) implementiert dieses Framework und wird bald von @Celo, @megaeth und anderen genutzt. Unser Ansatz formalisiert das Framework von @l2beat mit expliziten Domänen-Definitionen und totalen Funktionen. Wir hoffen, dass andere Rollup- und DA-Teams es nützlich finden, um sichere Integrationen zu verstehen, zu entwerfen und zu integrieren.