A biblioteca Hokulea da EigenDA foi auditada por @VeridiseInc, especialistas em verificação formal e segurança ZK. O Hokulea permite derivação EigenDA trustless para rollups OP Stack, suportando integrações para frameworks 🧵 à prova de fraude do zkVM líderes

A avaliação abrangeu Hokulea (que integra o EigenDA ao Kona) e o Canoe (a aplicação zkVM). Ele verificou o Hokulea em relação ao AltDA Secure Integration Framework, garantindo que a implementação atenda aos requisitos totais e corretos para derivação sem confiança. Todas as questões descobertas foram resolvidas.

Os Rollups podem integrar Hokulea hoje com o OP-Succinct & @boundless_xyz OP-Kailua da @succinctlabs

Agradecimentos à equipe @VeridiseInc pela profunda expertise e rigor da ZK durante todo esse processo. Relatório completo de auditoria: