fix: update example

Author: prajwolrg

Cargo.lock

@@ -1,8 +1,8 @@
 //! # zkaleido-risc0-groth16-verifier
 //!
 //! This crate integrates RISC Zero-based Groth16 proof verification based on zkaleido traits.
+mod errors;
 mod sha256;
 mod verifier;
-mod errors;
 
 pub use verifier::Risc0Groth16Verifier;

adapters/risc0/groth16-verifier/src/lib.rs

@@ -9,3 +9,5 @@ zkaleido-risc0-groth16-verifier = { path = "../../adapters/risc0/groth16-verifie
 zkaleido = { path = "../../zkaleido" }
 zkaleido-native-adapter = { path = "../../adapters/native" }
 hex.workspace = true
+risc0-groth16 = "2.0.1"
+risc0-zkp = "2.0.1"

examples/groth16-verify-risc0/Cargo.toml

@@ -1,29 +1,50 @@
 use std::path::PathBuf;
 
+use risc0_groth16::verifying_key;
+use risc0_zkp::core::digest::{digest, Digest};
 use serde::{Deserialize, Serialize};
 use zkaleido::ProofReceipt;
+use zkaleido_risc0_groth16_verifier::Risc0Groth16Verifier;
 
 #[derive(Debug, Clone, Serialize, Deserialize)]
 pub struct Risc0Groth16VerifyInput {
     pub risc0_receipt: ProofReceipt,
-    pub risc0_vk: [u8; 32],
+    pub risc0_verifier: Risc0Groth16Verifier,
 }
 
 impl Risc0Groth16VerifyInput {
     pub fn load() -> Self {
         let base = PathBuf::from(env!("CARGO_MANIFEST_DIR"));
 
-        let risc0_vk_hex = "7f3599b6e5c45edc6c2dcd88a9df76d1c9fce38cfb2afc8e5615f154d878009b";
-        let risc0_vk: [u8; 32] = hex::decode(risc0_vk_hex).unwrap().try_into().unwrap();
+        let image_id_hex = "7f3599b6e5c45edc6c2dcd88a9df76d1c9fce38cfb2afc8e5615f154d878009b";
+        let image_id: [u8; 32] = hex::decode(image_id_hex).unwrap().try_into().unwrap();
+        let image_id = Digest::from_bytes(image_id);
+
         let proof_file = base.join(format!(
             "../../adapters/risc0/groth16-verifier/proofs/fibonacci_risc0_{}.proof.bin",
-            risc0_vk_hex
+            image_id_hex
         ));
         let risc0_receipt = ProofReceipt::load(proof_file).unwrap();
 
+        let vk = verifying_key();
+
+        pub const ALLOWED_CONTROL_ROOT: Digest =
+            digest!("884389273e128b32475b334dec75ee619b77cb33d41c332021fe7e44c746ee60");
+
+        pub const BN254_IDENTITY_CONTROL_ID: Digest =
+            digest!("c07a65145c3cb48b6101962ea607a4dd93c753bb26975cb47feb00d3666e4404");
+
+        let risc0_verifier = Risc0Groth16Verifier::load(
+            vk,
+            BN254_IDENTITY_CONTROL_ID,
+            ALLOWED_CONTROL_ROOT,
+            image_id,
+        )
+        .unwrap();
+
         Risc0Groth16VerifyInput {
             risc0_receipt,
-            risc0_vk,
+            risc0_verifier,
         }
     }
 }

examples/groth16-verify-risc0/src/input.rs

@@ -8,11 +8,15 @@ pub mod program;
 pub fn process_groth16_verify_risc0(zkvm: &impl ZkVmEnv) {
     let Risc0Groth16VerifyInput {
         risc0_receipt,
-        risc0_vk,
+        risc0_verifier,
     } = zkvm.read_serde();
 
-    let risc0_verified =
-        zkaleido_risc0_groth16_verifier::verify_groth16(&risc0_receipt, &risc0_vk).is_ok();
+    let risc0_verified = risc0_verifier
+        .verify(
+            risc0_receipt.proof().as_bytes(),
+            risc0_receipt.public_values().as_bytes(),
+        )
+        .is_ok();
 
     zkvm.commit_serde(&risc0_verified);
 }