demo: prover execution improvements

Cargo.toml

@@ -35,8 +35,10 @@ rust-version = "1.93"
 version      = "0.14.9"
 
 # Optimize the cryptography for faster tests involving account creation.
-[profile.test.package.miden-crypto]
-opt-level = 2
+[profile.test.package."*"]
+opt-level = 3
+debug-assertions = false
+overflow-checks = false
 
 [profile.release]
 debug = true
@@ -120,6 +122,10 @@ tracing            = { version = "0.1" }
 tracing-subscriber = { features = ["env-filter", "fmt", "json"], version = "0.3" }
 url                = { features = ["serde"], version = "2.5" }
 
+[patch.crates-io]
+miden-prover = { path = "vendor/miden-prover" }
+miden-tx = { path = "vendor/miden-tx" }
+
 # Lints are set to warn for development, which are promoted to errors in CI.
 [workspace.lints.clippy]
 # Pedantic lints are set to a lower priority which allows lints in the group to be selectively enabled.

bin/remote-prover/src/server/prover.rs

@@ -100,9 +100,11 @@ impl ProveRequest for LocalTransactionProver {
     type Output = ProvenTransaction;
 
     async fn prove(&self, input: Self::Input) -> Result<Self::Output, tonic::Status> {
-        LocalTransactionProver::prove(self, input).await.map_err(|e| {
-            tonic::Status::internal(e.as_report_context("failed to prove transaction"))
-        })
+        LocalTransactionProver::prove_transaction_inputs(self, input)
+            .await
+            .map_err(|e| {
+                tonic::Status::internal(e.as_report_context("failed to prove transaction"))
+            })
     }
 }
 

bin/remote-prover/src/server/tests.rs

@@ -126,7 +126,10 @@ impl ProofRequest {
             .unwrap();
 
         let tx = Box::pin(tx.execute()).await.unwrap();
-        let tx = LocalTransactionProver::default().prove(tx.tx_inputs().clone()).await.unwrap();
+        let tx = LocalTransactionProver::default()
+            .prove_transaction_inputs(tx.tx_inputs().clone())
+            .await
+            .unwrap();
 
         ProposedBatch::new(
             vec![Arc::new(tx)],

crates/ntx-builder/src/actor/execute.rs

@@ -321,7 +321,7 @@ impl NtxContext {
         } else {
             // Only perform tx inputs clone for local proving.
             let tx_inputs = tx_inputs.clone();
-            LocalTransactionProver::default().prove(tx_inputs).await
+            LocalTransactionProver::default().prove_transaction_inputs(tx_inputs).await
         }
         .map_err(NtxError::Proving)
     }

vendor/miden-prover/.cargo-ok

@@ -0,0 +1 @@
+{"v":1}

vendor/miden-prover/.cargo_vcs_info.json

@@ -0,0 +1,6 @@
+{
+  "git": {
+    "sha1": "b59f1d07b76a23e628511d9ea538d07c144c2044"
+  },
+  "path_in_vcs": "prover"
+}