galois-benchmark

Galois prover benchmarks

This benchmarking suite extract the various characteristics of the CometBLS ZK circuit (constraints, coefficients, size of public/secret inputs…) and provide an accurate end-to-end time measurement of a proving roundtrip through gRPC (client requesting the server to prove).

The suite is sequentially benchmarking the circuit for 4, 8, 16, 32, 64, 128 maximum validators.

Available benchmarks

• V3 (latest) on c6i.x32large
• V2 on c6i.x32large
• V1 on c6i.x32large

Getting started

Reference (c6i.x32large) specs:

• 256G RAM
• 128 CPU
• 256G DISK

1. Install nix: sh <(curl -L https://nixos.org/nix/install) --daemon.
2. Generate a GitHub PAT to run the command. The PAT must have read-only access to both unionlabs/union and unionlabs/galois-benchmark.
3. Run the following command: nix --extra-experimental-features nix-command --extra-experimental-features flakes run github:unionlabs/galois-benchmark#benchmark -L --option access-tokens github.com=<YOUR_GITHUB_PAT> -- --output $(pwd)/report.html