Remove log_sizes field from CircuitClaim

[ilyalesokhin-starkware]

Component log sizes are fixed given the CircuitConfig, so derive them
from the preprocessed trace at proving time and route them through the
Cairo Statement's claims_to_mix rather than mixing them via
CircuitClaim::mix_into.

[cursor]

PR Summary

Medium Risk
Changes the proof transcript contents and how component sizes are threaded through prover/verifier; mismatches would break proof verification across implementations.

Overview
Removes per-component log_sizes from CircuitClaim and stops mixing component log sizes via CircuitClaim::mix_into, relying on the fixed N_COMPONENTS/enable bits plus output values only.

The prover now computes component_log_sizes from the preprocessed trace during write_trace, threads them separately into write_interaction_trace and CircuitComponents::new, and asserts they match circuit_verifier::statement::component_log_sizes. On the verifier side, component log sizes are no longer mixed directly; instead they’re included in Cairo’s statement claims_to_mix, and the simple verifier examples/tests are updated to match the new channel transcript.

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

[reviewable-StarkWare]

This change is 

[ilyalesokhin-starkware]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• Remove log_sizes field from CircuitClaim #477 👈 (View in Graphite)
• Move component log sizes from proof claim to Statement #476
• 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 e4899a5. Configure here.}

[cursor]

pack_component_log_sizes is now unused dead code

Low Severity

The pack_component_log_sizes function in proof_from_stark_proof.rs is now dead code. All call sites were removed in this PR (from circuit_claim.rs, simple_air.rs, and simple_air_test.rs), but the function definition was left behind. A grep confirms the only remaining match is the definition itself.

Additional Locations (1)

• crates/stark_verifier_examples/src/simple_air.rs#L1-L2

 

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