Pinned
RISC Zero
@RiscZero
Building high-performance ZK systems to power the next era of computing.
- 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
- Exciting to see @megaeth leverage OP Kailua to replace the standard interactive fraud games with ZK Fraud proofs.
