With verifiable computation, you can be cryptographically certain that the output of a computation is correct, regardless of who computes it. And you can verify results in a fraction of the time required to compute them.
This opens up opportunities to prove to anyone that critical proccesses, including finacial transactions, are performed correctly, and in a compliant way, while still maintinaing privacy, and enables technology companies to address trust gaps in software supply chains.
Recent News
.png%3Ftable%3Dblock%26cache%3Dv2%26id%3D1f8051eb-c1b5-8085-ae89-c6cad2b258bf&w=1080&q=75)
Making Real-Time Proving Accessible
RISC Zero is closing in on sub-12 second, real-time Ethereum proofs with a fully open-source stack you can run on a ~$120 K GPU cluster.
.png%3Ftable%3Dblock%26cache%3Dv2%26id%3D1d1051eb-c1b5-809f-84d4-d3dc1f9c2dd7&w=1080&q=75)
Introducing R0VM 2.0
Introducing R0VM 2.0, our fastest, most secure zkVM yet.
RISC Zero’s Path to The First Formally Verified RISC-V zkVM
RISC Zero is on a mission to build the first formally verified RISC-V zkVM, a system that’s both incredibly fast and provably secure. In collaboration with Veridise and powered by Picus, we’re eliminating the most common class of ZK vulnerabilities through continuous, automated verification.