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:
3,15K