https://github.com/risc0/risc0-ethereum

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
https://github.com/risc0/risc0-ethereum

cryptography ethereum foundry rust solidity web3 zero-knowledge

Last synced: 5 days ago
JSON representation

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

• Host: GitHub
• URL: https://github.com/risc0/risc0-ethereum
• Owner: risc0
• License: apache-2.0
• Created: 2024-02-05T21:39:54.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2024-11-29T03:42:20.000Z (15 days ago)
• Last Synced: 2024-12-01T16:04:17.282Z (12 days ago)
• Topics: cryptography, ethereum, foundry, rust, solidity, web3, zero-knowledge
• Language: Rust
• Homepage: https://risczero.com
• Size: 4.02 MB
• Stars: 103
• Watchers: 16
• Forks: 23
• Open Issues: 33
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Codeowners: .github/CODEOWNERS
  • Security: SECURITY.md

Awesome Lists containing this project

• awesome-risc0 - risc0-ethereum - Ethereum View Calls in RISC Zero](https://github.com/risc0/risc0-ethereum/tree/main/steel). (Core)
• awesome-risc0 - risc0-ethereum - Ethereum View Calls in RISC Zero](https://github.com/risc0/risc0-ethereum/tree/main/steel). (Core)

README

        
> [!IMPORTANT]

> `main` is the development branch.

> Application developers should use the [latest release](https://github.com/risc0/risc0-ethereum/releases) instead.

# RISC Zero Ethereum

[RISC Zero] is a zero-knowledge verifiable general computing platform, with [Ethereum] integration.

This repository contains [Solidity verifier contracts][contracts], [Steel] EVM view call library, and supporting code.

If you are looking to get started using RISC Zero in the application on Ethereum, the best place to look is the [Foundry template][template].

You can also find the documentation for RISC Zero, including guides for [writing zkVM programs][risc0-quickstart], [using the Bonsai prover][bonsai-quickstart], and more at [dev.risczero.com].

## Contracts

RISC Zero's Ethereum contracts, including the on-chain verifier for all RISC Zero Groth16 proofs, can be found in the [contracts] directory.

## Steel

A powerful library for querying and generating verifiable proofs over Ethereum or other EVM-based blockchain state. It leverages [alloy], giving developers a familiar and high quality interface for querying Ethereum via view calls. By moving execution off-chain, Steel significantly reduces gas costs and enables novel Ethereum use cases without compromising security.

You can install [Steel] with `cargo add risc0-steel`, check out the examples in the [examples directory](./examples/erc20-counter).

[RISC Zero]: https://github.com/risc0/risc0

[Ethereum]: https://ethereum.org/

[contracts]: ./contracts

[Steel]: ./steel

[template]: https://github.com/risc0/bonsai-foundry-template

[dev.risczero.com]: https://dev.risczero.com

[risc0-quickstart]: https://dev.risczero.com/api/zkvm/quickstart

[bonsai-quickstart]: https://dev.risczero.com/bonsai

[alloy]: https://github.com/alloy-rs