diff --git a/src/gadgets/arithmetic_extension.rs b/src/gadgets/arithmetic_extension.rs index de608be5..af838ab6 100644 --- a/src/gadgets/arithmetic_extension.rs +++ b/src/gadgets/arithmetic_extension.rs @@ -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::::new(config.clone()); + let mut builder = CircuitBuilder::::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) } }