RISC Zero đang xây dựng zkVM RISC-V đầu tiên được xác minh chính thức. Sử dụng công cụ Picus của @VeridiseInc, chúng tôi đang chứng minh tính xác định trong các mạch của mình bằng toán học. Mục tiêu của chúng tôi: Một zkVM vừa cực kỳ nhanh vừa được chứng minh là an toàn, để các nhà phát triển không bao giờ phải thỏa hiệp.