logos-blockchain/lssa
1
0
Fork 0
mirror of https://github.com/logos-blockchain/lssa.git synced 2026-01-04 06:13:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

add verify functionality

Browse Source
This commit is contained in:
Rostyslav Tyshko 2024-11-10 02:10:37 +01:00
parent 3c72e22346
commit 7e7e7cdd84
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
zkvm/src/lib.rs
View File

@ -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");
}