blockifier,apollo_starknet_os_program: support linear message cost

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-24T09:50:56Z
• Started at 2026-05-24T10:14:22Z
• Started at 2026-06-09T11:40:10Z
• Started at 2026-06-09T11:45:10Z
• Started at 2026-06-09T12:06:16Z

[dorimedini-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,apollo_starknet_os_program: support linear message cost #14153 👈 (View in Graphite)
• starknet_os: os resources test - add send_message_to_l1 #14143 : 1 other dependent PR (#14144 )
• starknet_os: os resources test - add replace_class #14142
• starknet_os: os resources test - support virtual builtins, add sha256 #14141
• starknet_os: define sha256 batch resources constants #14140
• starknet_os: os resources test - add keccak #14139
• starknet_os: os resources test - add 3 more syscalls #14138
• starknet_os: os resources test - remove all fee transfer syscalls #14137
• starknet_os: os resources test - add emit event #14136
• starknet_os: os resources test - add meta tx #14135
• starknet_os: os resources test - measure linear factor, add deploy #14134
• starknet_os: os resources test - library call #14129
• starknet_os: initial test, measure call contract resources #14128
• blockifier_test_utils: add option to deploy from zero in test accounts #14258
• starknet_os_flow_tests: helper function to declare explicit classes #14257
• starknet_os: os resources test - create fixed deployable account #14173
• main

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

[cursor]

PR Summary

High Risk
Changes protocol fee metering for L2→L1 messages across sequencer, OS, and client proving; misalignment would cause rejections or incorrect fees.

Overview
Send message to L1 syscall gas is no longer flat: cost is base + 800 × payload length (base raised from 12470 to 12770), aligned across the OS Cairo implementation, versioned constants, and blockifier (VM, native, and deprecated paths).

Blockifier now charges via get_syscall_cost(payload.len()), tracks linear syscall usage for metering/OS resources (including get_linear_factor_length on the VM request), and 0.14.4 models SendMessageToL1 OS resources as constant + calldata_factor. Regenerated OS / virtual OS program hashes, allowed virtual OS hash list, bytecode length expectations, and test/fixture snapshots (fees, systest blobs).

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

[yoavGrs]

@yoavGrs reviewed 12 files and all commit messages, and made 1 comment.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware and Yoni-Starkware).

---

crates/blockifier/resources/blockifier_versioned_constants_0_14_3.json line 250 at r1 (raw file):

            "Deploy": {
                "constant": {
                    "n_steps": 1180,

Move to 0_14_4

[dorimedini-starkware]

@dorimedini-starkware made 1 comment.
Reviewable status: 1 of 14 files reviewed, 1 unresolved discussion (waiting on yoavGrs and Yoni-Starkware).

---

crates/blockifier/resources/blockifier_versioned_constants_0_14_3.json line 250 at r1 (raw file):

Previously, yoavGrs wrote…

Move to 0_14_4

Done.