blockifier_test_utils: add option to deploy from zero in test accounts

[dorimedini-starkware]

No description provided.

[dorimedini-starkware]

• starknet_os: os resources test - add send_message_to_l1 #14143 : 2 dependent PRs (#14144 , #14153 )
• 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 👈 (View in Graphite)
• 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.

[reviewable-StarkWare]

This change is 

[cursor]

PR Summary

Low Risk
Test-only contract ABI and fixture updates; production execution paths unchanged aside from aligned test calldata.

Overview
Test account contracts in blockifier_test_utils now take an explicit deploy_from_zero argument on deploy_contract (Cairo0 and Cairo1), forwarding it to the deploy syscall instead of hard-coding FALSE / false.

Call sites across blockifier, apollo integration tests, and OS flow tests append false to deploy calldata so behavior stays the same while tests can opt into deploy-from-zero later. The Cairo0 dummy account compiled JSON and stack-trace golden files were refreshed for the new ABI layout.

Fixture churn from the contract change: proof-flow facts, genesis global root, STRK fee token address, fuzz contract addresses, bouncer migration gas snapshots, and a few OS metric expectations. Docs/ignore now reference blockifier_test_venv instead of reqs_venv.

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

[yoavGrs]

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

---

.gitignore line 21 at r1 (raw file):

*.DS_Store
tmp_venv/*
blockifier_test_venv/*

What is it?

Code quote:

blockifier_test_venv

[dorimedini-starkware]

@dorimedini-starkware made 3 comments.
Reviewable status: 15 of 16 files reviewed, 3 unresolved discussions (waiting on yoavGrs and Yoni-Starkware).

---

.gitignore line 21 at r1 (raw file):

Previously, yoavGrs wrote…

What is it?

see new diff

---

crates/apollo_integration_tests/src/state_reader.rs line 385 at r1 (raw file):

/// starknet_transaction_prover/stwo_proving --release generate_proof_fixtures -- --ignored`.
pub const EXPECTED_PROOF_FLOW_GENESIS_GLOBAL_ROOT: Expect =
    expect!["0x3016bfaeed7f65d42466c0c216ad9d9da23d7152ec746be3db8b627c0b7446b"];

proof regeneration is required every time the account contract changes...?

Code quote:

expect!["0x3016bfaeed7f65d42466c0c216ad9d9da23d7152ec746be3db8b627c0b7446b"];

---

.gitignore line 21 at r1 (raw file):

*.DS_Store
tmp_venv/*
blockifier_test_venv/*

had to recompile a cairo0 contract in the blockifier test utils venv, this is useful to ignore

Code quote:

blockifier_test_venv/*

[dorimedini-starkware]

@dorimedini-starkware resolved 1 discussion.
Reviewable status: 15 of 16 files reviewed, 2 unresolved discussions (waiting on yoavGrs and Yoni-Starkware).

[dorimedini-starkware]

@dorimedini-starkware resolved 1 discussion.
Reviewable status: 15 of 16 files reviewed, 1 unresolved discussion (waiting on yoavGrs and Yoni-Starkware).

[yoavGrs]

@yoavGrs reviewed 1 file and all commit messages, made 1 comment, and resolved 1 discussion.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on Yoni-Starkware).

---

crates/apollo_integration_tests/src/state_reader.rs line 385 at r1 (raw file):

Previously, dorimedini-starkware wrote…

proof regeneration is required every time the account contract changes...?

The genesis global root depends on the account that initializes the flow.
https://github.com/starkware-libs/sequencer/blob/main/crates/starknet_os_flow_tests/src/virtual_os_test.rs#L366-L375

[github-actions]

Artifacts upload workflows:

• Started at 2026-06-01T10:48:52Z
• Started at 2026-06-02T08:36:52Z

[yoavGrs]

@yoavGrs reviewed 2 files and all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on Yoni-Starkware).

[dorimedini-starkware]

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

[yoavGrs]

@yoavGrs reviewed all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on Yoni-Starkware).