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::{Instance, NIZKGens, NIZK};
 9use merlin::Transcript;
10
11fn print(msg: &str) {
12  let star = "* ";
13  println!("{:indent$}{}{}", "", star, msg.to_string(), indent = 2);
14}
15
16pub fn main() {
17  // the list of number of variables (and constraints) in an R1CS instance
18  let inst_sizes = vec![10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20];
19
20  println!("Profiler:: NIZK");
21  for &s in inst_sizes.iter() {
22    let num_vars = (2 as usize).pow(s as u32);
23    let num_cons = num_vars;
24    let num_inputs = 10;
25    let (inst, vars, inputs) = Instance::new(num_cons, num_vars, num_inputs);
26
27    // produce public generators
28    let gens = NIZKGens::new(num_cons, num_vars);
29
30    // produce a proof of satisfiability
31    let mut prover_transcript = Transcript::new(b"nizk_example");
32    let proof = NIZK::prove(&inst, vars, &inputs, &gens, &mut prover_transcript);
33
34    let mut encoder = ZlibEncoder::new(Vec::new(), Compression::default());
35    bincode::serialize_into(&mut encoder, &proof).unwrap();
36    let proof_encoded = encoder.finish().unwrap();
37    let msg_proof_len = format!("NIZK::proof_compressed_len {:?}", proof_encoded.len());
38    print(&msg_proof_len);
39
40    // verify the proof of satisfiability
41    let mut verifier_transcript = Transcript::new(b"nizk_example");
42    assert!(proof
43      .verify(&inst, &inputs, &mut verifier_transcript, &gens)
44      .is_ok());
45
46    println!();
47  }
48}