RISC Zero & Ligero are teaming up to build the future of private, verifiable compute. This enables applications of all sorts to prove compliance while maintaining privacy.
1/ Ligero is partnering with @RiscZero to integrate our client-side ZK proving system with RISC Zero’s verifiable compute stack.
Together, we’re combining privacy, scalability, and verifiability in one unified framework.
RISC Zero Security Disclosure
A critical security vulnerability was recently discovered in the risc0-zkvm-platform crate that would allow a malicious host to write to an arbitrary memory location in the guest.
Now that the vulnerability is patched and partners have had time to
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
