Thư viện Hokulea của EigenDA đã được kiểm toán bởi @VeridiseInc, chuyên gia trong xác minh chính thức và bảo mật ZK. Hokulea cho phép việc suy diễn EigenDA không cần tin cậy cho các rollup OP Stack, hỗ trợ tích hợp cho các khung chứng minh gian lận zkVM hàng đầu 🧵

Đánh giá đã bao gồm Hokulea (tích hợp EigenDA vào Kona) và Canoe (ứng dụng zkVM). Nó đã xác minh Hokulea theo Khung Tích hợp An toàn AltDA, đảm bảo rằng việc triển khai đáp ứng đầy đủ và chính xác các yêu cầu cho việc suy diễn không cần tin cậy. Tất cả các vấn đề được phát hiện đã được giải quyết.

Rollups có thể tích hợp Hokulea hôm nay với OP-Succinct của @succinctlabs & OP-Kailua của @boundless_xyz

Cảm ơn đội ngũ @VeridiseInc vì chuyên môn sâu về ZK và sự nghiêm ngặt trong suốt quá trình này. Báo cáo kiểm toán đầy đủ: