A biblioteca Hokulea da EigenDA foi auditada pela @VeridiseInc, especialistas em verificação formal e segurança ZK. Hokulea permite a derivação de EigenDA sem confiança para rollups OP Stack, suportando integrações para os principais frameworks de prova de fraude zkVM 🧵

A avaliação abrangeu o Hokulea (que integra o EigenDA no Kona) e o Canoe (a aplicação zkVM). Foi verificado o Hokulea em relação ao AltDA Secure Integration Framework, garantindo que a implementação satisfaz os requisitos totais e corretos para a derivação sem confiança. Todos os problemas identificados foram resolvidos.

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

Obrigado à equipa da @VeridiseInc pela sua profunda experiência em ZK e rigor ao longo deste processo. Relatório de Auditoria completo: