Ethereum Examples
The risc0-ethereum repo is where you can find blockchain examples, verifier contracts and Steel.
While all of the zkVM examples can be run on Bonsai by configuring Bonsai as your remote prover, those examples do not interact with or are intended to interact with Ethereum or any other blockchain. The references below are examples of how Bonsai and the zkVM can be integrated with Ethereum.
Foundry Template
The RISC Zero Foundry Template provides a minimal application that can act as a template for developing your application.
Steel
Steel is a library for view call proofs, which enables users to easily integrate claims about Ethereum state into zkVM applications.
Zeth
Zeth produces ZK validity proofs for Ethereum Virtual Machine blocks (EVM). This is accomplished by running revm, a Rust implementation of the EVM in the zkVM. The end result is an open-source zkEVM with high code reuse and minute, not hour, proving times on Bonsai. For more info check out Announcing Zeth: The first Type Zero zkEVM.
DAO Governance Example
This example app uses Bonsai as an Ethereum coprocessor. The protocol, based on the OpenZeppelin Governor smart contract standard, batches signature verifications off-chain for a DAO governance vote. The end result is that in ~160 lines of Rust, a gas savings of ~77% is achieved with significant room for optimizations.