feat(circuit_params): report multiverifier component sizes

[ilyalesokhin-starkware]

Type

• feature
• bugfix
• dev (no functional changes, no API changes)
• fmt (formatting, renaming)
• build
• docs
• testing

Description

Breaking changes?

• yes
• no

---

This change is 

[cursor]

PR Summary

Low Risk
Offline sizing/measurement tooling and dependency pins only; no runtime proof or verification path changes in this repo.

Overview
Extends the circuit-params CLI so it reports AIR component sizes for both the leaf Cairo verifier circuit and the multiverifier circuit that checks two leaf-verifier proofs.

Leaf sizes are still emitted for every trace log size in the requested range under a leaf: header. Multiverifier topology is built from a preprocessed leaf circuit (empty proofs, matching upstream multiverifier tests) and printed once under multiverifier: at max_trace_log_size. Shared sizing logic is refactored into component_sizes / context builders.

Workspace deps add circuit-verifier, circuit-multiverifier, and circuits from stwo-circuits (b14285a); circuit-common enables the prover feature for preprocessing. The CLI integration test expects the new output shape.

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

[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
• feat(circuit_params): report multiverifier component sizes #404 👈 (View in Graphite)
• 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.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 67.85%. Comparing base (764b6fb) to head (14dc54d).

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #404      +/-   ##
==========================================
+ Coverage   67.58%   67.85%   +0.26%     
==========================================
  Files          42       42              
  Lines        5411     5456      +45     
==========================================
+ Hits         3657     3702      +45     
  Misses       1754     1754              

Files with missing lines	Coverage Δ
crates/circuit_params/src/main.rs	98.31% <100.00%> (+1.02%)	⬆️

🚀 New features to boost your workflow:

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

[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 01b124d. Configure here.}

[ilyalesokhin-starkware]

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

[YairVaknin-starkware]

@YairVaknin-starkware reviewed 5 files and all commit messages, and made 1 comment.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on ilyalesokhin-starkware).

---

crates/circuit_params/src/main.rs line 140 at r4 (raw file):

    let preprocessed_column_log_sizes = preprocessed_leaf.preprocessed_trace.log_sizes();

    // `ProofConfig` expects the components in ascending log-size order.

Where is this enforced?

Code quote:

/ `ProofConfig` expects the components in ascending log-size order.

[ilyalesokhin-starkware]

crates/circuit_params/src/main.rs line 140 at r4 (raw file):

Previously, YairVaknin-starkware wrote…

Where is this enforced?

It is not enforced directly.
we can discuss how to enforce that.

[ilyalesokhin-starkware]

Merge activity

• Jul 21, 3:31 PM UTC: A user started a stack merge that includes this pull request via Graphite.
• Jul 21, 3:31 PM UTC: @ilyalesokhin-starkware merged this pull request with Graphite.