Mereka menemukan bug fatal lainnya di ZKVM yang akan menghancurkan setiap pengguna dari setiap aplikasi di setiap platform. Pujian untuk R0 dan VeridiseInc! Juga TIL Saya belajar tentang mekanisme penghentian darurat "estop" - luar biasa!
RISC Zero
RISC Zero5 Agu, 06.55
Saat kami terus memperluas cakupan verifikasi formal pada sirkuit kami, kami telah mengidentifikasi dan memperbaiki bug lain. Serangga ini diidentifikasi oleh Picus dari @VeridiseInc. Masalah ini telah ditambal dan semua mitra telah dimigrasikan ke 2.2.0 atau yang lebih baru dari risc0-zkVM. RISC Zero tetap berkomitmen untuk memberikan tingkat transparansi, keamanan proaktif, dan integritas tertinggi.
3,85K