From 14df474edaeabc0483b98f76a1d50780169c124e Mon Sep 17 00:00:00 2001
From: srdtrk <srdtrk@hotmail.com>
Date: Wed, 22 Jan 2025 17:13:37 +0800
Subject: [PATCH] fix: EnvProver verify

---
 crates/sdk/src/env/mod.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/crates/sdk/src/env/mod.rs b/crates/sdk/src/env/mod.rs
index e4a3eb1d95..282ca0f852 100644
--- 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)
+    }
 }