From e980b7cccbdd9d1f092fc588e6bdc9fc7af05caa Mon Sep 17 00:00:00 2001 From: Michael Zhu Date: Fri, 22 Nov 2024 12:34:40 -0500 Subject: [PATCH] Fix Jolt benchmarks --- jolt/algos/addition/src/main.rs | 6 ++++-- jolt/algos/division/src/main.rs | 6 ++++-- jolt/algos/fib/src/main.rs | 10 ++++++---- jolt/algos/for-loop/src/main.rs | 6 ++++-- jolt/algos/merkle-leaf-proof/src/main.rs | 6 ++++-- jolt/algos/multiplication/src/main.rs | 6 ++++-- jolt/algos/poseidon/src/main.rs | 6 ++++-- jolt/algos/sha256/src/main.rs | 8 +++++--- jolt/algos/subtraction/src/main.rs | 6 ++++-- 9 files changed, 39 insertions(+), 21 deletions(-) diff --git a/jolt/algos/addition/src/main.rs b/jolt/algos/addition/src/main.rs index 1a6eef0..6b0e3df 100644 --- a/jolt/algos/addition/src/main.rs +++ b/jolt/algos/addition/src/main.rs @@ -2,12 +2,14 @@ use jolt::Serializable; pub fn main() { let start = std::time::Instant::now(); - let proving_time = std::time::Instant::now(); let (prove_add, verify_add) = guest::build_add(); + let proving_time = std::time::Instant::now(); let (output, proof) = prove_add(10, 20); println!("Prover Time {:?}", proving_time.elapsed()); - proof.save_to_file("proof.bin").expect("Failed to save proof to file"); + proof + .save_to_file("proof.bin") + .expect("Failed to save proof to file"); println!("Proof Size {:?}", proof.size().unwrap()); println!(); diff --git a/jolt/algos/division/src/main.rs b/jolt/algos/division/src/main.rs index a8a8a39..07d0391 100644 --- a/jolt/algos/division/src/main.rs +++ b/jolt/algos/division/src/main.rs @@ -2,12 +2,14 @@ use jolt::Serializable; pub fn main() { let start = std::time::Instant::now(); - let proving_time = std::time::Instant::now(); let (prove_div, verify_div) = guest::build_div(); + let proving_time = std::time::Instant::now(); let (output, proof) = prove_div(40, 10); println!("Prover Time {:?}", proving_time.elapsed()); - proof.save_to_file("proof.bin").expect("Failed to save proof to file"); + proof + .save_to_file("proof.bin") + .expect("Failed to save proof to file"); println!("Proof Size {:?}", proof.size().unwrap()); println!(); diff --git a/jolt/algos/fib/src/main.rs b/jolt/algos/fib/src/main.rs index 3a13eaf..fa3bf3d 100644 --- a/jolt/algos/fib/src/main.rs +++ b/jolt/algos/fib/src/main.rs @@ -1,7 +1,7 @@ +use jolt::Serializable; +use serde_json::Value; use std::fs::File; use std::io::BufReader; -use serde_json::Value; -use jolt::Serializable; pub fn main() { let file = File::open("../../inputs/data.json").expect("Failed to open input file"); @@ -18,12 +18,14 @@ pub fn main() { // println!("Prover Execution Time {:?}", prover_execution_trace_duration); println!(); - let proving_time = std::time::Instant::now(); let (prove_fib, verify_fib) = guest::build_fib(); + let proving_time = std::time::Instant::now(); let (output, proof) = prove_fib(n); println!("Prover Time {:?}", proving_time.elapsed()); - proof.save_to_file("proof.bin").expect("Failed to save proof to file"); + proof + .save_to_file("proof.bin") + .expect("Failed to save proof to file"); println!("Proof Size {:?}", proof.size().unwrap()); println!(); diff --git a/jolt/algos/for-loop/src/main.rs b/jolt/algos/for-loop/src/main.rs index 825f155..805a005 100644 --- a/jolt/algos/for-loop/src/main.rs +++ b/jolt/algos/for-loop/src/main.rs @@ -2,12 +2,14 @@ use jolt::Serializable; pub fn main() { let start = std::time::Instant::now(); - let proving_time = std::time::Instant::now(); let (prove_for_loop, verify_for_loop) = guest::build_for_loop(); + let proving_time = std::time::Instant::now(); let (output, proof) = prove_for_loop(10); println!("Prover Time {:?}", proving_time.elapsed()); - proof.save_to_file("proof.bin").expect("Failed to save proof to file"); + proof + .save_to_file("proof.bin") + .expect("Failed to save proof to file"); println!("Proof Size {:?}", proof.size().unwrap()); println!(); diff --git a/jolt/algos/merkle-leaf-proof/src/main.rs b/jolt/algos/merkle-leaf-proof/src/main.rs index 677d54f..684612b 100644 --- a/jolt/algos/merkle-leaf-proof/src/main.rs +++ b/jolt/algos/merkle-leaf-proof/src/main.rs @@ -2,13 +2,15 @@ use jolt::Serializable; pub fn main() { let start = std::time::Instant::now(); - let proving_time = std::time::Instant::now(); let (prove, verify) = guest::build_generate_merkle_proof(); + let proving_time = std::time::Instant::now(); let (output, proof) = prove(5); println!("Prover Time {:?}", proving_time.elapsed()); - proof.save_to_file("proof.bin").expect("Failed to save proof to file"); + proof + .save_to_file("proof.bin") + .expect("Failed to save proof to file"); println!("Proof Size {:?}", proof.size().unwrap()); println!(); diff --git a/jolt/algos/multiplication/src/main.rs b/jolt/algos/multiplication/src/main.rs index 2e4c6ae..b9c701e 100644 --- a/jolt/algos/multiplication/src/main.rs +++ b/jolt/algos/multiplication/src/main.rs @@ -2,12 +2,14 @@ use jolt::Serializable; pub fn main() { let start = std::time::Instant::now(); - let proving_time = std::time::Instant::now(); let (prove_mul, verify_mul) = guest::build_mul(); + let proving_time = std::time::Instant::now(); let (output, proof) = prove_mul(10, 20); println!("Prover Time {:?}", proving_time.elapsed()); - proof.save_to_file("proof.bin").expect("Failed to save proof to file"); + proof + .save_to_file("proof.bin") + .expect("Failed to save proof to file"); println!("Proof Size {:?}", proof.size().unwrap()); println!(); diff --git a/jolt/algos/poseidon/src/main.rs b/jolt/algos/poseidon/src/main.rs index 5c25283..055212b 100644 --- a/jolt/algos/poseidon/src/main.rs +++ b/jolt/algos/poseidon/src/main.rs @@ -2,12 +2,14 @@ use jolt::Serializable; pub fn main() { let start = std::time::Instant::now(); - let proving_time = std::time::Instant::now(); let (prove, verify) = guest::build_pos(); + let proving_time = std::time::Instant::now(); let (output, proof) = prove(); println!("Prover Time {:?}", proving_time.elapsed()); - proof.save_to_file("proof.bin").expect("Failed to save proof to file"); + proof + .save_to_file("proof.bin") + .expect("Failed to save proof to file"); println!("Proof Size {:?}", proof.size().unwrap()); println!(); diff --git a/jolt/algos/sha256/src/main.rs b/jolt/algos/sha256/src/main.rs index 1cedbaa..5461607 100644 --- a/jolt/algos/sha256/src/main.rs +++ b/jolt/algos/sha256/src/main.rs @@ -2,14 +2,16 @@ use jolt::Serializable; pub fn main() { let start = std::time::Instant::now(); - let proving_time = std::time::Instant::now(); let (prove_sha2, verify_sha2) = guest::build_sha2(); + let proving_time = std::time::Instant::now(); let input = &[5u8; 4000]; let (output, proof) = prove_sha2(input); println!("Prover Time {:?}", proving_time.elapsed()); - proof.save_to_file("proof.bin").expect("Failed to save proof to file"); + proof + .save_to_file("proof.bin") + .expect("Failed to save proof to file"); println!("Proof Size {:?}", proof.size().unwrap()); println!(); @@ -22,4 +24,4 @@ pub fn main() { println!("valid: {}", is_valid); println!("Total Time elapsed: {:?}", start.elapsed()); -} \ No newline at end of file +} diff --git a/jolt/algos/subtraction/src/main.rs b/jolt/algos/subtraction/src/main.rs index 97cdee1..69928fb 100644 --- a/jolt/algos/subtraction/src/main.rs +++ b/jolt/algos/subtraction/src/main.rs @@ -2,12 +2,14 @@ use jolt::Serializable; pub fn main() { let start = std::time::Instant::now(); - let proving_time = std::time::Instant::now(); let (prove_sub, verify_sub) = guest::build_sub(); + let proving_time = std::time::Instant::now(); let (output, proof) = prove_sub(100, 10); println!("Prover Time {:?}", proving_time.elapsed()); - proof.save_to_file("proof.bin").expect("Failed to save proof to file"); + proof + .save_to_file("proof.bin") + .expect("Failed to save proof to file"); println!("Proof Size {:?}", proof.size().unwrap()); println!();