starknet_os_runner: rpc storage_proofs

Author: AvivYossef-starkware

Cargo.lock

@@ -350,6 +350,7 @@ simple_logger = "4.0.0"
 socket2 = "0.5.8"
 starknet-core = "0.16.0"
 starknet-crypto = "0.8.1"
+starknet-rust = "0.17.0"
 starknet-rust-core = "0.16.0"
 starknet-types-core = "0.2.4"
 starknet_api = { path = "crates/starknet_api", version = "0.0.0" }

Cargo.toml

@@ -9,8 +9,15 @@ description = "Runs transactions through the Starknet OS and returns Cairo PIE a
 [dependencies]
 blockifier.workspace = true
 blockifier_reexecution.workspace = true
+indexmap.workspace = true
 starknet_api.workspace = true
+starknet_os.workspace = true
+starknet_patricia.workspace = true
+starknet-rust.workspace = true
+starknet-rust-core.workspace = true
+starknet-types-core.workspace = true
 thiserror.workspace = true
+url.workspace = true
 
 [lints]
 workspace = true

crates/starknet_os_runner/Cargo.toml

@@ -1,4 +1,5 @@
 use blockifier_reexecution::errors::ReexecutionError;
+use starknet_rust::providers::ProviderError;
 use thiserror::Error;
 
 #[derive(Debug, Error)]
@@ -16,3 +17,9 @@ pub enum VirtualBlockExecutorError {
     #[error("Unsupported transaction type: only Invoke transactions are supported")]
     UnsupportedTransactionType,
 }
+
+#[derive(Debug, Error)]
+pub enum ProofProviderError {
+    #[error("RPC provider error: {0}")]
+    Rpc(#[from] ProviderError),
+}

crates/starknet_os_runner/src/errors.rs

@@ -1,4 +1,5 @@
 pub mod errors;
+pub mod storage_proofs;
 pub mod virtual_block_executor;
 
 #[cfg(test)]