Muito bem! A solidez do zkVM é um tópico muito importante. A transparência sobre isso é o caminho a percorrer.
RISC Zero
RISC Zero5 de ago., 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,8K