feat(katana-executor): add blockifier executor implementations

Cargo.toml

@@ -148,6 +148,7 @@ semver = "1.0.5"
 serde = { version = "1.0.192", features = [ "derive" ] }
 serde_json = { version = "1.0", features = [ "arbitrary_precision" ] }
 serde_with = "2.3.1"
+similar-asserts = "1.5.0"
 smol_str = { version = "0.2.0", features = [ "serde" ] }
 sqlx = { version = "0.7.2", features = [ "chrono", "macros", "regexp", "runtime-async-std", "runtime-tokio", "sqlite", "uuid" ] }
 starknet = "0.8.0"
@@ -163,6 +164,9 @@ tracing = "0.1.34"
 tracing-subscriber = { version = "0.3.16", features = [ "env-filter", "json" ] }
 url = { version = "2.4.0", features = [ "serde" ] }
 
+rstest = "0.18.2"
+rstest_reuse = "0.6.0"
+
 # server
 hyper = "0.14.27"
 warp = "0.3"

crates/katana/core/src/backend/mod.rs

@@ -146,6 +146,7 @@ impl Backend {
         let prev_hash = BlockHashProvider::latest_hash(self.blockchain.provider())?;
 
         let partial_header = PartialHeader {
+            number: block_env.number,
             parent_hash: prev_hash,
             version: CURRENT_STARKNET_VERSION,
             timestamp: block_env.timestamp,

crates/katana/executor/Cargo.toml

@@ -21,3 +21,10 @@ tracing.workspace = true
 blockifier.workspace = true
 starknet_api.workspace = true
 tokio.workspace = true
+
+[dev-dependencies]
+cairo-vm.workspace = true
+katana-provider.workspace = true
+rstest.workspace = true
+serde_json.workspace = true
+similar-asserts.workspace = true

crates/katana/executor/src/abstraction.rs

@@ -34,6 +34,9 @@ pub enum ExecutorError {
 
     #[error(transparent)]
     Other(Box<dyn std::error::Error + Send>),
+
+    #[error(transparent)]
+    BlockifierError(#[from] crate::implementation::blockifier::Error),
 }
 
 pub type ExecutorResult<T> = Result<T, ExecutorError>;