Fix Jolt benchmarks

This commit is contained in:
Michael Zhu
2024-11-22 12:34:40 -05:00
committed by tanmoy
parent b9c9a742e0
commit e980b7cccb
9 changed files with 39 additions and 21 deletions

View File

@@ -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!();

View File

@@ -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!();

View File

@@ -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!();

View File

@@ -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!();

View File

@@ -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!();

View File

@@ -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!();

View File

@@ -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!();

View File

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

View File

@@ -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!();