Sie haben einen weiteren fatalen Fehler in einem ZKVM gefunden, der buchstäblich jeden Benutzer jeder App auf jeder Plattform zerstört hätte. Kudos an R0 und VeridiseInc! Außerdem habe ich heute gelernt, was der "estop"-Notstopp-Mechanismus ist – großartig!
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.
3,83K