Biblioteka Hokulea od EigenDA została audytowana przez @VeridiseInc, specjalistów w zakresie formalnej weryfikacji i bezpieczeństwa ZK. Hokulea umożliwia bezpieczne pochodzenie EigenDA dla rollupów OP Stack, wspierając integracje z wiodącymi ramami dowodów oszustw zkVM 🧵

Ocena obejmowała Hokulea (który integruje EigenDA w Kona) oraz Canoe (aplikację zkVM). Zweryfikowano Hokulea w odniesieniu do AltDA Secure Integration Framework, zapewniając, że wdrożenie spełnia całkowite i poprawne wymagania dotyczące bezpiecznego pochodzenia. Wszystkie ujawnione problemy zostały rozwiązane.

Rollupy mogą zintegrować Hokulea dzisiaj z OP-Succinct od @succinctlabs i OP-Kailua od @boundless_xyz

Dziękujemy zespołowi @VeridiseInc za ich głęboką wiedzę na temat ZK oraz rygor w trakcie tego procesu. Pełny raport audytowy: