chore(blockifier_reexecution): serialize reexecution data to file

crates/blockifier/src/state/cached_state.rs

@@ -291,6 +291,13 @@ impl Default for CachedState<crate::test_utils::dict_state_reader::DictStateRead
     }
 }
 
+#[cfg(any(feature = "testing", test))]
+impl<S: StateReader> CachedState<S> {
+    pub fn get_initial_reads(&self) -> StateResult<StateMaps> {
+        Ok(self.cache.borrow().initial_reads.clone())
+    }
+}
+
 pub type StorageEntry = (ContractAddress, StorageKey);
 
 #[derive(Debug, Default, derive_more::IntoIterator)]

crates/blockifier_reexecution/Cargo.toml

@@ -9,7 +9,7 @@ license.workspace = true
 blockifier_regression_https_testing = []
 
 [dependencies]
-blockifier = { workspace = true, features = ["transaction_serde"] }
+blockifier = { workspace = true, features = ["transaction_serde", "testing"] }
 cairo-lang-starknet-classes.workspace = true
 cairo-lang-utils.workspace = true
 cairo-vm.workspace = true

crates/blockifier_reexecution/src/main.rs

@@ -1,6 +1,8 @@
+use blockifier_reexecution::state_reader::reexecution_state_reader::ReexecutionStateReader;
 use blockifier_reexecution::state_reader::test_state_reader::{
     ConsecutiveStateReaders,
     ConsecutiveTestStateReaders,
+    SerializableOfflineReexecutionData,
 };
 use blockifier_reexecution::state_reader::utils::JSON_RPC_VERSION;
 use clap::{Args, Parser, Subcommand};
@@ -93,6 +95,59 @@ fn main() {
 
             println!("RPC test passed successfully.");
         }
-        Command::WriteRpcRepliesToJson { .. } => todo!(),
+        Command::WriteRpcRepliesToJson {
+            url_and_block_number: SharedArgs { node_url, block_number },
+            directory_path,
+        } => {
+            let directory_path = directory_path
+                .unwrap_or(format!("./crates/blockifier_reexecution/tmp/block_{block_number}/"));
+            let config = RpcStateReaderConfig {
+                url: node_url,
+                json_rpc_version: JSON_RPC_VERSION.to_string(),
+            };
+
+            let ConsecutiveTestStateReaders { last_block_state_reader, next_block_state_reader } =
+                ConsecutiveTestStateReaders::new(BlockNumber(block_number - 1), Some(config), true);
+
+            let block_info_next_block = next_block_state_reader.get_block_info().unwrap();
+
+            let starknet_version = next_block_state_reader.get_starknet_version().unwrap();
+
+            let state_diff_next_block = next_block_state_reader.get_state_diff().unwrap();
+
+            let transactions_next_block = next_block_state_reader.get_all_txs_in_block().unwrap();
+
+            let blockifier_transactions_next_block = &last_block_state_reader
+                .api_txs_to_blockifier_txs(transactions_next_block.clone())
+                .unwrap();
+
+            let mut transaction_executor = last_block_state_reader
+                .get_transaction_executor(
+                    next_block_state_reader.get_block_context().unwrap(),
+                    None,
+                )
+                .unwrap();
+
+            transaction_executor.execute_txs(blockifier_transactions_next_block);
+
+            let block_state = transaction_executor.block_state.unwrap();
+            let initial_reads = block_state.get_initial_reads().unwrap();
+
+            let contract_class_mapping =
+                block_state.state.get_contract_class_mapping_dumper().unwrap();
+
+            let serializable_offline_reexecution_data = SerializableOfflineReexecutionData {
+                state_maps: initial_reads.into(),
+                block_info_next_block,
+                starknet_version,
+                transactions_next_block,
+                contract_class_mapping,
+                state_diff_next_block,
+            };
+
+            serializable_offline_reexecution_data
+                .write_to_file(&directory_path, "reexecution_data.json")
+                .unwrap();
+        }
     }
 }

crates/blockifier_reexecution/src/state_reader/reexecution_state_reader.rs

@@ -10,7 +10,7 @@ use super::compile::{legacy_to_contract_class_v0, sierra_to_contact_class_v1};
 use crate::state_reader::errors::ReexecutionError;
 use crate::state_reader::test_state_reader::ReexecutionResult;
 
-pub(crate) trait ReexecutionStateReader {
+pub trait ReexecutionStateReader {
     fn get_contract_class(&self, class_hash: &ClassHash) -> StateResult<StarknetContractClass>;
 
     fn get_class_info(&self, class_hash: ClassHash) -> ReexecutionResult<ClassInfo> {

crates/blockifier_reexecution/src/state_reader/test_state_reader.rs

@@ -54,12 +54,12 @@ pub struct OfflineReexecutionData {
 
 #[derive(Serialize, Deserialize)]
 pub struct SerializableOfflineReexecutionData {
-    state_maps: ReexecutionStateMaps,
-    contract_class_mapping: StarknetContractClassMapping,
-    block_info_next_block: BlockInfo,
-    starknet_version: StarknetVersion,
-    transactions_next_block: Vec<(Transaction, TransactionHash)>,
-    state_diff_next_block: CommitmentStateDiff,
+    pub state_maps: ReexecutionStateMaps,
+    pub block_info_next_block: BlockInfo,
+    pub starknet_version: StarknetVersion,
+    pub transactions_next_block: Vec<(Transaction, TransactionHash)>,
+    pub state_diff_next_block: CommitmentStateDiff,
+    pub contract_class_mapping: StarknetContractClassMapping,
 }
 
 impl SerializableOfflineReexecutionData {
@@ -293,6 +293,10 @@ impl TestStateReader {
             class_hash_to_compiled_class_hash: declared_classes,
         })
     }
+
+    pub fn get_contract_class_mapping_dumper(&self) -> Option<StarknetContractClassMapping> {
+        self.contract_class_mapping_dumper.lock().unwrap().clone()
+    }
 }
 
 impl ReexecutionStateReader for TestStateReader {

crates/blockifier_reexecution/src/state_reader/utils.rs

@@ -49,7 +49,7 @@ pub(crate) fn disjoint_hashmap_union<K: std::hash::Hash + std::cmp::Eq, V>(
 }
 
 #[derive(Debug, PartialEq, Eq, Serialize, Deserialize)]
-pub(crate) struct ReexecutionStateMaps {
+pub struct ReexecutionStateMaps {
     nonces: HashMap<ContractAddress, Nonce>,
     class_hashes: HashMap<ContractAddress, ClassHash>,
     storage: HashMap<ContractAddress, HashMap<StorageKey, Felt>>,