Well done! Soundness of zkVM is a big important topic. Transparency about it is the way to go.
RISC Zero
RISC Zero5.8. klo 06.55
As we continue to extend the formal verification coverage on our circuits, we have identified and fixed another bug. This bug was identified by Picus from @VeridiseInc. The issue has been patched and all partners have been migrated over to 2.2.0 or later of risc0-zkVM. RISC Zero remains committed to providing the highest level of transparency, proactive security, and integrity.
1,41K