Khi AI trở thành chuyên gia bảo mật: Phát hiện lỗ hổng nghiêm trọng trong OpenVM zkVM

Bài viết được dịch và tổng hợp từ tin tức gốc. Bạn có thể đọc bài viết gốc bằng tiếng Anh tại đây.

Điểm tin nhanh:

• AI auditor zkao đã phát hiện một lỗ hổng soundness nghiêm trọng (CVE-2026-46669) trong thư viện openvm-pairing của OpenVM.
• Lỗ hổng cho phép kẻ tấn công giả mạo các phép toán pairing, đe dọa trực tiếp đến tính toàn vẹn của các hệ thống chứng minh không kiến thức (ZK).
• Nghiên cứu khẳng định rằng việc sử dụng AI để hiểu sâu về cấu trúc module là chìa khóa để tìm ra các lỗi phức tạp mà các phương pháp quét truyền thống bỏ lỡ.

Trong kỷ nguyên của các hệ thống Zero-Knowledge (ZK), tính bảo mật không chỉ nằm ở code mà còn ở các giả định toán học tinh vi. Khi độ phức tạp của các dự án như OpenVM tăng lên, các phương pháp kiểm thử thủ công dần trở nên quá tải. Việc tích hợp AI vào quy trình audit không còn là xu hướng, mà đã trở thành yêu cầu bắt buộc để đảm bảo an toàn cho hạ tầng mật mã học hiện đại.

Hành trình của zkao: Từ giả thuyết đến thực tế

Cách đây bốn tháng, đội ngũ bảo mật đã thử nghiệm quét OpenVM bằng các mô hình ngôn ngữ lớn (LLM) phổ biến như Opus 4.6 và Codex 5.3. Kết quả ban đầu cho thấy các mô hình này có thể đưa ra những quan sát hợp lý, nhưng lại thiếu khả năng khai thác các lỗi thực sự. Điều này minh chứng rằng một zkVM quá phức tạp đối với cách tiếp cận naive LLM với ngữ cảnh hạn chế.

Để giải quyết vấn đề này, zkao được thiết kế không chỉ để quét lỗi mà còn để hiểu sâu về các module, các giả định toán học và các bất biến (invariants) mà hệ thống dựa vào. Sau hơn 9,5 giờ quét, zkao đã xác định được một lỗ hổng critical trong thư viện openvm-pairing.

Phân tích lỗ hổng: Lỗi thiếu kiểm tra subfield

Lỗ hổng này liên quan đến các phép toán pairing, vốn là trái tim của các giao thức như Groth16 hay PLONK với KZG. Về cơ bản, một pairing là một ánh xạ song tuyến tính e: G1 x G2 -> GT. Trong các hệ thống ZK, verifier thường kiểm tra xem tích của các pairing có bằng 1 hay không.

Cơ chế tối ưu hóa và rủi ro

Để tối ưu hóa, OpenVM sử dụng kỹ thuật residue-witness từ nghiên cứu của Novakovic và Eagen. Thay vì thực hiện phép lũy thừa cuối cùng (final exponentiation) đắt đỏ, prover cung cấp các giá trị bổ sung và circuit thực hiện một phương trình kiểm tra rẻ hơn. Tuy nhiên, để đảm bảo tính an toàn, cần có một ràng buộc quan trọng đối với scaling factor.

Lưu ý: Lỗ hổng xuất phát từ việc thiếu kiểm tra proper subfield đối với scaling factor. Điều này cho phép kẻ tấn công giả mạo kết quả của phép kiểm tra pairing, từ đó phá vỡ tính soundness của toàn bộ hệ thống.

Bảng so sánh mức độ nghiêm trọng

Việc phát hiện lỗi này cho thấy tầm quan trọng của việc hiểu rõ các thư viện mật mã. Nếu bạn đang làm việc với các hệ thống tương tự, hãy đảm bảo rằng mọi ràng buộc toán học đều được kiểm tra chặt chẽ trong circuit.

Đánh giá & Lời khuyên Thực tiễn

Từ góc nhìn của một kỹ sư, việc sử dụng AI để audit các hệ thống ZK là một bước tiến lớn. Tuy nhiên, AI không thể thay thế hoàn toàn con người. Các công cụ như zkao hoạt động tốt nhất khi được cung cấp các "kỹ năng" chuyên gia (expert-maintained skills) thay vì chỉ là các prompt chung chung.

• Ưu điểm: Khả năng xử lý ngữ cảnh lớn và hiểu các mối quan hệ phức tạp giữa các module mà con người dễ bỏ sót.
• Nhược điểm: Vẫn cần sự kiểm chứng của con người (human-in-the-loop) để xác nhận tính khai thác được (exploitability).
• Lời khuyên: Khi triển khai các hệ thống ZK, hãy luôn thực hiện audit độc lập cho các thư viện guest. Đừng bao giờ tin tưởng tuyệt đối vào các tối ưu hóa toán học nếu không có bằng chứng kiểm tra ràng buộc (constraint check) đầy đủ. Việc này cũng quan trọng như cách bạn tối ưu hóa quy trình phát triển phần mềm để tránh các lỗi logic không đáng có.

Câu hỏi thường gặp (FAQ)

Lỗ hổng này có ảnh hưởng đến toàn bộ hệ thống OpenVM không?

Không, lỗ hổng này chỉ ảnh hưởng đến các dự án sử dụng thư viện openvm-pairing bị lỗi. Các phần khác của zkVM vẫn hoạt động bình thường.

Làm sao để biết hệ thống của tôi có bị ảnh hưởng?

Nếu bạn đang sử dụng OpenVM phiên bản cũ hơn 1.6.0 và có sử dụng thư viện openvm-pairing, bạn cần nâng cấp ngay lập tức để vá lỗi CVE-2026-46669.

AI có thể thay thế hoàn toàn chuyên gia bảo mật không?

Hiện tại là không. AI đóng vai trò là trợ lý đắc lực giúp tăng tốc độ tìm kiếm lỗi, nhưng việc đánh giá tác động và xử lý disclosure vẫn cần sự can thiệp của con người.

Kết luận

Sự kiện này là một minh chứng rõ ràng cho sức mạnh của việc kết hợp giữa AI và mật mã học. Việc phát hiện kịp thời lỗ hổng trong OpenVM không chỉ bảo vệ người dùng mà còn đặt ra tiêu chuẩn mới cho quy trình audit trong tương lai. Hãy tiếp tục theo dõi hi_dev để cập nhật những kiến thức kỹ thuật chuyên sâu nhất về bảo mật và phát triển phần mềm. Nếu bạn có kinh nghiệm về ZK, hãy để lại bình luận thảo luận cùng cộng đồng!