RISC Zero Blog
Learn about RISC Zero's technology, research, and latest developments.
.png%3Ftable%3Dblock%26cache%3Dv2%26id%3D1f8051eb-c1b5-8085-ae89-c6cad2b258bf&w=1200&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=1200&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.
RISC Zero zkVM 1.2: Introducing Application-defined precompiles
RISC Zero’s zkVM 1.2 introduced Appliction-defined precompiles, enabling developers to plug precompiles directly into their applications without system-wide updates.
Designing high-performance zkVMs
Explore the proof systems behind RISC Zero’s zkVM, including innovations like 0STARK and continuations. Learn how high-level languages like Rust are shaping zkVM development, with a focus on performance improvements through accelerators and cost reductions. The blog also covers emerging technologies like JOLT and Circle STARKs, highlighting RISC Zero’s focus on engineering solutions for scalability and efficiency.
zkVM Performance Upgrades Roadmap - Q3 2024
Over the last quarter, we improved zkVM 1.0's performance with a 10x cost reduction, industry-leading benchmarks, and key advancements in GPU proving and accelerator circuits, setting ambitious goals for continued innovation and efficiency in Q3 2024 and beyond. Is this conversation helpful so far?
zkVM 1.0: Industry-Leading Performance Benchmarks
RISC Zero's zkVM 1.0 outperforms competitors in efficiency, cost, and speed, with continuous improvements ensuring it remains the leader in zkVM performance.
zkVM 1.0 is Live
Today, RISC Zero launches zkVM 1.0, the world's first and most performant general-purpose zkVM, offering significant cost-efficiency, performance, stable APIs, enhanced expressivity, boundless compute, interoperability, and advanced zero-knowledge features for scalable and innovative blockchain applications.
RISC Zero Takes The Rekt Test
Discover how RISC Zero excels in privacy-preserving computation, passing the rigorous Rekt Test and showcasing top-tier security practices that redefine industry standards.
Verifying RISC Zero’s Trusted Setup Ceremony
Learn about the rigorous process behind RISC Zero’s trusted setup ceremony, ensuring the integrity and security of our zkVM through comprehensive community participation and detailed verification steps.
Ceremony contribution public instructions
Dive into the details of RISC Zero’s successful trusted setup ceremony. Our comprehensive guide highlights the process contributors followed to secure our Groth16 STARK to SNARK circuit, showcasing the collaborative effort that fortified our mainnet verifier contract.
The 4 Features of a zkVM: How to Choose your ZK Toolkit
Learn the four essential features of a zkVM and how RISC Zero makes ZK development accessible, efficient, and ready for production. Choose the right toolkit for your ZK project.
zkVM Performance Upgrades Roadmap - Q1, Q2 2024
Discover the impactful performance optimizations achieved for RISC Zero’s zkVM in early 2024. These upgrades, including 7-10x improvements through global enhancements and specialized accelerator circuits, have significantly boosted proving performance and supported advanced cryptographic operations.
Jeremy Bruestle Steps Into the Role of CEO
RISC Zero announces Jeremy Bruestle as its new CEO. Jeremy, a co-founder and former Chief Cryptographer, brings extensive expertise to his new role, aiming to lead the company through its next phase of growth and technological innovation in the zero-knowledge space.
When the Doom Music Kicks In
Experience DOOM in ZK: See how RISC Zero’s zkVM runs the iconic game, proving our tech’s power and versatility. A fun showcase of zero-knowledge proof potential.
Proof Composition: Unlocking Recursion and Modularity for ZK Developers
Explore how RISC Zero’s proof composition feature allows developers to create complex, scalable applications by verifying proofs within zkVM programs, revolutionizing zero-knowledge proof capabilities and privacy solutions.
Doubling Down on Open Source at RISC Zero
We’re open-sourcing our cutting-edge zkVM technologies, empowering developers with High-Speed Recursion, Proof Composition, and STARK to SNARK Wrappers. Build faster, scale further, and innovate with integrity.
Bridging Web2 and Web3 with Bonsai Pay: A Bonsai-powered Demo Application
Experience seamless Ethereum transactions using your Google account with Bonsai Pay, leveraging RISC Zero’s zkVM for secure, user-friendly blockchain integration.
Rust but Verify: Provable Machine Learning with RISC Zero
Discover how RISC Zero’s zkVM leverages the Rust-based SmartCore machine learning crate to enable secure, privacy-preserving ML model inference and training for DeFi applications.
RISC Zero Raises $40 Million Series A Round
RISC Zero secures $40 million in Series A funding, led by Blockchain Capital, to advance its zero-knowledge virtual machine technology and bring its Bonsai computing platform to market. This funding will help developers build trustless, scalable applications with ease.
Using Continuations to Prove Any EVM Transaction
Our zkVM now supports continuations, enabling the proof of any EVM transaction by splitting large programs into smaller, independently computable segments, ensuring scalability and efficiency.
Where's Waldo on RISC Zero
Prove you know Waldo’s location without revealing it, using RISC Zero’s zkVM. A playful yet powerful example of zero-knowledge proof capabilities in action.
Introducing RISC Zero
RISC Zero launches the first fully open-source general-purpose ZK computing platform, enabling developers to build zero-knowledge proofs using familiar languages like Rust and C++.