feat(circuit_params): add --registry JSON output

[ilyalesokhin-starkware]

Stacked on #398.

Monday: Write a utility to generate all the circuits preprocessed roots

What

Adds a --format flag to the circuit-params binary:

• info (default) — the existing human-readable output: per-component non-padded row count, padded log size, and usage percentage.
• json — a JSON array with, per verified trace size, only the per-component padded log sizes.

Usage

cargo run -p circuit-params -- --min-trace-log-size 25 --max-trace-log-size 28 --format json

Example json output:

[
  {
    "trace_log_size": 25,
    "components": { "eq": 20, "qm31_ops": 23, "m31_to_u32": 20, "triple_xor": 19, "blake_g_gate": 23 }
  }
]

Tests

The CLI test now covers both formats (run_circuit_params_binary_info, run_circuit_params_binary_json).

🤖 Generated with Claude Code

---

This change is

[cursor]

PR Summary

Medium Risk
Registry output defines verifier circuit identity via preprocessed roots and shared padding targets, which downstream provers/verifiers must match; incorrect roots or sizing would break proof verification, though scope is limited to the params generation tool and schema crate.

Overview
Introduces a shared circuit-registry crate that defines the JSON schema for supported verifier circuits (configs, leaf verifiers per trace size, multiverifiers, and preprocessed Merkle roots as hex).

circuit-params gains a --registry mode that emits that registry instead of the default human-readable size report. In registry mode it computes shared pad targets (elementwise max of leaf and multiverifier component sizes at max_trace_log_size), pads each circuit with pad_to_targets, then commits preprocessed traces to produce roots for every leaf verifier in the range and one multiverifier entry.

CLI flags are aligned to explicit snake_case names (--min_trace_log_size, --output_path, etc.). Tests add a serde round-trip for the schema and split CLI coverage; the full registry CLI test is behind a slow-tests feature because it Merkle-commits a large trace.

^{Reviewed by Cursor Bugbot for commit 5b7057f. Bugbot is set up for automated code reviews on this repo. Configure here.}

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 68.49%. Comparing base (4c777d3) to head (5b7057f).

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #399      +/-   ##
==========================================
+ Coverage   67.86%   68.49%   +0.62%     
==========================================
  Files          42       43       +1     
  Lines        5459     5568     +109     
==========================================
+ Hits         3705     3814     +109     
  Misses       1754     1754              

Files with missing lines	Coverage Δ
crates/circuit_params/src/main.rs	99.00% <100.00%> (+0.75%)	⬆️
crates/circuit_registry/src/schema.rs	100.00% <100.00%> (ø)

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[ilyalesokhin-starkware]

• feat(circuit_params): build the leaf circuit from a real program #409
• feat(leaf_prover): pad and validate the leaf circuit against the registry #407
• feat(circuit_params): add --registry JSON output #399 👈 (View in Graphite)
• feat(circuit_params): report multiverifier component sizes #404
• feat(circuit_params): tool to report verifier circuit component sizes #398
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 202c191. Configure here.}

[ilyalesokhin-starkware]

@ilyalesokhin-starkware resolved 1 discussion.
Reviewable status: 0 of 6 files reviewed, all discussions resolved (waiting on YairVaknin-starkware).