«Фреймворк для безпечної інтеграції AltDA на Ethereum» — @eigen_da команда Інтеграції з AltDA розширюють простір дизайну Ethereum, але більшість дизайну та реалізацій недостатньо визначені для безпеки L2. Це перша формалізація того, що вимагає безпечна інтеграція: основа для систем без довіри. Це формалізує ті ж принципи, що й у рамках @l2beat.

Основне припущення: секвенсери та пропонувальники можуть поводитися зловмисно. Шкідливий секвенсер може: - Пост пошкоджених даних до L1 - Неправильне кодування корисних навантажень - Утримати плями до завершення обрізки DA Зловмисний запропонувач може: - консенсус форка L2 щодо Ethereum Без належних перевірок ці атаки можуть зупинити консенсус другого рівня або виснажити міст.

Ми розглядаємо інтеграцію AltDA як послідовність детермінованих трансформацій даних у трьох структурах даних. Байти L1 Inbox → AltDA Commitment → Blob → rollup payload Кожен крок потребує загальних функцій, тобто вони обробляють УСІ входи, включаючи суперницький мотлох. Часткові реалізації = невдачі живості.

DA Верифікатор є критичним, але часто неправильно зрозумілим. Це має бути: - Total: обробляє будь-який вхід без збоїв - Правильно: немає хибнопозитивних результатів (дозволяє приховувати дані) або хибнонегативних результатів (слабша атака живості) Невдача під час гри з викликом = потенційна крадіжка мосту.

Інтеграція OP Stack від EigenDA (Hokulea + EigenDA Proxy) реалізує цей фреймворк і незабаром буде використана @Celo @megaeth та іншими. Наш підхід формалізує фреймворк @l2beat за допомогою явних визначень домену та тотальних функцій. Сподіваємося, що інші команди з об'єднання та DA знайдуть це корисним для розуміння, проєктування та інтеграції безпечних інтеграцій.