central_systest_blobs: implement block production, given txs

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[dorimedini-starkware]

• central_systest_blobs: add proof tx to test privacy feature #14006
• 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 👈 (View in Graphite)
• 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

Medium Risk
Adds non-trivial block execution/commitment and block-hash calculation logic in a regression-test data generator; correctness depends on multiple consensus-critical libraries (blockifier/committer), though the changes are limited to test utilities.

Overview
Implements BlobFactory::close_block to actually produce a finalized block from the queued transactions: executes txs via TransactionExecutor, applies writes to the in-memory state, commits the resulting state diff to committer storage, and computes block commitments + the final block hash before appending a new BlockData entry.

Updates the systest blob crate dependencies to enable blockifier reexecution support and adds starknet_transaction_prover for committing state diffs used during block production.

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

[nimrod-starkware]

@nimrod-starkware partially reviewed 3 files and made 5 comments.
Reviewable status: 2 of 3 files reviewed, 5 unresolved discussions (waiting on dorimedini-starkware and yoavGrs).

---

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

use starknet_api::executable_transaction::{
    AccountTransaction as ExecutableAccountTx,
    DeclareTransaction as ExecutableDeclareTransaction,

Suggestion:

DeclareTransaction as ExecutableDeclareTx

---

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

use starknet_committer::db::forest_trait::StorageInitializer;
use starknet_patricia_storage::map_storage::MapStorage;
use starknet_transaction_prover::running::committer_utils::commit_state_diff;

consider moving commit_state_diff into the starknet_committer crate. (not in this PR)
I don't think the depndency in starknet_transaction_prover makes sense here...

Code quote:

use starknet_transaction_prover::running::committer_utils::commit_state_diff;

---

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

    /// Executes the unblocked transactions and applies the changes to the state.
    /// Any subsequent tx added will end up in the next block.

Suggestion:

    /// Executes the unblocked transactions and applies the changes to the state.
    /// Any subsequent transaction added will end up in the next block.

---

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

                execution_info,
            });
        }

same as few PR's before.
shouldn't self.next_txs be consumed using std::mem::take?

Code quote:

        for (executable, internal) in self.next_txs.iter() {
            let (execution_info, _state_changes) = executor
                .execute(&BlockifierTx::new_for_sequencing(ExecutableTx::Account(
                    executable.clone(),
                )))
                .unwrap();
            assert!(!execution_info.is_reverted(), "Got a reverted tx: {execution_info:?}");

            transactions_with_receipts.push(InternalTransactionWithReceipt {
                transaction: internal.clone(),
                execution_info,
            });
        }

---

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

            state_roots,
        });
        self.next_txs.clear();

see above comment re this.

Code quote:

self.next_txs.clear();

[dorimedini-starkware]

@dorimedini-starkware made 5 comments.
Reviewable status: 2 of 3 files reviewed, 5 unresolved discussions (waiting on nimrod-starkware and yoavGrs).

---

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

Previously, nimrod-starkware wrote…

consider moving commit_state_diff into the starknet_committer crate. (not in this PR)
I don't think the depndency in starknet_transaction_prover makes sense here...

not sure why this was moved to the prover crate, but we will probably need to depend on this crate soon anyway: need to create a proof-tx to complete the system test blobs

---

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

Previously, nimrod-starkware wrote…

same as few PR's before.
shouldn't self.next_txs be consumed using std::mem::take?

Done.

---

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

Previously, nimrod-starkware wrote…

see above comment re this.

Done.

---

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

    /// Executes the unblocked transactions and applies the changes to the state.
    /// Any subsequent tx added will end up in the next block.

Done.

---

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

use starknet_api::executable_transaction::{
    AccountTransaction as ExecutableAccountTx,
    DeclareTransaction as ExecutableDeclareTransaction,

Done.

[nimrod-starkware]

@nimrod-starkware reviewed 1 file and all commit messages, made 2 comments, and resolved 5 discussions.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on yoavGrs).

---

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

Previously, dorimedini-starkware wrote…

not sure why this was moved to the prover crate, but we will probably need to depend on this crate soon anyway: need to create a proof-tx to complete the system test blobs

oh ok, nvm

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-08T10:23:36Z
• Started at 2026-05-08T10:24:06Z
• Started at 2026-05-08T13:49:11Z

[graphite-app]

Merge activity

• May 8, 10:24 AM UTC: Graphite rebased this pull request, because this pull request is set to merge when ready.

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit f5aa05a. Configure here.}

[dorimedini-starkware]

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