Skip to content
forked from taikoxyz/raiko

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

License

Notifications You must be signed in to change notification settings

CeciliaZ030/zeth

 
 

Repository files navigation

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 risczero tool and the risc0 toolchain:
$ 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:

About

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 100.0%