"Рамки для безопасной интеграции AltDA на Ethereum" - команда @eigen_da Интеграции AltDA расширяют проектное пространство Ethereum, но большинство проектных решений и реализаций недостаточно определены для безопасности L2. Это первая формализация того, что требуется для безопасной интеграции: основа для бездоверительных систем. Это формализует те же принципы, которые применяются в рамках @l2beat.

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

Мы рассматриваем интеграцию AltDA как последовательность детерминированных преобразований данных в трех структурах данных. L1 Inbox байты → AltDA Commitment → Blob → Rollup Payload Каждый шаг требует полных функций, что означает, что они обрабатывают ВСЕ входные данные, включая враждебный мусор. Частичные реализации = сбои в работоспособности.

DA Verifier критически важен, но часто неправильно понимается. Он должен быть: - Полным: обрабатывает любой ввод без сбоев - Корректным: без ложных срабатываний (позволяет удерживать данные) или ложных отрицаний (ослабляет атаку на живость) Сбой при остановке во время игры на вызов = потенциальная кража моста.

Интеграция OP Stack EigenDA (Hokulea + EigenDA Proxy) реализует эту структуру и используется @Celo @megaeth и другими в ближайшее время. Наш подход формализует структуру @l2beat с явными определениями доменов и полными функциями. Мы надеемся, что другие команды rollup и DA найдут это полезным для понимания, проектирования и интеграции безопасных интеграций.