OpenViSTAI · Agents · Blockchain · Crypto
Submit a project
Menu
ZK & Privacy

RISC Zero Ethereum

RISC Zero Ethereum is an open-source Ethereum and EVM integration that provides Solidity verifier contracts and supporting code for checking RISC Zero zero-knowledge verifiable-computing proofs on-chain.

Independent OpenViST project profile, based on linked sources.

RISC Zero Ethereum — OpenViST project profile in ZK & Privacy.
OpenViST project illustration. See the linked sources for product details.
Understand the project

Practical overview

When it fits

Use it when an Ethereum or EVM application needs Solidity contracts for verifying RISC Zero computation proofs, including Groth16 proofs, on-chain.

Who it is for

  • Ethereum application developers
  • Solidity developers building EVM applications
  • Foundry-based project teams
  • Developers who need on-chain verification for off-chain computation

Documented uses

  • Verify RISC Zero Groth16 proofs on-chain.
  • Integrate RISC Zero computation verification into Ethereum applications.
  • Add proof-checking contracts to EVM applications.
  • Support an off-chain computation pattern with on-chain security checks.
Before you choose

Requirements & limits

The repository is public and licensed under Apache-2.0. Its README identifies main as the development branch and recommends using the latest release for application development.

  • The repository includes an on-chain verifier for all RISC Zero Groth16 proofs.
  • The integration supports Ethereum and EVM chains rather than only a general-purpose local zkVM workflow.
  • The implementation combines Solidity verifier contracts with supporting Rust code.
  • The documented Foundry template is the recommended starting point for an Ethereum application.
  • Steel is referenced as a separate repository, so its implementation is not contained entirely here.

Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.

COMPARE OPTIONS

Compare options for Zero-knowledge verification

These projects document a common task and share a project role. This is a source-based comparison, not an execution benchmark or a guarantee of interchangeability.

ProjectDocumented purposePlatformAccess and requirements
RISC Zero EthereumVerify RISC Zero Groth16 proofs on-chain.CLI, Self-hosted, ServerThe repository is public and licensed under Apache-2.0. Its README identifies main as the development branch and recommends using the latest release for application development.
ProvenZKRepresent circuit gates and vectors in LeanCLI, Linux, macOS, WindowsThe repository is publicly accessible, open source and licensed under Apache-2.0. It is presented as a Lean 4 library for projects using the lake tool.
PicusDetect under-constrained signals in a zero-knowledge circuitCLIThe repository is public and released under the MIT license. Installation and local builds are documented through Cargo, with Docker also provided as a build and run path. The default native solver does not require an external solver.
Evidence and transparency

Sources & review

Official repository ↗
Source record details
Source availability
Active
Sources checked
3 October 2026
Original website title
risc0/risc0-ethereum · Official homepage title · retained in its source language
How we review sourcesSuggest a correction