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::math::Math;
 9use libspartan::r1csinstance::{R1CSCommitmentGens, R1CSInstance};
10use libspartan::r1csproof::R1CSGens;
11use libspartan::spartan::{SpartanGens, SpartanProof};
12use libspartan::timer::Timer;
13use merlin::Transcript;
14
15pub fn main() {
16  for &s in [12, 16, 20].iter() {
17    let num_vars = (s as usize).pow2();
18    let num_cons = num_vars;
19    let num_inputs = 10;
20    let (inst, vars, input) = R1CSInstance::produce_synthetic_r1cs(num_cons, num_vars, num_inputs);
21
22    let r1cs_size = inst.size();
23    let gens_r1cs_eval = R1CSCommitmentGens::new(&r1cs_size, b"gens_r1cs_eval");
24
25    Timer::print(&format!("number_of_constraints {}", num_cons));
26    // create a commitment to R1CSInstance
27    let timer_encode = Timer::new("SpartanProof::encode");
28    let (comm, decomm) = SpartanProof::encode(&inst, &gens_r1cs_eval);
29    timer_encode.stop();
30
31    let gens_r1cs_sat = R1CSGens::new(num_cons, num_vars, b"gens_r1cs_sat");
32    let gens = SpartanGens::new(gens_r1cs_sat, gens_r1cs_eval);
33
34    // produce a proof of satisfiability
35    let timer_prove = Timer::new("SpartanProof::prove");
36    let mut prover_transcript = Transcript::new(b"example");
37    let proof = SpartanProof::prove(&inst, &decomm, vars, &input, &gens, &mut prover_transcript);
38    timer_prove.stop();
39
40    let mut encoder = ZlibEncoder::new(Vec::new(), Compression::default());
41    bincode::serialize_into(&mut encoder, &proof).unwrap();
42    let proof_encoded = encoder.finish().unwrap();
43    let msg_proof_len = format!("proof_compressed_len {:?}", proof_encoded.len());
44    Timer::print(&msg_proof_len);
45
46    let timer_verify = Timer::new("SpartanProof::verify");
47    let mut verifier_transcript = Transcript::new(b"example");
48    assert!(proof
49      .verify(&comm, &input, &mut verifier_transcript, &gens)
50      .is_ok());
51    timer_verify.stop();
52
53    println!();
54  }
55}