Terwijl we de formele verificatie van onze circuits blijven uitbreiden, hebben we een andere bug geïdentificeerd en verholpen. Deze bug werd geïdentificeerd door Picus van @VeridiseInc. Het probleem is gepatcht en alle partners zijn overgezet naar 2.2.0 of later van risc0-zkVM. RISC Zero blijft zich inzetten voor het bieden van het hoogste niveau van transparantie, proactieve beveiliging en integriteit.