fix(sdk): implemented verify for EnvProver (#1963)

succinctlabs · Feb 8, 2025 · 187684c · 187684c
1 parent faf5d41
commit 187684c
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)
+    }
 }