Библиотека Hokulea от EigenDA была проверена @VeridiseInc, специалистами в области формальной верификации и безопасности ZK. Hokulea позволяет бездоверительное извлечение EigenDA для сверток OP Stack, поддерживая интеграции с ведущими фреймворками доказательства мошенничества zkVM 🧵

Оценка охватывала Hokulea (которая интегрирует EigenDA в Kona) и Canoe (приложение zkVM). Она проверила Hokulea на соответствие AltDA Secure Integration Framework, обеспечивая выполнение всех требований для бездоверительной деривации. Все выявленные проблемы были решены.

Rollups могут интегрировать Hokulea сегодня с OP-Succinct от @succinctlabs и OP-Kailua от @boundless_xyz

Спасибо команде @VeridiseInc за их глубокую экспертизу в области ZK и строгость на протяжении всего этого процесса. Полный отчет об аудите: