From 9cd5f82090efe755d77f92e096a4269a5b8d5aed Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Thu, 8 Jul 2021 15:21:47 +0200
Subject: [PATCH] Add verification to scaling gadget

---
 src/util/scaling.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/util/scaling.rs b/src/util/scaling.rs
index 3449e0b9..6effc5db 100644
--- a/src/util/scaling.rs
+++ b/src/util/scaling.rs
@@ -174,6 +174,7 @@ mod tests {
     use crate::circuit_data::CircuitConfig;
     use crate::field::crandall_field::CrandallField;
     use crate::field::extension_field::quartic::QuarticCrandallField;
+    use crate::verifier::verify;
     use crate::witness::PartialWitness;
 
     fn test_reduce_gadget(n: usize) {
@@ -205,6 +206,8 @@ mod tests {
 
         let data = builder.build();
         let proof = data.prove(PartialWitness::new());
+
+        verify(proof, &data.verifier_only, &data.common).unwrap();
     }
 
     #[test]