feat(blockifier): expose more fields in OsConstants

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[dorimedini-starkware]

• feat(apollo_starknet_os_program): hard-code gas costs in constants.cairo #6270 : 2 dependent PRs (#6271 , #6272 )
• feat(apollo_infra_utils): add function to format Cairo0 source files #6269
• feat(blockifier): expose more fields in OsConstants #6268 👈 (View in Graphite)
• feat(apollo_infra_utils): add cairo-format to verified cairo0 scripts #6267
• feat(apollo_starknet_os_program): add OS constants template file #6266
• fix(ci): properly install python deps, in CI and docker #5902 : 1 other dependent PR (#5873 )
• feat(apollo_infra_utils): better cairo0 compiler checks #5921
• chore(apollo_infra_utils): explicit instructions in verify_cairo0_compiler_deps #5872
• chore(apollo_infra_utils,blockifier_test_utils): move verify_cairo0_compiler_deps to infra_utils #5871
• main-v0.14.0

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

[github-actions]

Artifacts upload workflows:

• Started at 2025-05-01T14:24:40Z
• Started at 2025-05-02T14:18:36Z
• Started at 2025-05-05T11:00:32Z
• Started at 2025-05-05T12:59:16Z
• Started at 2025-05-05T13:09:38Z
• Started at 2025-05-06T12:28:41Z
• Started at 2025-05-06T12:38:41Z
• Started at 2025-05-06T14:28:13Z
• Started at 2025-05-06T14:52:36Z
• Started at 2025-05-08T09:47:33Z
• Started at 2025-05-08T11:19:27Z
• Started at 2025-05-08T16:14:26Z
• Started at 2025-05-08T17:37:17Z
• Started at 2025-05-09T09:38:51Z
• Started at 2025-05-11T16:54:34Z
• Started at 2025-05-12T12:00:53Z
• Started at 2025-05-12T12:17:39Z
• Started at 2025-05-15T10:48:00Z
• Started at 2025-05-19T22:13:00Z
• Started at 2025-05-25T14:55:56Z
• Started at 2025-05-25T15:27:48Z
• Started at 2025-05-25T17:12:12Z
• Started at 2025-05-26T09:53:03Z
• Started at 2025-05-26T11:54:27Z
• Started at 2025-05-26T14:50:05Z
• Started at 2025-05-27T08:47:27Z

[dorimedini-starkware]

Reviewable status: 0 of 1 files reviewed, all discussions resolved

---

crates/blockifier/src/blockifier_versioned_constants.rs line 1095 at r1 (raw file):

    // Validation.
    pub validate_rounding_consts: ValidateRoundingConsts,

moved, not added

Code quote:

pub validate_rounding_consts: ValidateRoundingConsts,

---

crates/blockifier/src/blockifier_versioned_constants.rs line 1122 at r1 (raw file):

    // L1 handler.
    pub l1_handler_version: u8,
    pub l1_handler_max_amount_bounds: GasVector,

moved, not added

Code quote:

pub l1_handler_max_amount_bounds: GasVector,

---

crates/blockifier/src/blockifier_versioned_constants.rs line 1126 at r1 (raw file):

    // Miscellaneous.
    pub nop_entry_point_offset: i8,
    pub os_contract_addresses: OsContractAddresses,

moved, not added

Code quote:

pub os_contract_addresses: OsContractAddresses,

---

crates/blockifier/src/blockifier_versioned_constants.rs line 1154 at r1 (raw file):

            gas_costs.base.step_gas_cost * entry_point_initial_budget_steps.0;
        let default_initial_gas_cost =
            gas_costs.base.step_gas_cost * default_initial_gas_cost_steps.0;

to align with other values in VersionedConstants: precompute total costs of entry_point_initial_budget and default_initial_gas_cost (i.e. multiply by step gas costs).
We use explicit destructuring (let RawStepGasCost { .. } = ..) to avoid the case where these initial costs depend on more than just steps (i.e. builtins) without the compiler complaining - if more cost types are added to these later, the compiler will catch that this computation must be updated.

Code quote:

        // Preprocess inital budget costs.
        let RawStepGasCost { step_gas_cost: entry_point_initial_budget_steps } =
            raw_constants.entry_point_initial_budget;
        let RawStepGasCost { step_gas_cost: default_initial_gas_cost_steps } =
            raw_constants.default_initial_gas_cost;
        let entry_point_initial_budget =
            gas_costs.base.step_gas_cost * entry_point_initial_budget_steps.0;
        let default_initial_gas_cost =
            gas_costs.base.step_gas_cost * default_initial_gas_cost_steps.0;

[AvivYossef-starkware]

Reviewed 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @dorimedini-starkware)

[dorimedini-starkware]

Reviewed 2 of 2 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @dorimedini-starkware)