logos-blockchain/lssa
1
0
Fork 0
mirror of https://github.com/logos-blockchain/lssa.git synced 2026-01-02 21:33:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

fmt

Browse Source
This commit is contained in:
Rostyslav Tyshko 2024-11-10 02:14:01 +01:00
parent ac55fcf01d
commit 88e71fce82
1 changed files with 18 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

52
zkvm/src/lib.rs
View File

@ -4,14 +4,10 @@ pub fn prove<T: serde::ser::Serialize>(input_vec: Vec<T>, elf: &[u8]) -> (u64, R
let mut builder = ExecutorEnv::builder();
for input in input_vec {
builder
.write(&input)
.unwrap();
builder.write(&input).unwrap();
}
let env = builder
.build()
.unwrap();
let env = builder.build().unwrap();
let prover = default_prover();
@ -23,69 +19,57 @@ pub fn prove<T: serde::ser::Serialize>(input_vec: Vec<T>, elf: &[u8]) -> (u64, R
pub fn verify(receipt: Receipt, image_id: impl Into<Digest>) {
receipt
.verify(image_id)
.expect("receipt verification failed");
.verify(image_id)
.expect("receipt verification failed");
}
#[cfg(test)]
mod tests {
use test_methods::{SUMMATION_ELF, SUMMATION_ID};
use test_methods::{MULTIPLICATION_ELF, MULTIPLICATION_ID};
use super::*;
use test_methods::{MULTIPLICATION_ELF, MULTIPLICATION_ID};
use test_methods::{SUMMATION_ELF, SUMMATION_ID};
#[test]
fn simple_sum() {
let message = 1;
let message_2 = 2;
let (digest, receipt) = prove(vec![message, message_2], SUMMATION_ELF);
verify(receipt, SUMMATION_ID);
assert_eq!(
digest,
message + message_2
);
assert_eq!(digest, message + message_2);
}
#[test]
fn bigger_sum() {
let message = 123476;
let message_2 = 2342384;
let (digest, receipt) = prove(vec![message, message_2], SUMMATION_ELF);
verify(receipt, SUMMATION_ID);
assert_eq!(
digest,
message + message_2
);
assert_eq!(digest, message + message_2);
}
#[test]
fn simple_multiplication() {
let message = 1;
let message_2 = 2;
let (digest, receipt) = prove(vec![message, message_2], MULTIPLICATION_ELF);
verify(receipt, MULTIPLICATION_ID);
assert_eq!(
digest,
message * message_2
);
assert_eq!(digest, message * message_2);
}
#[test]
fn bigger_multiplication() {
let message = 3498;
let message_2 = 438563;
let (digest, receipt) = prove(vec![message, message_2], MULTIPLICATION_ELF);
verify(receipt, MULTIPLICATION_ID);
assert_eq!(
digest,
message * message_2
);
assert_eq!(digest, message * message_2);
}
}