RISC Zero logo

RISC Zero

RISC Zero develops infrastructure and tooling for verifiable computation. Its products enable developers to produce cryptographic proofs that software computations were executed correctly while preserving privacy.
Distributed

RISC Zero ZkVM


Project Links


Description

RISC Zero zkVM is a zero-knowledge virtual machine that enables developers to write applications with verifiable computation in Rust and other languages.

Category: Developer Tooling

Bonsai


Project Links


Description

Bonsai is a decentralized proving engine that allows developers to integrate ZK proofs into applications.

Category: Developer Tooling

Steel


Project Links


Description

Steel enables developers to run Solidity contracts in RISC Zero's zkVM. It uses off-chain execution with on-chain verification to reduce gas costs and enhance smart contract capabilities.

Category: Developer Tooling