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

Minor

Browse Source
This commit is contained in:
wborgeaud 2021-10-01 16:58:55 +02:00
parent fb585064a9
commit 5dcb85e085
1 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/gadgets/arithmetic_extension.rs
View File

@ -510,7 +510,6 @@ mod tests {
use crate::plonk::circuit_builder::CircuitBuilder;
use crate::plonk::circuit_data::CircuitConfig;
use crate::plonk::verifier::verify;
use crate::util::serialization::Buffer;
#[test]
fn test_mul_many() -> Result<()> {
@ -584,7 +583,7 @@ mod tests {
let config = CircuitConfig::large_config();
let pw = PartialWitness::new();
let mut builder = CircuitBuilder::<F, D>::new(config.clone());
let mut builder = CircuitBuilder::<F, D>::new(config);
let x = FF::rand_vec(4);
let y = FF::rand_vec(4);
@ -603,13 +602,6 @@ mod tests {
let data = builder.build();
let proof = data.prove(pw)?;
let mut buffer = Buffer::new(Vec::new());
buffer.write_proof(&proof.proof).unwrap();
dbg!(buffer.len());
let mut buffer = Buffer::new(buffer.bytes());
let oproof = buffer.read_proof(&data.common, &config).unwrap();
assert_eq!(proof.proof, oproof);
verify(proof, &data.verifier_only, &data.common)
}
}