Benchmarks verification (#4)

* benchmarks verification * fmt * upgrades gmp
kobigurk · Apr 27, 2020 · 09f9bc2 · 09f9bc2
1 parent 5874890
commit 09f9bc2
Show file tree

Hide file tree

Showing 11 changed files with 230 additions and 146 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -24,10 +24,11 @@ blake2 = ">= 0.8.1"
 [features]
 dalek = ["curve25519-dalek", "bulletproofs"]
 zexe = []
+class = []
 default = ["zexe"]
 
 [dev-dependencies]
-criterion = "0.2"
+criterion = "0.3"
 
 [lib]
 bench = false
@@ -65,7 +66,7 @@ required-features = ["zexe"]
 [[bench]]
 name = "membership_class"
 harness = false
-required-features = ["zexe"]
+required-features = ["zexe", "class"]
 
 [[bench]]
 name = "membership_bp"

diff --git a/benches/membership_bp.rs b/benches/membership_bp.rs
@@ -95,7 +95,7 @@ pub fn criterion_benchmark(c: &mut Criterion) {
     let mut prover_channel = TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
     protocol.verify(&mut prover_channel, &statement).unwrap();
 
-    c.bench_function("membership_bp protocol", move |b| {
+    c.bench_function("membership_bp protocol proving", |b| {
         b.iter(|| {
             let proof_transcript = RefCell::new(Transcript::new(b"membership"));
             crs.crs_hash_to_prime.hash_to_prime_parameters.transcript =
@@ -120,6 +120,16 @@ pub fn criterion_benchmark(c: &mut Criterion) {
                 .unwrap();
         })
     });
+    c.bench_function("membership_bp protocol verification", |b| {
+        b.iter(|| {
+            let verification_transcript = RefCell::new(Transcript::new(b"membership"));
+            crs.crs_hash_to_prime.hash_to_prime_parameters.transcript =
+                Some(verification_transcript.clone());
+            let mut prover_channel =
+                TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
+            protocol.verify(&mut prover_channel, &statement).unwrap();
+        })
+    });
 }
 
 criterion_group!(benches, criterion_benchmark);

diff --git a/benches/membership_bp_60.rs b/benches/membership_bp_60.rs
@@ -97,7 +97,7 @@ pub fn criterion_benchmark(c: &mut Criterion) {
     let mut prover_channel = TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
     protocol.verify(&mut prover_channel, &statement).unwrap();
 
-    c.bench_function("membership_bp_60 protocol", move |b| {
+    c.bench_function("membership_bp_60 protocol proving", |b| {
         b.iter(|| {
             let proof_transcript = RefCell::new(Transcript::new(b"membership"));
             crs.crs_hash_to_prime.hash_to_prime_parameters.transcript =
@@ -122,6 +122,16 @@ pub fn criterion_benchmark(c: &mut Criterion) {
                 .unwrap();
         })
     });
+    c.bench_function("membership_bp_60 protocol verification", |b| {
+        b.iter(|| {
+            let verification_transcript = RefCell::new(Transcript::new(b"membership"));
+            crs.crs_hash_to_prime.hash_to_prime_parameters.transcript =
+                Some(verification_transcript.clone());
+            let mut prover_channel =
+                TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
+            protocol.verify(&mut prover_channel, &statement).unwrap();
+        })
+    });
 }
 
 criterion_group!(benches, criterion_benchmark);

diff --git a/benches/membership_class.rs b/benches/membership_class.rs
@@ -96,7 +96,7 @@ pub fn criterion_benchmark(c: &mut Criterion) {
     let mut prover_channel = TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
     protocol.verify(&mut prover_channel, &statement).unwrap();
 
-    c.bench_function("membership_class protocol", move |b| {
+    c.bench_function("membership_class protocol proving", |b| {
         b.iter(|| {
             let proof_transcript = RefCell::new(Transcript::new(b"membership"));
             let mut verifier_channel = TranscriptVerifierChannel::new(&crs, &proof_transcript);
@@ -119,6 +119,15 @@ pub fn criterion_benchmark(c: &mut Criterion) {
                 .unwrap();
         })
     });
+
+    c.bench_function("membership_class protocol verification", |b| {
+        b.iter(|| {
+            let verification_transcript = RefCell::new(Transcript::new(b"membership"));
+            let mut prover_channel =
+                TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
+            protocol.verify(&mut prover_channel, &statement).unwrap();
+        })
+    });
 }
 
 criterion_group!(benches, criterion_benchmark);

diff --git a/benches/membership_hash.rs b/benches/membership_hash.rs
@@ -107,7 +107,7 @@ pub fn criterion_benchmark(c: &mut Criterion) {
     let mut prover_channel = TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
     protocol.verify(&mut prover_channel, &statement).unwrap();
 
-    c.bench_function("membership_hash protocol", move |b| {
+    c.bench_function("membership_hash protocol proving", |b| {
         b.iter(|| {
             let proof_transcript = RefCell::new(Transcript::new(b"membership"));
             let mut verifier_channel = TranscriptVerifierChannel::new(&crs, &proof_transcript);
@@ -130,6 +130,15 @@ pub fn criterion_benchmark(c: &mut Criterion) {
                 .unwrap();
         })
     });
+
+    c.bench_function("membership_hash protocol verification", |b| {
+        b.iter(|| {
+            let verification_transcript = RefCell::new(Transcript::new(b"membership"));
+            let mut prover_channel =
+                TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
+            protocol.verify(&mut prover_channel, &statement).unwrap();
+        })
+    });
 }
 
 criterion_group!(benches, criterion_benchmark);

diff --git a/benches/membership_prime.rs b/benches/membership_prime.rs
@@ -96,7 +96,7 @@ pub fn criterion_benchmark(c: &mut Criterion) {
     let mut prover_channel = TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
     protocol.verify(&mut prover_channel, &statement).unwrap();
 
-    c.bench_function("membership_prime protocol", move |b| {
+    c.bench_function("membership_prime protocol proving", |b| {
         b.iter(|| {
             let proof_transcript = RefCell::new(Transcript::new(b"membership"));
             let mut verifier_channel = TranscriptVerifierChannel::new(&crs, &proof_transcript);
@@ -119,6 +119,20 @@ pub fn criterion_benchmark(c: &mut Criterion) {
                 .unwrap();
         })
     });
+
+    c.bench_function("membership_prime protocol verification", |b| {
+        b.iter(|| {
+            let verification_transcript = RefCell::new(Transcript::new(b"membership"));
+            let mut prover_channel =
+                TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
+
+            let statement = Statement {
+                c_e_q: commitment,
+                c_p: acc.clone(),
+            };
+            protocol.verify(&mut prover_channel, &statement).unwrap();
+        })
+    });
 }
 
 criterion_group!(benches, criterion_benchmark);

diff --git a/benches/membership_prime_60.rs b/benches/membership_prime_60.rs
@@ -98,7 +98,7 @@ pub fn criterion_benchmark(c: &mut Criterion) {
     let mut prover_channel = TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
     protocol.verify(&mut prover_channel, &statement).unwrap();
 
-    c.bench_function("membership_prime_60 protocol", move |b| {
+    c.bench_function("membership_prime_60 protocol proving", |b| {
         b.iter(|| {
             let proof_transcript = RefCell::new(Transcript::new(b"membership"));
             let mut verifier_channel = TranscriptVerifierChannel::new(&crs, &proof_transcript);
@@ -121,6 +121,15 @@ pub fn criterion_benchmark(c: &mut Criterion) {
                 .unwrap();
         })
     });
+
+    c.bench_function("membership_prime_60 protocol verification", |b| {
+        b.iter(|| {
+            let verification_transcript = RefCell::new(Transcript::new(b"membership"));
+            let mut prover_channel =
+                TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
+            protocol.verify(&mut prover_channel, &statement).unwrap();
+        })
+    });
 }
 
 criterion_group!(benches, criterion_benchmark);

diff --git a/benches/nonmembership_bp.rs b/benches/nonmembership_bp.rs
@@ -102,7 +102,7 @@ pub fn criterion_benchmark(c: &mut Criterion) {
     let mut prover_channel = TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
     protocol.verify(&mut prover_channel, &statement).unwrap();
 
-    c.bench_function("nonmembership_bp protocol", move |be| {
+    c.bench_function("nonmembership_bp protocol proving", |be| {
         be.iter(|| {
             let proof_transcript = RefCell::new(Transcript::new(b"nonmembership"));
             crs.crs_hash_to_prime.hash_to_prime_parameters.transcript =
@@ -128,6 +128,16 @@ pub fn criterion_benchmark(c: &mut Criterion) {
                 .unwrap();
         })
     });
+    c.bench_function("nonmembership_bp protocol verification", |be| {
+        be.iter(|| {
+            let verification_transcript = RefCell::new(Transcript::new(b"nonmembership"));
+            crs.crs_hash_to_prime.hash_to_prime_parameters.transcript =
+                Some(verification_transcript.clone());
+            let mut prover_channel =
+                TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
+            protocol.verify(&mut prover_channel, &statement).unwrap();
+        })
+    });
 }
 
 criterion_group!(benches, criterion_benchmark);

diff --git a/benches/nonmembership_hash.rs b/benches/nonmembership_hash.rs
@@ -114,7 +114,7 @@ pub fn criterion_benchmark(c: &mut Criterion) {
     let mut prover_channel = TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
     protocol.verify(&mut prover_channel, &statement).unwrap();
 
-    c.bench_function("nonmembership_hash protocol", move |be| {
+    c.bench_function("nonmembership_hash protocol proving", |be| {
         be.iter(|| {
             let proof_transcript = RefCell::new(Transcript::new(b"nonmembership"));
             let mut verifier_channel = TranscriptVerifierChannel::new(&crs, &proof_transcript);
@@ -138,6 +138,14 @@ pub fn criterion_benchmark(c: &mut Criterion) {
                 .unwrap();
         })
     });
+    c.bench_function("nonmembership_hash protocol verification", |be| {
+        be.iter(|| {
+            let verification_transcript = RefCell::new(Transcript::new(b"nonmembership"));
+            let mut prover_channel =
+                TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
+            protocol.verify(&mut prover_channel, &statement).unwrap();
+        })
+    });
 }
 
 criterion_group!(benches, criterion_benchmark);

diff --git a/benches/nonmembership_prime.rs b/benches/nonmembership_prime.rs
@@ -103,7 +103,7 @@ pub fn criterion_benchmark(c: &mut Criterion) {
     let mut prover_channel = TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
     protocol.verify(&mut prover_channel, &statement).unwrap();
 
-    c.bench_function("nonmembership_prime protocol", move |be| {
+    c.bench_function("nonmembership_prime protocol proving", |be| {
         be.iter(|| {
             let proof_transcript = RefCell::new(Transcript::new(b"nonmembership"));
             let mut verifier_channel = TranscriptVerifierChannel::new(&crs, &proof_transcript);
@@ -127,6 +127,14 @@ pub fn criterion_benchmark(c: &mut Criterion) {
                 .unwrap();
         })
     });
+    c.bench_function("nonmembership_prime protocol verification", |be| {
+        be.iter(|| {
+            let verification_transcript = RefCell::new(Transcript::new(b"nonmembership"));
+            let mut prover_channel =
+                TranscriptProverChannel::new(&crs, &verification_transcript, &proof);
+            protocol.verify(&mut prover_channel, &statement).unwrap();
+        })
+    });
 }
 
 criterion_group!(benches, criterion_benchmark);