تم تدقيق مكتبة هوكوليا التابعة ل EigenDA من قبل @VeridiseInc، وهم متخصصون في التحقق الرسمي وأمن ZK. يتيح Hokulea اشتقاق EigenDA بدون ثقة لجمع Op Stack، مما يدعم التكامل لأطر 🧵 zkVM الرائدة ضد الاحتيال

شمل التقييم Hokulea (الذي يدمج EigenDA في Kona) وCanoe (تطبيق zkVM). تحقق من هوكوليا مقابل إطار التكامل الآمن AltDA، مما يضمن أن التنفيذ يفي بالمتطلبات الكاملة والصحيحة للاشتقاق بدون ثقة. تم معالجة جميع القضايا التي تم الكشف عنها.

يمكن للروليبس دمج هوكوليا اليوم مع @succinctlabs's OP-Succinct & @boundless_xyz OP-Kailua

شكرا لفريق @VeridiseInc على خبرتهم العميقة والصرامة في ZK طوال هذه العملية. تقرير التدقيق الكامل: