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

Getting started

Reference (c6i.x32large) specs:

  1. Install nix: sh <(curl -L --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<YOUR_GITHUB_PAT> -- --output $(pwd)/report.html