feat(vm): Extract batch executor to separate crate

Cargo.toml

@@ -70,7 +70,7 @@ members = [
     "core/lib/vlog",
     "core/lib/multivm",
     "core/lib/vm_interface",
-    "core/lib/vm_utils",
+    "core/lib/vm_executor",
     "core/lib/web3_decl",
     "core/lib/snapshots_applier",
     "core/lib/crypto_primitives",
@@ -237,7 +237,7 @@ zksync_multivm = { version = "0.1.0", path = "core/lib/multivm" }
 zksync_prover_dal = { version = "0.1.0", path = "prover/crates/lib/prover_dal" }
 zksync_vlog = { version = "0.1.0", path = "core/lib/vlog" }
 zksync_vm_interface = { version = "0.1.0", path = "core/lib/vm_interface" }
-zksync_vm_utils = { version = "0.1.0", path = "core/lib/vm_utils" }
+zksync_vm_executor = { version = "0.1.0", path = "core/lib/vm_executor" }
 zksync_vm_benchmark_harness = { version = "0.1.0", path = "core/tests/vm-benchmark/harness" }
 zksync_basic_types = { version = "0.1.0", path = "core/lib/basic_types" }
 zksync_circuit_breaker = { version = "0.1.0", path = "core/lib/circuit_breaker" }

core/lib/vm_utils/Cargo.toml → core/lib/vm_executor/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
-name = "zksync_vm_utils"
-description = "ZKsync VM utilities"
+name = "zksync_vm_executor"
+description = "Implementations of ZKsync VM executors"
 version.workspace = true
 edition.workspace = true
 authors.workspace = true
@@ -14,8 +14,11 @@ categories.workspace = true
 zksync_contracts.workspace = true
 zksync_dal.workspace = true
 zksync_types.workspace = true
-zksync_vm_interface.workspace = true
+zksync_multivm.workspace = true
 
+async-trait.workspace = true
+once_cell.workspace = true
 tokio.workspace = true
 anyhow.workspace = true
 tracing.workspace = true
+vise.workspace = true