Während wir weiterhin den Umfang der formalen Verifikation unserer Schaltungen erweitern, haben wir einen weiteren Fehler identifiziert und behoben. Dieser Fehler wurde von Picus von @VeridiseInc identifiziert. Das Problem wurde behoben und alle Partner wurden auf 2.2.0 oder höher von risc0-zkVM migriert. RISC Zero bleibt verpflichtet, das höchste Maß an Transparenz, proaktiver Sicherheit und Integrität zu bieten.