Dobra robota! Solidność zkVM to bardzo ważny temat. Przejrzystość w tej kwestii to właściwa droga.
RISC Zero
RISC Zero5 sie, 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