Master

Cargo.toml

@@ -25,11 +25,11 @@ ark-bls12-377 = { version = "0.4.0", features = ["r1cs","curve"] }
 ark-bls12-381 = { version = "0.4.0", features = ["curve"] }
 ark-blst = { git = "https://github.com/nikkolasg/ark-blst"  }
 ark-serialize = { version = "0.4.0", features = ["derive"] }
-ark-crypto-primitives = {version = "0.4.0", features = ["sponge","r1cs","snark"] }
+ark-crypto-primitives = {version = "^0.4.0", features = ["sponge","r1cs","snark"] }
 ark-r1cs-std = { version = "0.4.0", default-features = false }
 ark-relations = { version = "0.4.0", default-features = false, optional = true }
 ark-snark = { version = "0.4.0", default-features = false }
-ark-groth16 = { version = "0.3.0" }
+ark-groth16 = { version = "0.4.0", features = ["r1cs"] }
 ark-bw6-761 = { version = "0.4.0" }
 ark-poly-commit = { version = "0.4.0" }
 ark-poly = {version = "0.4.0"}
@@ -47,6 +47,7 @@ tracing-subscriber = { version = "0.2" }
 
 
 [dev-dependencies]
+rand_chacha = { version = "0.3.0", default-features = false }
 serde = { version = "1.0", features = ["derive"] }
 csv = "1.1.5"
 criterion = "0.3.6"
@@ -67,6 +68,10 @@ harness = false
 name = "pst"
 harness = false
 
+[[bench]]
+name = "testudo_comm"
+harness = false
+
 [features]
 multicore = ["rayon"]
 profile = []

benches/pst.rs

@@ -1,98 +1,99 @@
-use std::time::Instant;
-
-use ark_poly_commit::multilinear_pc::MultilinearPC;
-use ark_serialize::CanonicalSerialize;
-use libtestudo::{
-  parameters::PoseidonConfiguration, poseidon_transcript::PoseidonTranscript, sqrt_pst::Polynomial,
-};
-use serde::Serialize;
-type F = ark_bls12_377::Fr;
-type E = ark_bls12_377::Bls12_377;
-use ark_std::UniformRand;
-
-#[derive(Default, Clone, Serialize)]
-struct BenchmarkResults {
-  power: usize,
-  commit_time: u128,
-  opening_time: u128,
-  verification_time: u128,
-  proof_size: usize,
-  commiter_key_size: usize,
-}
-fn main() {
-  let params = ark_bls12_377::Fr::poseidon_params();
-
-  let mut writer = csv::Writer::from_path("sqrt_pst.csv").expect("unable to open csv writer");
-  for &s in [4, 5, 20, 27].iter() {
-    println!("Running for {} inputs", s);
-    let mut rng = ark_std::test_rng();
-    let mut br = BenchmarkResults::default();
-    br.power = s;
-    let num_vars = s;
-    let len = 2_usize.pow(num_vars as u32);
-    let z: Vec<F> = (0..len).into_iter().map(|_| F::rand(&mut rng)).collect();
-    let r: Vec<F> = (0..num_vars)
-      .into_iter()
-      .map(|_| F::rand(&mut rng))
-      .collect();
-
-    let setup_vars = (num_vars as f32 / 2.0).ceil() as usize;
-    let gens = MultilinearPC::<E>::setup((num_vars as f32 / 2.0).ceil() as usize, &mut rng);
-    let (ck, vk) = MultilinearPC::<E>::trim(&gens, setup_vars);
-
-    let mut cks = Vec::<u8>::new();
-    ck.serialize_with_mode(&mut cks, ark_serialize::Compress::Yes)
-      .unwrap();
-    br.commiter_key_size = cks.len();
-
-    let mut pl = Polynomial::from_evaluations(&z.clone());
-
-    let v = pl.eval(&r);
-
-    let start = Instant::now();
-    let (comm_list, t) = pl.commit(&ck);
-    let duration = start.elapsed().as_millis();
-    br.commit_time = duration;
-
-    let mut prover_transcript = PoseidonTranscript::new(&params);
-
-    let start = Instant::now();
-    let (u, pst_proof, mipp_proof) = pl.open(&mut prover_transcript, comm_list, &ck, &r, &t);
-    let duration = start.elapsed().as_millis();
-    br.opening_time = duration;
-
-    let mut p1 = Vec::<u8>::new();
-    let mut p2 = Vec::<u8>::new();
-    pst_proof
-      .serialize_with_mode(&mut p1, ark_serialize::Compress::Yes)
-      .unwrap();
-
-    mipp_proof
-      .serialize_with_mode(&mut p2, ark_serialize::Compress::Yes)
-      .unwrap();
-
-    br.proof_size = p1.len() + p2.len();
-
-    let mut verifier_transcript = PoseidonTranscript::new(&params);
-
-    let start = Instant::now();
-    let res = Polynomial::verify(
-      &mut verifier_transcript,
-      &vk,
-      &u,
-      &r,
-      v,
-      &pst_proof,
-      &mipp_proof,
-      &t,
-    );
-    let duration = start.elapsed().as_millis();
-    br.verification_time = duration;
-    assert!(res == true);
-
-    writer
-      .serialize(br)
-      .expect("unable to write results to csv");
-    writer.flush().expect("wasn't able to flush");
-  }
-}
+// use std::time::Instant;
+
+// use ark_poly_commit::multilinear_pc::MultilinearPC;
+// use ark_serialize::CanonicalSerialize;
+// use libtestudo::{
+//   parameters::PoseidonConfiguration, poseidon_transcript::PoseidonTranscript, sqrt_pst::Polynomial,
+// };
+// use serde::Serialize;
+// type F = ark_bls12_377::Fr;
+// type E = ark_bls12_377::Bls12_377;
+// use ark_std::UniformRand;
+
+// #[derive(Default, Clone, Serialize)]
+// struct BenchmarkResults {
+//   power: usize,
+//   commit_time: u128,
+//   opening_time: u128,
+//   verification_time: u128,
+//   proof_size: usize,
+//   commiter_key_size: usize,
+// }
+// fn main() {
+//   let params = ark_bls12_377::Fr::poseidon_params();
+
+//   let mut writer = csv::Writer::from_path("sqrt_pst.csv").expect("unable to open csv writer");
+//   for &s in [4, 5, 20, 27].iter() {
+//     println!("Running for {} inputs", s);
+//     let mut rng = ark_std::test_rng();
+//     let mut br = BenchmarkResults::default();
+//     br.power = s;
+//     let num_vars = s;
+//     let len = 2_usize.pow(num_vars as u32);
+//     let z: Vec<F> = (0..len).into_iter().map(|_| F::rand(&mut rng)).collect();
+//     let r: Vec<F> = (0..num_vars)
+//       .into_iter()
+//       .map(|_| F::rand(&mut rng))
+//       .collect();
+
+//     let setup_vars = (num_vars as f32 / 2.0).ceil() as usize;
+//     let gens = MultilinearPC::<E>::setup((num_vars as f32 / 2.0).ceil() as usize, &mut rng);
+//     let (ck, vk) = MultilinearPC::<E>::trim(&gens, setup_vars);
+
+//     let mut cks = Vec::<u8>::new();
+//     ck.serialize_with_mode(&mut cks, ark_serialize::Compress::Yes)
+//       .unwrap();
+//     br.commiter_key_size = cks.len();
+
+//     let mut pl = Polynomial::from_evaluations(&z.clone());
+
+//     let v = pl.eval(&r);
+
+//     let start = Instant::now();
+//     let (comm_list, t) = pl.commit(&ck);
+//     let duration = start.elapsed().as_millis();
+//     br.commit_time = duration;
+
+//     let mut prover_transcript = PoseidonTranscript::new(&params);
+
+//     let start = Instant::now();
+//     let (u, pst_proof, mipp_proof) = pl.open(&mut prover_transcript, comm_list, &ck, &r, &t);
+//     let duration = start.elapsed().as_millis();
+//     br.opening_time = duration;
+
+//     let mut p1 = Vec::<u8>::new();
+//     let mut p2 = Vec::<u8>::new();
+//     pst_proof
+//       .serialize_with_mode(&mut p1, ark_serialize::Compress::Yes)
+//       .unwrap();
+
+//     mipp_proof
+//       .serialize_with_mode(&mut p2, ark_serialize::Compress::Yes)
+//       .unwrap();
+
+//     br.proof_size = p1.len() + p2.len();
+
+//     let mut verifier_transcript = PoseidonTranscript::new(&params);
+
+//     let start = Instant::now();
+//     let res = Polynomial::verify(
+//       &mut verifier_transcript,
+//       &vk,
+//       &u,
+//       &r,
+//       v,
+//       &pst_proof,
+//       &mipp_proof,
+//       &t,
+//     );
+//     let duration = start.elapsed().as_millis();
+//     br.verification_time = duration;
+//     assert!(res == true);
+
+//     writer
+//       .serialize(br)
+//       .expect("unable to write results to csv");
+//     writer.flush().expect("wasn't able to flush");
+//   }
+// }
+fn main() {}