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