zkProver

Requirements

• Rust

Usage

generate zk proof

# For MacOS with Metal support
cargo run -r -p zkProver -F metal -- evm -r <RPC_URL> -b <BLOCK_NUMBER> -d <DEAL> <path>:<contractname>

# For Linux/Windows with CUDA support
cargo run -r -p zkProver -F cuda -- evm -r <RPC_URL> -b <BLOCK_NUMBER> -d <DEAL> <path>:<contractname>

# For CPU-only Linux/Windows/MacOS
# Not recommended, the generation might be very slow.
cargo run -r -p zkProver -- evm -r <RPC_URL> -b <BLOCK_NUMBER> -d <DEAL> <path>:<contractname>

We highly recommend you start hacking from PoC demos after installing zkProver.

Documentation

Documentation for 0xHacked

Acknowledgements

Thanks to the contributions of foundry, revm, reth, ethers-rs and RISC Zero to crypto. We're grateful for these awesome projects.