eigen-prover

This repo aims to build components:

executor
prover

Server

Use grpc server

💡 We provide two modes for using the Eigen-Prover.

1. Single Node Mode

In this mode, all services run within a single process. It's convenient for testing or quickly getting started with the Eigen-Prover.

cd service
RUST_LOG=info cargo run --bin service -- --nocapture --release

2. Distributed Node Mode

This mode allows the expansion of any number of remote services to provide batch-proof distributed parallel computing. If you're aiming for production deployment or want to experience the peak performance of Eigen-Prover, this mode is recommended.

First, start the Server:

⚠️ Remember to note the IP and Port of your server, as they will be needed later.

cd service
PROVER_MODEL=grpc RUST_LOG=info cargo run --bin service -- --nocapture --release

Next, initiate any number of batch-proof computing nodes:

🚀 The speed of the Eigen-Prover depends on the number of computing nodes you initiate.

cd service
SCHEDULER_ADDR="http://server_ip:server_port" cargo run --bin batch-prover -- --nocapture --release

Executor Test

If you want to test the executor, you need to run a hardhat node locally, and the number of blocks is greater than or equal to the block_number in /service/examples/exec.rs

open another terminal

cd service
RUST_LOG=info cargo run --example exec -- --nocapture