zkpool-prover: A Rust repository from sangbejo

Introduction

This is a universal modular prover that is built upon various zero-knowledge proof (ZKP) provers. It is used to connect with ZKPool in order to obtain proving tasks and generate proofs.

Supported ZKP projects

Taiko A5
More is coming

Hardware Requirements

CPU version

x86 Ubuntu 20.04/22.04

8 or 16 core CPU
32 GB memory

Intel/M1 Apple macOS

GPU version

Coming soon.

Run from the prebuilt binary

Download the prebuilt binary

Visit https://github.com/aoraki-labs/zkpool-prover/releases and download the latest release or use wget command like below. Please ensure that you select the appropriate tar file for your hardware and the correct release version.

   wget https://github.com/aoraki-labs/zkpool-prover/releases/download/v1.0-taiko-a5/x86_64-unknown-linux-musl.tar.gz
   tar -zxvf x86_64-unknown-linux-musl.tar.gz

Download the running script

Download the script run_prover.sh from https://github.com/aoraki-labs/zkpool-prover/tree/taiko-a5-testnet

Run

Modify the ./run-prover.sh according to your own config.

ACCESS_KEY=123456789 #replace the parameter with what we get in zkpool.io
DEVICE_ID=123456789 #replace the parameter with the id name you want to set

Run like this:

   chmod +x ./run-prover.sh
   ./run-prover.sh

Build from source and run

Preparation

Download codes via git clone. Make sure you have installed rustup, cargo and Go.

   git clone https://github.com/aoraki-labs/zkpool-prover.git
   cd zkpool-prover

Build

Run cargo build --release to build the binary. And then, cp ./target/release/zkpool-prover .

Run