zeth
NEW: Zeth now supports Optimism blocks! Just pass in --network=optimism!
Zeth is an open-source ZK block prover for Ethereum built on the RISC Zero zkVM.
Zeth makes it possible to prove that a given Ethereum block is valid (i.e., is the result of applying the given list of transactions to the parent block) without relying on the validator or sync committees. This is because Zeth does all the work needed to construct a new block from within the zkVM, including:
- Verifying transaction signatures.
- Verifying account & storage state against the parent block’s state root.
- Applying transactions.
- Paying the block reward.
- Updating the state root.
- Etc.
After constructing the new block, Zeth calculates and outputs the block hash. By running this process within the zkVM, we obtain a ZK proof that the new block is valid.
Status
Zeth is experimental and may still contain bugs.
Usage
Building
- Install the
cargo risczerotool and therisc0toolchain:
$ cargo install cargo-risczero
$ cargo risczero install
- Clone the repository and build with
cargo:
$ cargo build --release
Running
Zeth currently has several modes of execution:
Usage: zeth [OPTIONS] --block-no=<BLOCK_NO>
Options:
-r, --rpc-url=<RPC_URL>
URL of the chain RPC node.
-c, --cache[=<CACHE>]
Use a local directory as a cache for RPC calls.
Accepts a custom directory.
[default: host/testdata]
-n, --network=<NETWORK>
Network name (ethereum/optimism).
[default: ethereum]
-b, --block-no=<BLOCK_NO>
Block number to validate.
-l, --local-exec[=<LOCAL_EXEC>]
Runs the verification inside the zkvm executor locally.
Accepts a custom maximum segment cycle count as a power of 2. [default: 20]
-s, --submit-to-bonsai
Whether to submit the proving workload to Bonsai.
-v, --verify-bonsai-receipt-uuid=<VERIFY_BONSAI_RECEIPT_UUID>
Bonsai Session UUID to use for receipt verification.
-p, --profile
Whether to profile the zkVM execution.
-h, --help
Print help.
-V, --version
Print version.
Zeth primarily requires an Ethereum RPC provider. Two complementary types of providers are supported:
- RPC provider. This fetches data from a Web2 RPC provider, such as Alchemy. Specified using the
--rpc-url=<RPC_URL>parameter. - Cached RPC provider. This fetches RPC data from a local file when possible, and falls back to a Web2 RPC provider when necessary. It amends the local file with results from the Web2 provider so that subsequent runs don't require additional Web2 RPC calls. Specified using the
--cache[=CACHE_DIRECTORY]parameter.
Quick test mode. This is the default. When run in this mode, Zeth does all the work needed to construct an Ethereum block and verifies the correctness of the result using the RPC provider. No proofs are generated. You can omit the rpc-url parameter if you do not change the block-no parameters from the below examples as the data is already cached.
Ethereum:
$ RUST_LOG=info ./target/release/zeth \
--rpc-url="https://eth-mainnet.g.alchemy.com/v2/YOUR_API_KEY" \
--cache \
--block-no=16424130
Optimism:
$ RUST_LOG=info ./target/release/zeth \
--network=optimism \
--rpc-url="https://opt-mainnet.g.alchemy.com/v2/YOUR_API_KEY" \
--cache \
--block-no=107728767
Local executor mode. To run in this mode, add the parameter --local-exec[=SEGMENT_LIMIT]. When run in this mode, Zeth does all the work needed to construct an Ethereum block from within the zkVM's non-proving emulator. Correctness of the result is checked using the RPC provider. This is useful for measuring the size of the computation (number of execution segments and cycles). No proofs are generated.
$ RUST_LOG=info ./target/release/zeth \
--rpc-url="https://eth-mainnet.g.alchemy.com/v2/YOUR_API_KEY" \
--cache \
--block-no=16424130 \
--local-exec
Bonsai proving mode. This mode generates a ZK proof. To run in this mode, add the parameter --submit-to-bonsai. When run in this mode, Zeth submits a proving task to the Bonsai proving service, which then constructs an Ethereum block entirely from within the zkVM. This mode checks the correctness of the result using the RPC provider. It also outputs the Bonsai session UUID, and polls Bonsai until the proof is complete.
To use this feature, first set the BONSAI_API_URL and BONSAI_API_KEY environment variables, then follow the instructions below for submitting jobs to Bonsai and verifying the proofs.
Need a Bonsai API key? Sign up today.
$ RUST_LOG=info ./target/release/zeth \
--rpc-url="https://eth-mainnet.g.alchemy.com/v2/YOUR_API_KEY" \
--cache \
--block-no=16424130 \
--submit-to-bonsai
Bonsai verify mode. This mode verifies the ZK proof. To run in this mode, add the parameter --verify-bonsai-receipt-uuid=BONSAI_SESSION_UUID, where BONSAI_SESSION_UUID is the session UUID returned by the --submit-to-bonsai mode. This mode checks the correctness of the result using the RPC provider.
$ RUST_LOG=info ./target/release/zeth \
--rpc-url="https://eth-mainnet.g.alchemy.com/v2/YOUR_API_KEY" \
--cache \
--block-no=16424130 \
--verify-bonsai-receipt-uuid=BONSAI_SESSION_UUID
Additional resources
Check out these resources and say hi on our Discord:
5 Nov 10, 2023
11 Jan 11, 2023
3 Nov 18, 2022
653 Jan 3, 2023
4 Nov 11, 2022
609 Dec 28, 2022
13 Dec 2, 2022
90 Mar 24, 2024
15 Oct 25, 2022
38 Nov 8, 2022
78 Dec 6, 2022
3 Oct 5, 2023
297 Jan 3, 2023
153 Dec 27, 2022
2.1k Jan 6, 2023
314 Nov 25, 2022
1.6k Dec 28, 2022
46 Sep 10, 2022
1.9k Dec 28, 2022