RISC Zero was founded to address one of the most pressing challenges facing the industry: the growing centralization and consolidation of both the applications we use and the underlying infrastructure that powers and manages them.
By introducing general-purpose computing to the zero-knowledge ecosystem, RISC Zero empowers users to trust programs executed anywhere while enabling developers to leverage familiar tools and workflows seamlessly.
Past audits with RISC Zero
| Protocol | Resource | Start Date | Language(s) | Tag(s) |
|---|---|---|---|---|
| RISC Zero: ZKC Staking | Report | Aug 2025 | Solidity | Smart Contracts, Solidity, Staking, ERC721, Token / ERC20 |
| RISC Zero: Kailua Protocol | Report | May 2025 | Rust | zkVM Application, Risc0, Rust, OP-Stack Dispute Game, Kona, Alloy |
| RISC Zero: Kailua Protocol | Report | May 2025 | Rust, Solidity | Smart Contracts, zkVM Application, Solidity, Risc0, Rust, OP-Stack Dispute Game, Optimism, Alloy, risc0 |
| RiscZero: steel | Report | Apr 2025 | Rust | Relayer/Off-Chain Backend Service, zkVM Application, Risc0, Rust, Library/Infrastructure, Alloy |
| RiscZero: Boundless | Report | Mar 2025 | Solidity, Rust | Smart Contracts, zkVM Applications, Risc0, Solidity, Rust, Library/Infrastructure |
| RISC Zero: Keccak precompile | Report | Jan 2025 | C++,Rust | ZK Circuits, Risc0, zkVM Precompile |
| RISC Zero: Kailua | Report | Jan 2025 | Rust,Solidity | zkVM Application, Risc0, FaultProofs |
| RISC Zero: Bigint2 Precompile | Report | Oct 2024 | ZK Circuits, Library/Infrastructure, zkVM | |
| RiscZero: Steel | Report | Sep 2024 | Rust | Relayer/Off-Chain Backend Service, zkVM Application, Risc0, Library/Infrastructure |
| RiscZero: Blobstream Zero | Report | Sep 2024 | Rust,Solidity | Relayer/Off-Chain Backend Service, Smart Contracts, zkVM Application, Risc0 |
| RiscZero: risc0-solana | Report | Sep 2024 | Rust | Smart Contracts, Risc0, Library/Infrastructure |
| RISC Zero: RISC Zero zkVM | Report | Jul 2024 | C++,Circom,Rust | ZK Circuits, Zirgen, Library/Infrastructure, Recursive Verifier, zkVM |