vacp2p/zk-explorations
1
0
Fork 0
mirror of https://github.com/vacp2p/zk-explorations.git synced 2026-01-09 20:17:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

move unbenchmarked code

Browse Source
This commit is contained in:
Rostyslav Tyshko
2024-02-28 05:33:24 +01:00
parent 482c1e89c7
commit 2b40c791f5
1 changed files with 13 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
halo2-gwc/benches/poseidon.rs
View File

@@ -35,21 +35,23 @@ fn bench_recursive_snark(c: &mut Criterion) {
));
group.sample_size(10);
let snarks: Vec<_> = vec![0; k].into_iter().map(|_| halo2_gwc::gen_application_snark(&params_app)).collect();
let agg_circuit = AggregationCircuit::<GWC>::new(&params, snarks);
let pk = gen_pk(
&params,
&agg_circuit.without_witnesses(),
None,
);
let circuit = agg_circuit.clone();
let instances = agg_circuit.instances();
group.bench_function("Prove", |b| {
b.iter(|| {
let snarks: Vec<_> = vec![0; k].into_iter().map(|_| halo2_gwc::gen_application_snark(&params_app)).collect();
let agg_circuit = AggregationCircuit::<GWC>::new(&params, snarks);
let pk = gen_pk(
&params,
&agg_circuit.without_witnesses(),
None,
);
let circuit = agg_circuit.clone();
let instances = agg_circuit.instances();
gen_proof::<AggregationCircuit<KzgAs<Bn256, Gwc19>>, ProverGWC<_>, VerifierGWC<_>>(&params, &pk, circuit, instances, None::<(PathBuf, PathBuf)>)
gen_proof::<AggregationCircuit<KzgAs<Bn256, Gwc19>>, ProverGWC<_>, VerifierGWC<_>>(&params, &pk, circuit.clone(), instances.clone(), None::<(PathBuf, PathBuf)>)
})
});