1#![allow(non_snake_case)]
 2#![allow(clippy::assertions_on_result_states)]
 3
 4extern crate flate2;
 5extern crate libspartan;
 6extern crate merlin;
 7extern crate rand;
 8
 9use ark_serialize::*;
10use libspartan::parameters::poseidon_params;
11use libspartan::poseidon_transcript::PoseidonTranscript;
12use libspartan::{Instance, NIZKGens, NIZK};
13use merlin::Transcript;
14
15fn print(msg: &str) {
16  let star = "* ";
17  println!("{:indent$}{}{}", "", star, msg, indent = 2);
18}
19
20pub fn main() {
21  // the list of number of variables (and constraints) in an R1CS instance
22  let inst_sizes = vec![10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20];
23
24  println!("Profiler:: NIZK");
25  for &s in inst_sizes.iter() {
26    let num_vars = (2_usize).pow(s as u32);
27    let num_cons = num_vars;
28    let num_inputs = 10;
29
30    // produce a synthetic R1CSInstance
31    let (inst, vars, inputs) = Instance::produce_synthetic_r1cs(num_cons, num_vars, num_inputs);
32
33    // produce public generators
34    let gens = NIZKGens::new(num_cons, num_vars, num_inputs);
35
36    let params = poseidon_params();
37    // produce a proof of satisfiability
38    let mut prover_transcript = PoseidonTranscript::new(&params);
39    let proof = NIZK::prove(&inst, vars, &inputs, &gens, &mut prover_transcript);
40
41    let mut proof_encoded = Vec::new();
42    proof.serialize(&mut proof_encoded).unwrap();
43    let msg_proof_len = format!("NIZK::proof_compressed_len {:?}", proof_encoded.len());
44    print(&msg_proof_len);
45
46    // verify the proof of satisfiability
47    let mut verifier_transcript = PoseidonTranscript::new(&params);
48    assert!(proof
49      .verify(&inst, &inputs, &mut verifier_transcript, &gens)
50      .is_ok());
51
52    println!();
53  }
54}