Apakah itu sulit? Ya Bug kesehatan kita menghancurkan? Ya Apakah kita lebih dekat dari yang Anda kira? Ya Dari Hari 1, ya pada hari yang sama kami merilis sistem bukti kami, @RiscZero memulai proses panjang untuk memverifikasi zkVM kami secara resmi. Baru-baru ini kami meluncurkan "Picus" yang secara matematis membuktikan determinisme di sirkuit kami selama CI! Ini adalah penyebab 96% bug kesehatan dalam sistem ZK (Per ZK-Security). Upaya ini ditambah beberapa lagi yang sedang kami kerjakan, menunjukkan bahwa kami dapat mencapai RISC-V zkVM yang terbukti lebih cepat dari yang Anda pikirkan.