fix: EnvProver verify

succinctlabs · Jan 23, 2025 · 14df474 · 14df474
1 parent ab3b5cc
commit 14df474
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/crates/sdk/src/env/mod.rs b/crates/sdk/src/env/mod.rs
@@ -182,4 +182,12 @@ impl Prover<CpuProverComponents> for EnvProver {
     ) -> Result<SP1ProofWithPublicValues> {
         self.prover.prove(pk, stdin, mode)
     }
+
+    fn verify(
+        &self,
+        bundle: &SP1ProofWithPublicValues,
+        vkey: &SP1VerifyingKey,
+    ) -> Result<(), SP1VerificationError> {
+        self.prover.verify(bundle, vkey)
+    }
 }