Trong khi zkVM (máy ảo không biết) cho phép các ứng dụng ZK bỏ qua việc kiểm toán các mạch tùy chỉnh của họ thông qua một môi trường chứng minh tiêu chuẩn hóa, chính zkVM yêu cầu kiểm toán nghiêm ngặt để đảm bảo tính hợp lệ và an toàn hoàn chỉnh. Trong Ziren từ @ProjectZKM, cuộc kiểm toán với @VeridiseInc đã giải quyết những rủi ro này, mang lại an ninh đã được chứng minh. Các yếu tố chính bao gồm: > Tính hợp lệ của ràng buộc: Xác minh chính thức với các công cụ như Picus của Veridise để đảm bảo tính xác định và thực thi chính xác mô hình thực thi MIPS, đồng bộ hóa các phép toán với các chứng minh và giải quyết các mơ hồ trong bộ nhớ, syscalls và việc tạo dấu vết. > Các bài kiểm tra Fuzzing: Kiểm tra fuzzing và stress toàn diện các đường thực thi để xác nhận tính ổn định trước các chương trình thù địch hoặc bị lỗi. Điều này đại diện cho một cột mốc quan trọng, và chúng tôi vẫn cam kết đạt được an ninh có thể chứng minh cho toàn bộ zkVM trong tương lai.