fix: add emulate and verify to sdk client

Cargo.toml

@@ -3,7 +3,7 @@ members = ["derive", "vm", "sdk/*", "scripts", "gnark/field-ffi", "perf"]
 resolver = "2"
 
 [workspace.package]
-version = "1.1.2"
+version = "1.1.3"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 keywords = ["zkvm", "plonky3", "stark", "FRI"]
@@ -151,4 +151,4 @@ tracing-forest = { version = "0.1.6", features = ["ansi", "smallvec"] }
 tracing-subscriber = { version = "0.3.18", features = ["std", "env-filter"] }
 typenum = "1.17.0"
 vec_map = "0.8.2"
-zkhash = "0.2.0"
+zkhash = "0.2.0"

perf/src/bin/bench.rs

@@ -359,7 +359,7 @@ where
 
     log_section("RISCV PHASE");
     info!("Running RISCV");
-    let (cycles, riscv_duration) = time_operation(|| riscv.run_tracegen(stdin));
+    let (cycles, riscv_duration) = time_operation(|| riscv.emulate(stdin));
 
     log_section("PERFORMANCE SUMMARY");
     info!("Time Metrics (wall time)");

sdk/sdk/src/client.rs

@@ -133,6 +133,30 @@ macro_rules! create_sdk_prove_client {
                 Ok((riscv_proof, proof))
             }
 
+            /// verify the riscv and embed proof
+            pub fn verify(
+                &self,
+                proof: &(MetaProof<$sc>, MetaProof<$bn254_sc>),
+            ) -> Result<(), Error> {
+                let riscv_vk = self.riscv_vk();
+                if !self.riscv.verify(&proof.0, riscv_vk) {
+                    return Err(Error::msg("verify riscv proof failed"));
+                }
+                if !self.embed.verify(&proof.1, riscv_vk) {
+                    return Err(Error::msg("verify embed proof failed"));
+                }
+                Ok(())
+            }
+
+            /// emulate the program and return the cycles
+            pub fn emulate(
+                &self,
+                stdin: EmulatorStdinBuilder<Vec<u8>>,
+            ) -> u64 {
+                let stdin = stdin.finalize();
+                self.riscv.emulate(stdin)
+            }
+
             pub fn write_onchain_data(
                 &self,
                 outdir: impl AsRef<Path>,