fmt

primus-labs · Jul 26, 2024 · b810b7e · b810b7e
1 parent 80c147d
commit b810b7e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/zkp/src/piop/mod.rs b/zkp/src/piop/mod.rs
@@ -2,10 +2,10 @@
 pub mod accumulator;
 pub mod addition_in_zq;
 pub mod bit_decomposition;
-pub mod zq_to_rq;
 pub mod ntt;
 pub mod rlwe_mul_rgsw;
 pub mod round;
+pub mod zq_to_rq;
 
 pub use accumulator::{AccumulatorIOP, AccumulatorInstance, AccumulatorWitness};
 pub use addition_in_zq::{AdditionInZq, AdditionInZqInstance};

diff --git a/zkp/src/piop/zq_to_rq.rs b/zkp/src/piop/zq_to_rq.rs
@@ -430,7 +430,7 @@ impl<F: Field> TransformZqtoRQSubclaim<F> {
 
         // check 5: (2n/q) * a(u) = k(u) * n + r(u)
         let n = F::new(F::Value::as_from(info.n as u32));
-        let n_divied_by_q = F::new(F::Value::as_from((info.n/q) as u32));
+        let n_divied_by_q = F::new(F::Value::as_from((info.n / q) as u32));
 
         (F::ONE + F::ONE) * n_divied_by_q * a.evaluate(u) == n * k.evaluate(u) + r[0].evaluate(u)
     }
@@ -507,7 +507,7 @@ impl<F: Field> TransformZqtoRQSubclaim<F> {
 
         // check 5: (2n/q) * a(u) = k(u) * n + r(u)
         let n = F::new(F::Value::as_from(info.n as u32));
-        let n_divied_by_q = F::new(F::Value::as_from((info.n/q) as u32));
+        let n_divied_by_q = F::new(F::Value::as_from((info.n / q) as u32));
 
         (F::ONE + F::ONE) * n_divied_by_q * a.evaluate(u) == n * k.evaluate(u) + r[0].evaluate(u)
     }