feat!: Optional execution proofs

Cargo.toml

@@ -14,6 +14,7 @@ members = [
     "beacon_node/lighthouse_tracing",
     "beacon_node/network",
     "beacon_node/operation_pool",
+    "beacon_node/proof_generation_service",
     "beacon_node/store",
     "beacon_node/timer",
     "boot_node",
@@ -89,6 +90,7 @@ members = [
     "validator_client/validator_metrics",
     "validator_client/validator_services",
     "validator_manager",
+    "zkvm_execution_layer",
 ]
 resolver = "2"
 

beacon_node/Cargo.toml

@@ -28,6 +28,8 @@ dirs = { workspace = true }
 environment = { workspace = true }
 eth2_config = { workspace = true }
 execution_layer = { workspace = true }
+# TODO(zkproofs): add as a workspace dependency
+zkvm_execution_layer = { path = "../zkvm_execution_layer" }
 genesis = { workspace = true }
 hex = { workspace = true }
 http_api = { workspace = true }

beacon_node/beacon_chain/Cargo.toml

@@ -26,6 +26,8 @@ ethereum_serde_utils = { workspace = true }
 ethereum_ssz = { workspace = true }
 ethereum_ssz_derive = { workspace = true }
 execution_layer = { workspace = true }
+# TODO(zkproofs): add as a workspace dependency
+zkvm_execution_layer = { path = "../../zkvm_execution_layer" }
 fork_choice = { workspace = true }
 futures = { workspace = true }
 genesis = { workspace = true }