Giới thiệu R0VM 2.0. zkVM được xây dựng cho kỷ nguyên thời gian thực.
7/ Tốc độ không có ý nghĩa gì nếu không có bảo mật. Với @veridiseInc, chúng tôi đang biến việc xác minh chính thức trở thành một phần cốt lõi của R0VM. Cho đến nay, chúng tôi đã chứng minh được 122 trong số 123 thành phần của chức năng cốt lõi RISC-V trong mạch v2 của chúng tôi là có tính xác định.
RISC Zero
RISC Zero22 thg 3, 2025
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.
437,14K