Có khó không? Có Các lỗi âm thanh của chúng tôi có tàn phá không? Có Chúng ta có gần hơn bạn nghĩ không? Có Từ Ngày 1, đúng vào ngày chúng tôi phát hành hệ thống chứng minh của mình, @RiscZero đã bắt đầu quá trình dài xác minh chính thức zkVM của chúng tôi. Gần đây, chúng tôi đã ra mắt "Picus" chứng minh toán học tính quyết định trong các mạch của chúng tôi trong quá trình CI! Đây là nguyên nhân của 96% lỗi âm thanh trong các hệ thống ZK (Theo ZK-Security). Nỗ lực này cùng với một số điều khác mà chúng tôi đang làm việc, cho thấy chúng tôi có thể đạt được một RISC-V zkVM có thể chứng minh âm thanh nhanh hơn bạn nghĩ.