Skip to content
Snippets Groups Projects

add an example to print the Fq and Fr of all the Arkworks' curves

Merged STEVAN Antoine requested to merge print-all-curves into main
Files
4
+ 6
10
@@ -10,7 +10,7 @@ use criterion::{black_box, criterion_group, criterion_main, Criterion};
use komodo::zk;
fn commit_template<F, G, P>(c: &mut Criterion, nb_bytes: usize)
fn commit_template<F, G, P>(c: &mut Criterion, degree: usize)
where
F: PrimeField,
G: CurveGroup<ScalarField = F>,
@@ -19,22 +19,20 @@ where
{
let rng = &mut rand::thread_rng();
let degree = zk::nb_elements_in_setup::<F>(nb_bytes);
let setup = zk::setup::<_, F, G>(degree, rng).unwrap();
let polynomial = P::rand(degree, rng);
c.bench_function(
&format!(
"commit (komodo) {} bytes on {}",
nb_bytes,
"commit (komodo) {} on {}",
degree,
std::any::type_name::<F>()
),
|b| b.iter(|| zk::commit(&setup, &polynomial)),
);
}
fn ark_commit_template<E, P>(c: &mut Criterion, nb_bytes: usize)
fn ark_commit_template<E, P>(c: &mut Criterion, degree: usize)
where
E: Pairing,
P: DenseUVPolynomial<E::ScalarField>,
@@ -42,8 +40,6 @@ where
{
let rng = &mut rand::thread_rng();
let degree = zk::nb_elements_in_setup::<E::ScalarField>(nb_bytes);
let setup = KZG10::<E, P>::setup(degree, false, rng).unwrap();
let powers_of_g = setup.powers_of_g[..=degree].to_vec();
let powers_of_gamma_g = (0..=degree).map(|i| setup.powers_of_gamma_g[&i]).collect();
@@ -55,8 +51,8 @@ where
c.bench_function(
&format!(
"commit (arkworks) {} bytes on {}",
nb_bytes,
"commit (arkworks) {} on {}",
degree,
std::any::type_name::<E>()
),
|b| b.iter(|| KZG10::commit(&powers, &polynomial, None, None)),
Loading