Verify output file

scripts/prove_rpc.rs

@@ -1,7 +1,8 @@
 use std::{
     env::set_var,
     fmt::Display,
-    fs::create_dir_all,
+    fs::{create_dir_all, File},
+    io::{BufRead, BufReader},
     path::{Path, PathBuf},
 };
 
@@ -171,8 +172,11 @@ pub fn prove_via_rpc(args: ProveRpcArgs) -> Result<()> {
                     "-f",
                     proof_filepath.to_str().unwrap(),
                 ])
-                .pipe(verify_output_filepath)?;
-            verify_runner.run()
+                .pipe(&verify_output_filepath)?;
+            verify_runner.run()?;
+
+            // Validate the proof output file.
+            verify_proof_output(&verify_output_filepath)
         }
     }
 }
@@ -213,3 +217,15 @@ fn command_args<'a>(leader_args: &'a [&str]) -> Vec<&'a str> {
     args.extend_from_slice(leader_args);
     args
 }
+
+/// Checks that the output file contains the expected success message.
+fn verify_proof_output(verify_output_filepath: &Path) -> Result<()> {
+    let verify_output_file = File::open(verify_output_filepath)?;
+    let reader = BufReader::new(verify_output_file);
+    for line in reader.lines() {
+        if line? == "All proofs verified successfully!" {
+            return Ok(());
+        }
+    }
+    anyhow::bail!("Proof verification failed!")
+}

scripts/runner.rs

@@ -1,6 +1,6 @@
 use std::{
     fs::File,
-    path::PathBuf,
+    path::{Path, PathBuf},
     process::{Command, Stdio},
 };
 
@@ -33,8 +33,8 @@ impl Runner {
 
     /// Create the file specified by `output_filepath` and set it as the stdout
     /// and stderr of the command.
-    pub fn pipe(mut self, output_filepath: impl Into<PathBuf>) -> Result<Self> {
-        let out = File::create(output_filepath.into())?;
+    pub fn pipe(mut self, output_filepath: &Path) -> Result<Self> {
+        let out = File::create(output_filepath)?;
         let err = out.try_clone()?;
         self.stdout = Stdio::from(out);
         self.stderr = Stdio::from(err);