logos-storage/proof-aggregation
1
0
Fork 0
mirror of https://github.com/logos-storage/proof-aggregation.git synced 2026-01-02 13:53:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

add constraints measurement

Browse Source
This commit is contained in:
M Alghazwi 2024-11-26 12:33:58 +01:00
parent 9d7fc998d6
commit fd5d7f9407
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
workflow/benches/sample_cells.rs
View File

@ -14,10 +14,10 @@ use proof_input::params::{D, C, F, Params, TestParams};
fn bench_prove_verify(c: &mut Criterion) {
// get default parameters
let mut test_params = TestParams::default();
test_params.n_samples = 10;
test_params.n_samples = 100;
let mut circuit_params = CircuitParams::default();
circuit_params.n_samples = 10;
circuit_params.n_samples = 100;
// gen the circuit input
let circ_input = gen_testing_circuit_input::<F,D>(&test_params);
@ -57,6 +57,15 @@ fn bench_prove_verify(c: &mut Criterion) {
println!("Build time: {:?}", build_duration);
println!("Circuit size (degree bits): {:?}", data.common.degree_bits());
let num_constr: usize = data.common
.gates
.iter()
.map(|gate| gate.0.num_constraints())
.sum();
println!("Number of constraints: {}", num_constr);
println!("Number of gates used: {}", data.common.gates.len());
// Benchmark the Proving Phase
group.bench_function("Prove Circuit", |b| {
b.iter(|| {