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

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

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

Дякуємо команді @VeridiseInc за глибоку експертизу та ретельність ZK протягом усього процесу. Повний аудиторський звіт: