Mentre continuiamo ad estendere la copertura della verifica formale sui nostri circuiti, abbiamo identificato e risolto un altro bug. Questo bug è stato identificato da Picus di @VeridiseInc. Il problema è stato corretto e tutti i partner sono stati migrati alla versione 2.2.0 o successiva di risc0-zkVM. RISC Zero rimane impegnato a fornire il massimo livello di trasparenza, sicurezza proattiva e integrità.