blockifier: convert builtins_to_gas to cairo_primitives_to_gas

[avivg-starkware]

Note

Medium Risk
Touches core gas accounting used for block capacity checks; while largely a refactor, mistakes could change fee/proving-gas calculations and bouncer behavior.

Overview
Switches proving-gas and VM-resources gas accounting from builtin-only counters to a generalized Cairo primitive counter map (builtins + opcodes), renaming builtins_to_gas to cairo_primitives_to_gas and routing gas-weight lookup through BuiltinGasCosts::get_cairo_primitive_gas_cost.

Updates bouncer gas computations (vm_resources_to_gas, sierra_gas_to_steps_gas, proving-gas calculation) and adjusts tests accordingly; current support for opcodes is limited to blake, with TODOs noting that true opcode counting still needs to be wired into resource tracking.

^{Written by Cursor Bugbot for commit f0672b5. This will update automatically on new commits. Configure here.}

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-02-10T13:26:25Z
• Started at 2026-02-10T13:27:16Z
• Started at 2026-02-10T14:00:24Z
• Started at 2026-02-10T14:06:10Z
• Started at 2026-02-10T14:31:07Z
• Started at 2026-02-10T14:31:36Z
• Started at 2026-02-10T14:34:36Z
• Started at 2026-02-10T14:50:47Z
• Started at 2026-02-10T14:51:06Z
• Started at 2026-02-10T14:53:04Z
• Started at 2026-02-10T14:56:32Z
• Started at 2026-02-10T15:25:59Z
• Started at 2026-02-10T15:44:16Z
• Started at 2026-02-10T15:45:32Z

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

• blockifier: compute_proving_gas for cairo_primitives #12469
• blockifier: convert builtins_to_gas to cairo_primitives_to_gas #12462 👈 (View in Graphite)
• blockifier: enable getting cairo_primitive gas cost by name #12461
• main-v0.14.2

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

[avivg-starkware]

@avivg-starkware made 3 comments.
Reviewable status: 0 of 3 files reviewed, 3 unresolved discussions (waiting on @noaov1).

---

crates/blockifier/src/bouncer.rs line 693 at r2 (raw file):

) -> GasAmount {
    // TODO(AvivG): To support opcodes in the computation, pass cairo_primitive_counter_map to this
    // function

implemented in next PR

Code quote:

    // TODO(AvivG): To support opcodes in the computation, pass cairo_primitive_counter_map to this
    // function

---

crates/blockifier/src/bouncer.rs line 709 at r2 (raw file):

    versioned_constants: &VersionedConstants,
) -> GasAmount {
    // TODO(AvivG): To support opcodes in the computation, resources should include opcode counters.

Will be implemented as part of converting ExecutionResources to ExtendedExecutionResources

Code quote:

// TODO(AvivG): To support opcodes in the computation, resources should include opcode counters.

---

crates/blockifier/src/bouncer.rs line 746 at r2 (raw file):

    // NOTE: 'blake' is currently the only supported opcode, by being included in the
    // builtin_gas_costs.
    cairo_primitives_gas_costs: &BuiltinGasCosts,

I don't really like this, however, I'm not sure if it's worth making drastic changes. nothing enforces that all entries in CairoPrimitiveCounterMap exist in BuiltinGasCosts
What do you think about adding a test for that sake?

Code quote:

pub fn cairo_primitives_to_gas(
    cairo_primitives_counters: &CairoPrimitiveCounterMap,
    // NOTE: 'blake' is currently the only supported opcode, by being included in the
    // builtin_gas_costs.
    cairo_primitives_gas_costs: &BuiltinGasCosts,