logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-07 16:23:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix recursion bench (#74)

Browse Source 
Nothing was routed in before
This commit is contained in:
Daniel Lubarov 2021-06-24 12:12:57 -07:00 committed by GitHub
parent fb89d637e1
commit 3400caa19c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/bin/bench_recursion.rs
View File

@ -25,7 +25,7 @@ fn bench_prove<F: Field + Extendable<D>, const D: usize>() {
let config = CircuitConfig { let config = CircuitConfig {
num_wires: 134, num_wires: 134,
num_routed_wires: 12, num_routed_wires: 27,
security_bits: 128, security_bits: 128,
rate_bits: 3, rate_bits: 3,
num_challenges: 3, num_challenges: 3,
@ -39,11 +39,17 @@ fn bench_prove<F: Field + Extendable<D>, const D: usize>() {
let mut builder = CircuitBuilder::<F, D>::new(config); let mut builder = CircuitBuilder::<F, D>::new(config);
let zero = builder.zero();
let zero_ext = builder.zero_extension();
let mut state = [zero; 12];
for _ in 0..10000 { for _ in 0..10000 {
builder.add_gate_no_constants(gmimc_gate.clone()); state = builder.permute(state);
} }
builder.add_gate(ConstantGate::get(), vec![F::NEG_ONE]); // Random other gates.
builder.add(zero, zero);
builder.add_extension(zero_ext, zero_ext);
let prover = builder.build_prover(); let prover = builder.build_prover();
let inputs = PartialWitness::new(); let inputs = PartialWitness::new();