From b810b7ec935dce3d24769766d17be0cd8ef11f7f Mon Sep 17 00:00:00 2001 From: Tianyu Zhang Date: Fri, 26 Jul 2024 10:50:43 -0500 Subject: [PATCH] fmt --- zkp/src/piop/mod.rs | 2 +- zkp/src/piop/zq_to_rq.rs | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/zkp/src/piop/mod.rs b/zkp/src/piop/mod.rs index 9c55f268..58bf2c65 100644 --- 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 index 8dce7581..6ce838cf 100644 --- a/zkp/src/piop/zq_to_rq.rs +++ b/zkp/src/piop/zq_to_rq.rs @@ -430,7 +430,7 @@ impl TransformZqtoRQSubclaim { // 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 TransformZqtoRQSubclaim { // 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) }