central_systest_blobs: add proof tx to test privacy feature

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-09T14:12:29Z
• Started at 2026-05-09T18:52:01Z
• Started at 2026-05-10T06:42:25Z
• Started at 2026-05-10T07:59:40Z
• Started at 2026-05-10T09:54:07Z
• Started at 2026-05-10T11:21:56Z

[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

• central_systest_blobs: add proof tx to test privacy feature #14006 👈 (View in Graphite)
• starknet_api: add and use StateRoots::EMPTY #13980
• central_systest_blobs: add some invokes #13978
• central_systest_blobs: support reverting invokes #13977
• central_systest_blobs: implement invoke from deploy function for code sharing #13976
• central_systest_blobs: deploy test contract(s) #13975
• central_systest_blobs: declare the test contract #13974
• central_systest_blobs: expect operator and fee token addresses #13973
• central_systest_blobs: deploy token contract #13972
• central_systest_blobs: sort state diff in preconfirmed block #13971
• central_systest_blobs: deploy operator account #13970
• central_systest_blobs: initial block production #13969
• central_systest_blobs: sort hashsets when dumping #13968
• central_systest_blobs: implement blob creation from blocks #13967
• central_systest_blobs: implement block production, given txs #13966
• blockifier: implement conversion from commitment state diff to state maps #13965
• central_systest_blobs: implement preconfirmed block creation #13964
• central_systest_blobs: first two bootstrap declares #13963
• central_systest_blobs: refactor skeleton into structured factory #13962
• central_systest_blobs: move blobs.json storage out of git, into GCS #13946
• apollo_consensus_orchestrator: add Deserialize for testing #13945
• main

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

[cursor]

PR Summary

Low Risk
Low risk: changes are confined to test data generation and a test utility macro tweak (optional trailing comma), with no production execution paths altered.

Overview
Adds coverage for proof-carrying transactions in central_systest_blobs by generating an operator invoke that includes valid virtual SNOS proof_facts (derived from a retrospective block hash and PROGRAM_HASHES.virtual_os).

Updates the expected regression artifacts (blob generation id and preconfirmed_block.json) to reflect the additional block/transaction and resulting hash/nonce/storage diffs, and relaxes the starknet_api::proof_facts! macro to accept a trailing comma.

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

[nimrod-starkware]

@nimrod-starkware reviewed 3 files and all commit messages, and made 1 comment.
Reviewable status: 3 of 4 files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware and yoavGrs).

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 699 at r1 (raw file):

            .allowed_virtual_os_program_hashes
            .first()
            .expect("No allowed virtual OS program hashes in versioned constants");

Is there a constant for that?
I don't like the usage of first here, what if the order of vec changes? (currently it has only one entry)

Code quote:

        let program_hash = *block_context
            .versioned_constants()
            .os_constants
            .allowed_virtual_os_program_hashes
            .first()
            .expect("No allowed virtual OS program hashes in versioned constants");

[nimrod-starkware]

@nimrod-starkware made 1 comment.
Reviewable status: 3 of 4 files reviewed, 1 unresolved discussion (waiting on dorimedini-starkware and yoavGrs).

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 699 at r1 (raw file):

Previously, nimrod-starkware wrote…

Is there a constant for that?
I don't like the usage of first here, what if the order of vec changes? (currently it has only one entry)

I think you can use ProgramHashes.virtual_os

[dorimedini-starkware]

@dorimedini-starkware made 1 comment.
Reviewable status: 3 of 6 files reviewed, 1 unresolved discussion (waiting on nimrod-starkware and yoavGrs).

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 699 at r1 (raw file):

Previously, nimrod-starkware wrote…

I think you can use ProgramHashes.virtual_os

Done.

[nimrod-starkware]

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