blockifier: regenerate VC JSONs

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[dorimedini-starkware]

• blockifier_test_utils: add OS resources measurement contract #14126 : 2 dependent PRs (#14127 , #14128 )
• blockifier: regenerate VC JSONs #14133 👈 (View in Graphite)
• blockifier: raw VC to_string_pretty #14132
• blockifier: raw VC deterministic map order #14131
• blockifier: raw VC serde equivalence test #14130
• main

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

[cursor]

PR Summary

High Risk
Updates protocol versioned constants (limits, step/builtin/syscall gas costs, and OS resource accounting) for multiple 0.13.x Starknet versions, which can change fee calculation and transaction acceptance behavior. Risk is high because these constants directly affect execution/resource metering across versions.

Overview
Regenerates the blockifier_versioned_constants_0_13_{0..3}.json resources with updated limits (e.g., tx_event_limits, gateway size caps, max steps) and feature flags (e.g., segment_arena_cells, ignore_inner_event_resources).

Refreshes fee/resource accounting data, including vm_resource_fee_cost, expanded per-syscall gas cost breakdowns (adding fields like range_check, bitwise, memory_hole_gas_cost), updated OS execution resource tables, and version-specific compute_os_kzg_commitment_info/rounding constants.

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

[dorimedini-starkware]

what changes? everything only moved

@dorimedini-starkware made 1 comment.
Reviewable status: 0 of 19 files reviewed, all discussions resolved (waiting on Yoni-Starkware).

[Yoni-Starkware]

@Yoni-Starkware reviewed 16 files and all commit messages, and made 2 comments.
Reviewable status: 16 of 19 files reviewed, 2 unresolved discussions (waiting on dorimedini-starkware).

---

crates/blockifier/resources/versioned_constants_diff_regression/0.13.3_0.13.4.txt line 17 at r1 (raw file):

~ /os_constants/builtin_gas_costs/range_check96: 56
~ /os_constants/execute_max_sierra_gas: 1000000000
~ /os_constants/syscall_gas_costs: null

Why this change?

Code quote:

~ /os_constants/syscall_gas_costs: null

---

crates/blockifier/resources/versioned_constants_diff_regression/0.13.4_0.13.5.txt line 1 at r1 (raw file):

+ /os_constants/v1_bound_accounts_cairo0/0: "0x06d706cfbac9b8262d601c38251c5fbe0497c3a96cc91a92b08d91b61d9e70c4"

why?

Code quote:

0x06d706cfbac9b8262d601c38251c5fbe0497c3a96cc91a92b08d9

[Yoni-Starkware]

@Yoni-Starkware reviewed 3 files.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on dorimedini-starkware).

[dorimedini-starkware]

@dorimedini-starkware made 2 comments.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on Yoni-Starkware).

---

crates/blockifier/resources/versioned_constants_diff_regression/0.13.4_0.13.5.txt line 1 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

why?

you are asking why the leading zero is dropped?
because this is the serialization of a contract address, i suppose.
is it a problem? the strings in the VC JSONs are not meant to be parsed without going through RawVersionedConstants, in which case the values are the same (same ContractAddress)

---

crates/blockifier/resources/versioned_constants_diff_regression/0.13.3_0.13.4.txt line 17 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Why this change?

I didn't annotate this field with #[serde(skip_serializing_if = "Option::is_none")]. fixed

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-24T12:53:00Z
• Started at 2026-05-24T12:53:27Z
• Started at 2026-05-24T13:12:04Z

[Yoni-Starkware]

@Yoni-Starkware reviewed 15 files and all commit messages, made 1 comment, and resolved 2 discussions.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on dorimedini-starkware).