Skip to content

Commit cecc064

Browse files
authored
Merge pull request #54 from claucece/criterion-0.5
bulletproofs: update to criterion 0.5
2 parents b93281d + 26aecec commit cecc064

File tree

4 files changed

+23
-44
lines changed

4 files changed

+23
-44
lines changed

bulletproofs/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ version = '0.4.0'
5454
default-features = false
5555

5656
[dev-dependencies]
57-
criterion = "0.3"
57+
criterion = "0.5.1"
5858
rand_chacha = "0.3"
5959
bincode = "1"
6060

bulletproofs/benches/generators.rs

Lines changed: 9 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,8 @@
22

33
use ark_bulletproofs::{BulletproofGens, PedersenGens};
44
use ark_secq256k1::Affine;
5-
6-
#[macro_use]
7-
extern crate criterion;
8-
use criterion::Criterion;
5+
use criterion::BenchmarkId;
6+
use criterion::{criterion_group, criterion_main, Criterion};
97

108
fn pc_gens(c: &mut Criterion) {
119
c.bench_function("PedersenGens::new", |b| {
@@ -14,17 +12,13 @@ fn pc_gens(c: &mut Criterion) {
1412
}
1513

1614
fn bp_gens(c: &mut Criterion) {
17-
c.bench_function_over_inputs(
18-
"BulletproofGens::new",
19-
|b, size| b.iter(|| BulletproofGens::<Affine>::new(*size, 1)),
20-
(0..10).map(|i| 2 << i),
21-
);
22-
}
23-
24-
criterion_group! {
25-
bp,
26-
bp_gens,
27-
pc_gens,
15+
let mut group = c.benchmark_group("BulletproofGens::new");
16+
for size in (0..10).map(|i| 2 << i) {
17+
group.bench_with_input(BenchmarkId::from_parameter(size), &size, |b, &size| {
18+
b.iter(|| BulletproofGens::<Affine>::new(size, 1))
19+
});
20+
}
2821
}
2922

23+
criterion_group!(bp, bp_gens, pc_gens);
3024
criterion_main!(bp);

bulletproofs/benches/r1cs_secq256k1.rs

Lines changed: 13 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,7 @@
11
#![allow(non_snake_case)]
2-
#![allow(deprecated)]
3-
4-
#[macro_use]
5-
extern crate criterion;
6-
72
use ark_std::UniformRand;
8-
use criterion::Criterion;
3+
use criterion::BenchmarkId;
4+
use criterion::{criterion_group, criterion_main, Criterion};
95

106
// Code below copied from ../tests/r1cs.rs
117
//
@@ -16,10 +12,6 @@ use criterion::Criterion;
1612
// someone wants to figure a way to use #[path] attributes or
1713
// something to avoid the duplication.
1814

19-
extern crate ark_bulletproofs;
20-
extern crate merlin;
21-
extern crate rand;
22-
2315
use ark_bulletproofs::r1cs::*;
2416
use ark_bulletproofs::{BulletproofGens, PedersenGens};
2517
use ark_secq256k1::{Affine, Fr};
@@ -158,9 +150,9 @@ fn bench_kshuffle_prove(c: &mut Criterion) {
158150
let pc_gens = PedersenGens::default();
159151
let bp_gens = BulletproofGens::new(2 * MAX_SHUFFLE_SIZE, 1);
160152

161-
c.bench_function_over_inputs(
162-
"k-shuffle proof creation",
163-
move |b, k| {
153+
let mut group = c.benchmark_group("k-shuffle proof creation");
154+
for size in (1..=LG_MAX_SHUFFLE_SIZE).map(|i| 1 << i) {
155+
group.bench_with_input(BenchmarkId::from_parameter(size), &size, |b, k| {
164156
// Generate inputs and outputs to kshuffle
165157
let mut rng = rand::thread_rng();
166158
let (min, max) = (0u64, u64::MAX);
@@ -181,12 +173,9 @@ fn bench_kshuffle_prove(c: &mut Criterion) {
181173
&output,
182174
)
183175
.unwrap();
184-
})
185-
},
186-
(1..=LG_MAX_SHUFFLE_SIZE)
187-
.map(|i| 1 << i)
188-
.collect::<Vec<_>>(),
189-
);
176+
});
177+
});
178+
}
190179
}
191180

192181
criterion_group! {
@@ -203,9 +192,9 @@ fn bench_kshuffle_verify(c: &mut Criterion) {
203192
let pc_gens = PedersenGens::default();
204193
let bp_gens = BulletproofGens::new(2 * MAX_SHUFFLE_SIZE, 1);
205194

206-
c.bench_function_over_inputs(
207-
"k-shuffle proof verification",
208-
move |b, k| {
195+
let mut group = c.benchmark_group("k-shuffle proof verification");
196+
for size in (1..=LG_MAX_SHUFFLE_SIZE).map(|i| 1 << i) {
197+
group.bench_with_input(BenchmarkId::from_parameter(size), &size, |b, k| {
209198
// Generate the proof in its own scope to prevent reuse of
210199
// prover variables by the verifier
211200
let (proof, input_commitments, output_commitments) = {
@@ -242,11 +231,8 @@ fn bench_kshuffle_verify(c: &mut Criterion) {
242231
)
243232
.unwrap();
244233
})
245-
},
246-
(1..=LG_MAX_SHUFFLE_SIZE)
247-
.map(|i| 1 << i)
248-
.collect::<Vec<_>>(),
249-
);
234+
});
235+
}
250236
}
251237

252238
criterion_group! {

t256/Cargo.toml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,6 @@ rand = { version = "0.8.5" }
1919
rand_core = { version = "0.6.4" }
2020
merlin = { version = "3.0.0" }
2121
ark-ff-macros = { version = "0.4.2", default-features = false }
22-
criterion = "0.5.1"
2322
sha2 = "0.10.8"
2423

2524
[dev-dependencies]

0 commit comments

Comments
 (0)