wip: remote batch prover

Cargo.toml

@@ -28,18 +28,19 @@ version      = "0.8.0"
 assert_matches            = { version = "1.5" }
 itertools                 = { version = "0.14" }
 miden-air                 = { version = "0.12" }
-miden-lib = { git = "https://github.com/0xPolygonMiden/miden-base", branch = "next" }
+miden-lib = { git = "https://github.com/0xPolygonMiden/miden-base", branch = "santiagopittella-test-mutex" }
 miden-node-block-producer = { path = "crates/block-producer", version = "0.8" }
 miden-node-proto          = { path = "crates/proto", version = "0.8" }
 miden-node-rpc            = { path = "crates/rpc", version = "0.8" }
 miden-node-store          = { path = "crates/store", version = "0.8" }
 miden-node-test-macro     = { path = "crates/test-macro" }
 miden-node-utils          = { path = "crates/utils", version = "0.8" }
-miden-objects = { git = "https://github.com/0xPolygonMiden/miden-base", branch = "next" }
+miden-objects = { git = "https://github.com/0xPolygonMiden/miden-base", branch = "santiagopittella-test-mutex" }
 miden-processor           = { version = "0.12" }
 miden-stdlib              = { version = "0.12", default-features = false }
-miden-tx = { git = "https://github.com/0xPolygonMiden/miden-base", branch = "next" }
-miden-tx-batch-prover     = { git = "https://github.com/0xPolygonMiden/miden-base.git", branch = "next" }
+miden-tx = { git = "https://github.com/0xPolygonMiden/miden-base", branch = "santiagopittella-test-mutex" }
+miden-tx-batch-prover     = { git = "https://github.com/0xPolygonMiden/miden-base.git", branch = "santiagopittella-test-mutex" }
+miden-proving-service-client = { git = "https://github.com/0xPolygonMiden/miden-base.git", branch = "santiagopittella-test-mutex", features = ["batch-prover"]}
 prost                     = { version = "0.13" }
 rand                      = { version = "0.8" }
 thiserror                 = { version = "2.0", default-features = false }

bin/node/src/config.rs

@@ -27,6 +27,7 @@ struct NormalizedRpcConfig {
 struct NormalizedBlockProducerConfig {
     endpoint: Url,
     verify_tx_proofs: bool,
+    remote_batch_prover: Option<Url>,
 }
 
 impl Default for NormalizedRpcConfig {
@@ -44,9 +45,17 @@ impl Default for NormalizedRpcConfig {
 impl Default for NormalizedBlockProducerConfig {
     fn default() -> Self {
         // Ensure we stay in sync with the original defaults.
-        let BlockProducerConfig { endpoint, store_url: _, verify_tx_proofs } =
-            BlockProducerConfig::default();
-        Self { endpoint, verify_tx_proofs }
+        let BlockProducerConfig {
+            endpoint,
+            store_url: _,
+            verify_tx_proofs,
+            remote_batch_prover,
+        } = BlockProducerConfig::default();
+        Self {
+            endpoint,
+            verify_tx_proofs,
+            remote_batch_prover,
+        }
     }
 }
 
@@ -58,6 +67,7 @@ impl NodeConfig {
             endpoint: block_producer.endpoint,
             store_url: store.endpoint.clone(),
             verify_tx_proofs: block_producer.verify_tx_proofs,
+            remote_batch_prover: block_producer.remote_batch_prover,
         };
 
         let rpc = RpcConfig {
@@ -92,6 +102,7 @@ mod tests {
                     [block_producer]
                     endpoint = "http://127.0.0.1:8080"
                     verify_tx_proofs = true
+                    remote_batch_prover = "http://127.0.0.1:8081"
 
                     [rpc]
                     endpoint = "http://127.0.0.1:8080"
@@ -111,7 +122,8 @@ mod tests {
                 NodeConfig {
                     block_producer: NormalizedBlockProducerConfig {
                         endpoint: Url::parse("http://127.0.0.1:8080").unwrap(),
-                        verify_tx_proofs: true
+                        verify_tx_proofs: true,
+                        remote_batch_prover: Some(Url::parse("http://127.0.0.1:8081").unwrap()),
                     },
                     rpc: NormalizedRpcConfig {
                         endpoint: Url::parse("http://127.0.0.1:8080").unwrap(),

crates/block-producer/Cargo.toml

@@ -29,6 +29,7 @@ miden-processor       = { workspace = true }
 miden-stdlib          = { workspace = true }
 miden-tx              = { workspace = true }
 miden-tx-batch-prover = { workspace = true }
+miden-proving-service-client = { workspace = true, features = ["batch-prover"] }
 rand                  = { version = "0.8" }
 serde                 = { version = "1.0", features = ["derive"] }
 thiserror             = { workspace = true }