RISC Zero Blog Developer
Learn about RISC Zero's technology, research, and latest developments.
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.
Why Kailua Unlocks Fast Finality
We announced Kailua, a hybrid dispute game for optimistic rollups. Our announcement of potential 1-hour finality sparked both excitement and questions from the community. Let's dive into what this means and address the key questions.
Kailua: How it Works
Learn how Kailua brings the best of Optimistic and ZK rollups with a third “hybrid” option. With its first implementation backed by Optimism’s Kona rollup state transition engine.
Introducing Steel 1.0
Steel is a production-ready EVM smart contract execution prover designed to bring boundless runtime to all EVM apps. Using execution proofs, Steel enables EVM apps to run completely offchain, while preserving onchain security.
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.
Zeth Brings Validity Proofs to Optimism’s OP Stack
Explore the seamless integration of Zeth’s zkVM technology with Optimism’s infrastructure, enabling reliable block building and dispute resolution, revolutionizing the Optimistic Rollup and Superchain ecosystems.
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.
Decentralized Identity Verification with zkKYC and Soulbound NFTs
Revolutionize KYC with zkKYC: Prove your identity privately and securely with zero-knowledge proofs and soulbound NFTs. The future of privacy-focused verification starts here.
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.
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.
The Odd Couple: ZK and Optimistic Rollups on a Scalability Date
AltLayer and RISC Zero team up to revolutionize optimistic rollups by integrating on-demand ZK fraud proofs, combining the best of ZK and fault proof technologies for enhanced scalability and security.
Scaling Onchain DAO Governance with Bonsai zk Coprocessor
Leverage our Bonsai zk Coprocessor to drastically cut gas costs for DAOs, enabling fully verifiable off-chain governance with Ethereum’s security.
A Guide to ZK Coprocessors for Scalability
Discover how Bonsai ZK coprocessors can drastically reduce gas fees and scale your on-chain logic by securely verifying off-chain computation.
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.
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.
zkEVM vs zkVM: a Single Letter Can Make a Big Difference!
This post explores how a single letter can significantly change the context of virtual machines in blockchain technology. We'll cover EVM, zkEVM, and zkVM. While zkEVMs enable off-chain execution of Solidity applications, RISC Zero's zkVM and the forthcoming Bonsai network offer the ability to create scalable, chain-agnostic code in Rust.
Revolutionizing DeFi Security: ZK Proof of Exploit on RISC Zero
Discover zkPoEX, the ETHDenver-winning project using RISC Zero’s zkVM to secure DeFi through zero-knowledge proofs. Enhance collaboration and security in DeFi today.
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.