From 7e7e7cdd84f8ae17d7736c167aa90cb7839871b5 Mon Sep 17 00:00:00 2001
From: Rostyslav Tyshko <tyshko.rostyslav@gmail.com>
Date: Sun, 10 Nov 2024 02:10:37 +0100
Subject: [PATCH] add verify functionality

---
 zkvm/src/lib.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/zkvm/src/lib.rs b/zkvm/src/lib.rs
index 2865efb..bd81b66 100644
--- a/zkvm/src/lib.rs
+++ b/zkvm/src/lib.rs
@@ -20,3 +20,9 @@ pub fn prove<T: serde::ser::Serialize>(input_vec: Vec<T>, elf: &[u8]) -> (u64, R
     let digest = receipt.journal.decode().unwrap();
     (digest, receipt)
 }
+
+pub fn verify(receipt: Receipt, image_id: impl Into<Digest>) {
+    receipt
+    .verify(image_id)
+    .expect("receipt verification failed");
+}