RISC Zero Blog
Learn about RISC Zero's technology, research, and latest developments.
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)
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.
Steel 2.0 is a ZK-coprocessor that lets EVM developers execute past the 30M gas limit. Smart contracts can now verify historical state, aggregate data from multiple blocks, and use onchain events as verified inputs without oracles. This is the future of EVM apps.
.png%3Ftable%3Dblock%26cache%3Dv2%26id%3D1d1051eb-c1b5-809f-84d4-d3dc1f9c2dd7&w=1200&q=75)
Introducing R0VM 2.0, our fastest, most secure zkVM yet.
.png%3Ftable%3Dblock%26cache%3Dv2%26id%3D1c1051eb-c1b5-80af-8496-f7ab4fc5efdc&w=1200&q=75)
OP Kailua makes it easy for OP chains to integrate ZK fraud or validity proofs, unlocking faster finality, stronger security, and Stage 1 decentralization.
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’s zkVM 1.2 introduced Appliction-defined precompiles, enabling developers to plug precompiles directly into their applications without system-wide updates.
.png%3Ftable%3Dblock%26cache%3Dv2%26id%3D143051eb-c1b5-80c9-96a2-c1a25aa9f777&w=1200&q=75)
Learn how Boundless uses zero-knowledge proofs to scale EigenLayer's slashing mechanism, reducing gas costs by 99.9% while maintaining decentralized security.
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.
Boundless is the first universal ZK protocol bringing abundant compute to all blockchains. Learn more about the vision and our road to mainnet.
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.
Kailua combines the best of optimistic and ZK rollups. Instead of proving every transaction (which costs millions) or waiting 7 days for finality, Kailua uses ZK proofs only during disputes.
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.
.png%3Ftable%3Dblock%26cache%3Dv2%26id%3D101051eb-c1b5-80a9-87c0-cbdd7caef23a&w=1200&q=75)
Introducing Boundless: The Verifiable Compute Layer. Boundless shatters traditional blockchain limits, enabling unlimited off-chain execution with on-chain security. Using zero-knowledge proofs, we empower developers to build rich dApps rivaling web2 experiences while maintaining blockchain's security guarantees.
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.
RISC Zero and Celestia’s Blobstream Zero bridge will enable ZK proof and verification of Celestia’s data on any chain, unlocking new possibilities for modular applications. Open-source and Rust-based, it’s designed for easy upgrades and extensive modularity.
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?
RISC Zero's zkVM 1.0 outperforms competitors in efficiency, cost, and speed, with continuous improvements ensuring it remains the leader in zkVM performance.
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.
Citrea uses RISC Zero's technology to create a zkRollup that addresses Bitcoin's challenges of high fees, slow transaction times, and limited programmability, enhancing its scalability and security for diverse onchain applications.
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.
Discover how RISC Zero excels in privacy-preserving computation, passing the rigorous Rekt Test and showcasing top-tier security practices that redefine industry standards.
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.
Experience the future of Ethereum development with Steel, leveraging the RISC Zero zkVM to execute Solidity smart contracts, access historical state, and perform off-chain computations securely and efficiently, all while reducing gas fees and eliminating block size limitations.
Explore the innovative projects and winning solutions from the ETHGlobal ScalingETH async hackathon, where RISC Zero’s $10k bounty distribution celebrated advancements in zero-knowledge technology and decentralized applications, pushing the boundaries of what’s possible in the zk ecosystem.
Learn how our zkVM and zero-knowledge proofs are transforming Bitcoin’s scalability, allowing developers to build powerful, verifiable applications in Rust, and driving innovations with projects like Citrea, BOB, and Syscoin’s Rollux.
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.
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.
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.
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.
RISC Zero awarded over $20K in bounties and showcased groundbreaking zkVM technology at ETHDenver 2024 through workshops, talks, and innovative hackathon projects.
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.
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.
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.
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.
Experience seamless Ethereum transactions using your Google account with Bonsai Pay, leveraging RISC Zero’s zkVM for secure, user-friendly blockchain integration.
Discover how RISC Zero’s Zeth and zero-knowledge proofs are revolutionizing Ethereum’s scalability and security, making the network more decentralized and efficient than ever before.
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.
RISC Zero integrates zKp into the OP Stack, enhancing security and scalability for Optimism while maintaining compatibility with existing frameworks.
Leverage our Bonsai zk Coprocessor to drastically cut gas costs for DAOs, enabling fully verifiable off-chain governance with Ethereum’s security.
Discover how Bonsai ZK coprocessors can drastically reduce gas fees and scale your on-chain logic by securely verifying off-chain computation.
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.
Experience Zeth, an open-source ZK block prover for Ethereum built on RISC Zero’s zkVM, enabling verifiable Ethereum block construction in minutes with full protocol compatibility.
Verified our first proof on Ethereum’s Sepolia Testnet, enabling complex app logic off-chain with minimal gas costs.
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.
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.
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.
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.
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.
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++.