Gut gemacht! Die Solidität von zkVM ist ein sehr wichtiges Thema. Transparenz darüber ist der richtige Weg.
RISC Zero
RISC Zero5. Aug., 06:55
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.
1,52K