Add finalize_constants file.

[leo-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[leo-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

• Integrate finalize_constants in the main flow. #473
• Build generic qm31 constants. #472
• Build broadcast qm31. #471
• Add m31 decomposition. #470
• Add finalize_constants file. #469 👈 (View in Graphite)
• Add u() method. #468
• main

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

[gilbens-starkware]

@gilbens-starkware made 1 comment.
Reviewable status: 0 of 3 files reviewed, 1 unresolved discussion (waiting on alon-f and leo-starkware).

---

crates/circuits/src/finalize_constants.rs line 21 at r1 (raw file):

/// is to make testing easier by choosing a smaller minimum base.
// TODO(Leo): remove allow once integrated in the main flow.
#[allow(unused)]

Suggestion:

#[expect(unused)]

[gilbens-starkware]

@gilbens-starkware made 1 comment.
Reviewable status: 0 of 3 files reviewed, 2 unresolved discussions (waiting on alon-f and leo-starkware).

---

crates/circuits/src/finalize_constants.rs line 32 at r1 (raw file):

/// - Base decomposition (with a dynamic base B) for larger M31 values.
/// - Broadcast optimization for constants of the form `(x, x, x, x)`.
/// - QM31 basis combination (`i`, `u`, `iu`) for general extension-field constants.

Suggestion:

/// Yields and constrains every constant in `context.constants()` via arithmetic gates,
/// All constants are derived from the QM31 extension element `u = (0, 0, 1, 0)` by using:
/// - A `+1` chain for consecutive M31 integer constants.
/// TODO:
/// - Base decomposition (with a dynamic base B) for larger M31 values.
/// - Broadcast optimization for constants of the form `(x, x, x, x)`.
/// - QM31 basis combination (`i`, `u`, `iu`) for general extension-field constants.

[gilbens-starkware]

@gilbens-starkware made 1 comment.
Reviewable status: 0 of 3 files reviewed, 2 unresolved discussions (waiting on alon-f and leo-starkware).

---

crates/circuits/src/finalize_constants.rs line 32 at r1 (raw file):

/// - Base decomposition (with a dynamic base B) for larger M31 values.
/// - Broadcast optimization for constants of the form `(x, x, x, x)`.
/// - QM31 basis combination (`i`, `u`, `iu`) for general extension-field constants.

Thinking about it it'll be too annoying down the stack, ignore.

[leo-starkware]

@leo-starkware made 1 comment and resolved 1 discussion.
Reviewable status: 0 of 3 files reviewed, 1 unresolved discussion (waiting on alon-f and gilbens-starkware).

---

crates/circuits/src/finalize_constants.rs line 21 at r1 (raw file):

/// is to make testing easier by choosing a smaller minimum base.
// TODO(Leo): remove allow once integrated in the main flow.
#[allow(unused)]

clippy complains with "error: this lint expectation is unfulfilled", i guess because it used in a test