central_systest_blobs: implement preconfirmed block creation

[dorimedini-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[dorimedini-starkware]

• 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 👈 (View in Graphite)
• 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
Medium risk because it changes how preconfirmed test blocks are constructed by actually executing transactions and deriving receipts/state diffs, which could affect regression expectations and blob generation outputs.

Overview
Implements preconfirmed block creation in cende_blob_regression_test.rs by executing remaining pending transactions in a BlockContext, then populating the CendeWritePreconfirmedBlock with derived transactions, transaction_receipts, and transaction_state_diffs (instead of returning an empty placeholder block).

Updates regression fixtures to match the new metadata/output, including bumping the blobs generation marker and adjusting preconfirmed_block.json timestamp/sequencer fields.

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

[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 74bea58. Configure here.}

[nimrod-starkware]

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

---

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

        let mut transaction_state_diffs = vec![];

        for (tx_index, (executable, internal)) in self.next_txs.iter().enumerate() {

I would expect self.next_txs to be consumed here (i.e taken and replaced with an empty vec).
I think std::mem::take can do that

Code quote:

for (tx_index, (executable, internal)) in self.next_txs.iter().enumerate() {

---

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

            };

            let mut tx_state = CachedState::new(self.state.clone());

Do you have to use CachedState here? Isn't it better to simply send self.state?

Code quote:

let mut tx_state = CachedState::new(self.state.clone());

[dorimedini-starkware]

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

---

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

Previously, nimrod-starkware wrote…

I would expect self.next_txs to be consumed here (i.e taken and replaced with an empty vec).
I think std::mem::take can do that

nice!

---

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

Previously, nimrod-starkware wrote…

Do you have to use CachedState here? Isn't it better to simply send self.state?

I need a way to create a state diff for the tx only. the way to do that is by using a cached state

[nimrod-starkware]

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

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 261 at r3 (raw file):

    /// Creates a preconfirmed block for the given block. Should be called for the last block only -
    /// no commitment is computed.
    fn make_preconfirmed_block_from_remaining_txs(self) -> CendeWritePreconfirmedBlock {

are you sure you should consume self here?

Code quote:

(self)

[dorimedini-starkware]

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

---

crates/central_systest_blobs/src/cende_blob_regression_test.rs line 261 at r3 (raw file):

Previously, nimrod-starkware wrote…

are you sure you should consume self here?

yes, after you make a preconfirmed block from the remaining txs, you shouldn't be producing any more blocks.

[nimrod-starkware]

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

[graphite-app]

Merge activity

• May 6, 7:18 AM UTC: Graphite rebased this pull request, because this pull request is set to merge when ready.