zkProver

Besides generating the proof of exploit using our online tool, you can also do it locally with zkProver.

Installation

Currently, zkProver supports Linux and MacOS with Apple Silicon.

curl -L https://install.SecurFi.com | bash

If you're using MacOS, please make sure you have installed Xcode, xcode-select --install and run xcrun metal successfully.

If you encounter any errors, please contact me via Telegram.

Building from source

Requirements

• Ubuntu

  • Rust

  sudo curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

  • build tools

  sudo apt install -y build-essential pkg-config libssl-dev

  • cuda[optional] install guide

• Centos

  • Developments Tools

  sudo yum groupinstall 'Development Tools'

  • cuda[optional] install guide

• Mac

  • Rust

  brew install rustup-init
  rustup-init

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>

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

# 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>

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

Documentation

Documentation for SecurFi

Acknowledgements

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