När vi fortsätter att utöka den formella verifieringstäckningen på våra kretsar har vi identifierat och åtgärdat ytterligare en bugg. Denna bugg identifierades av Picus från @VeridiseInc. Problemet har korrigerats och alla partner har migrerats över till 2.2.0 eller senare av risc0-zkVM. RISC Zero strävar efter att tillhandahålla högsta möjliga nivå av transparens, proaktiv säkerhet och integritet.