verifier path

succinctlabs · Feb 13, 2024 · d6e95b1 · d6e95b1
1 parent 89e4ed7
commit d6e95b1
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/plonky2x/core/src/backend/function/mod.rs b/plonky2x/core/src/backend/function/mod.rs
@@ -320,16 +320,16 @@ impl<C: Circuit> Plonky2xFunction for C {
 
         if !args.wrapper_path.is_empty() {
             // Construct the command to execute the wrapper_circuit
-            let child_process = std::process::Command::new(&args.wrapper_path)
-                .arg("-prove")
-                .arg("-data")
-                .arg(path::Path::new(&args.wrapper_path))
-                .arg("-circuit")
-                .arg(circuit_path)
-                .stdout(std::process::Stdio::inherit())
-                .stderr(std::process::Stdio::inherit())
-                .spawn()
-                .expect("Failed to start gnark wrapper process");
+            let child_process =
+                std::process::Command::new(path::Path::new(&args.wrapper_path).join("verifier"))
+                    .arg("-prove")
+                    .arg("-data")
+                    .arg(path::Path::new(&args.wrapper_path))
+                    .stdout(std::process::Stdio::inherit())
+                    .stderr(std::process::Stdio::inherit())
+                    .stdin(std::process::Stdio::piped())
+                    .spawn()
+                    .expect("Failed to start gnark wrapper process");
 
             // Wait for the wrapper_circuit process to complete
             let output = child_process