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

Add verification to scaling gadget

Browse Source
This commit is contained in:
wborgeaud 2021-07-08 15:21:47 +02:00
parent 0512817d68
commit 9cd5f82090
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/util/scaling.rs
View File

@ -174,6 +174,7 @@ mod tests {
use crate::circuit_data::CircuitConfig; use crate::circuit_data::CircuitConfig;
use crate::field::crandall_field::CrandallField; use crate::field::crandall_field::CrandallField;
use crate::field::extension_field::quartic::QuarticCrandallField; use crate::field::extension_field::quartic::QuarticCrandallField;
use crate::verifier::verify;
use crate::witness::PartialWitness; use crate::witness::PartialWitness;
fn test_reduce_gadget(n: usize) { fn test_reduce_gadget(n: usize) {
@ -205,6 +206,8 @@ mod tests {
let data = builder.build(); let data = builder.build();
let proof = data.prove(PartialWitness::new()); let proof = data.prove(PartialWitness::new());
verify(proof, &data.verifier_only, &data.common).unwrap();
} }
#[test] #[test]