1#![allow(non_snake_case)]
 2extern crate flate2;
 3extern crate libspartan;
 4extern crate merlin;
 5extern crate rand;
 6
 7use flate2::{write::ZlibEncoder, Compression};
 8use libspartan::r1csinstance::R1CSInstance;
 9use libspartan::spartan::{NIZKGens, NIZK};
10use libspartan::timer::Timer;
11use merlin::Transcript;
12
13pub fn main() {
14  // the list of number of variables (and constraints) in an R1CS instance
15  let inst_sizes = vec![12, 16, 20];
16
17  println!("Profiler:: NIZK");
18  for &s in inst_sizes.iter() {
19    let num_vars = (2 as usize).pow(s as u32);
20    let num_cons = num_vars;
21    let num_inputs = 10;
22    let (inst, vars, input) = R1CSInstance::produce_synthetic_r1cs(num_cons, num_vars, num_inputs);
23
24    Timer::print(&format!("number_of_constraints {}", num_cons));
25
26    // produce public generators
27    let gens = NIZKGens::new(num_cons, num_vars);
28
29    // produce a proof of satisfiability
30    let timer_prove = Timer::new("NIZK::prove");
31    let mut prover_transcript = Transcript::new(b"example");
32    let proof = NIZK::prove(&inst, vars, &input, &gens, &mut prover_transcript);
33    timer_prove.stop();
34
35    let mut encoder = ZlibEncoder::new(Vec::new(), Compression::default());
36    bincode::serialize_into(&mut encoder, &proof).unwrap();
37    let proof_encoded = encoder.finish().unwrap();
38    let msg_proof_len = format!("NIZK::proof_compressed_len {:?}", proof_encoded.len());
39    Timer::print(&msg_proof_len);
40
41    // verify the proof of satisfiability
42    let timer_verify = Timer::new("NIZK::verify");
43    let mut verifier_transcript = Transcript::new(b"example");
44    assert!(proof
45      .verify(&inst, &input, &mut verifier_transcript, &gens)
46      .is_ok());
47    timer_verify.stop();
48
49    println!();
50  }
51}