logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-05-28 12:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix proof compression test

Browse Source
This commit is contained in:
wborgeaud 2021-11-22 16:41:33 +01:00
parent 6aaea002ed
commit e06ce5aa2f
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/plonk/proof.rs
View File

@ -310,6 +310,7 @@ mod tests {
use crate::field::field_types::Field; use crate::field::field_types::Field;
use crate::field::goldilocks_field::GoldilocksField; use crate::field::goldilocks_field::GoldilocksField;
use crate::fri::reduction_strategies::FriReductionStrategy; use crate::fri::reduction_strategies::FriReductionStrategy;
use crate::gates::noop::NoopGate;
use crate::iop::witness::PartialWitness; use crate::iop::witness::PartialWitness;
use crate::plonk::circuit_builder::CircuitBuilder; use crate::plonk::circuit_builder::CircuitBuilder;
use crate::plonk::circuit_data::CircuitConfig; use crate::plonk::circuit_data::CircuitConfig;
@ -336,6 +337,9 @@ mod tests {
let zt = builder.constant(z); let zt = builder.constant(z);
let comp_zt = builder.mul(xt, yt); let comp_zt = builder.mul(xt, yt);
builder.connect(zt, comp_zt); builder.connect(zt, comp_zt);
for _ in 0..100 {
builder.add_gate(NoopGate, vec![]);
}
let data = builder.build(); let data = builder.build();
let proof = data.prove(pw)?; let proof = data.prove(pw)?;
verify(proof.clone(), &data.verifier_only, &data.common)?; verify(proof.clone(), &data.verifier_only, &data.common)?;