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.