diff --git a/src/gadgets/arithmetic_u32.rs b/src/gadgets/arithmetic_u32.rs index d4202b5..bbc31e7 100644 --- a/src/gadgets/arithmetic_u32.rs +++ b/src/gadgets/arithmetic_u32.rs @@ -272,7 +272,11 @@ impl, const D: usize> SimpleGenerator vec![self.x] } - fn run_once(&self, witness: &PartitionWitness, out_buffer: &mut GeneratedValues) -> Result<()> { + fn run_once( + &self, + witness: &PartitionWitness, + out_buffer: &mut GeneratedValues, + ) -> Result<()> { let x = witness.get_target(self.x); let x_u64 = x.to_canonical_u64(); let low = x_u64 as u32; diff --git a/src/gates/add_many_u32.rs b/src/gates/add_many_u32.rs index dd156fc..9f6c90b 100644 --- a/src/gates/add_many_u32.rs +++ b/src/gates/add_many_u32.rs @@ -2,8 +2,8 @@ use alloc::format; use alloc::string::{String, ToString}; use alloc::vec::Vec; use anyhow::Result; -use num::integer::div_ceil; use core::marker::PhantomData; +use num::integer::div_ceil; use plonky2::util::serialization::{Buffer, IoResult, Read, Write}; use itertools::unfold; @@ -327,7 +327,11 @@ impl, const D: usize> SimpleGenerator .collect() } - fn run_once(&self, witness: &PartitionWitness, out_buffer: &mut GeneratedValues) -> Result<()> { + fn run_once( + &self, + witness: &PartitionWitness, + out_buffer: &mut GeneratedValues, + ) -> Result<()> { let local_wire = |column| Wire { row: self.row, column, diff --git a/src/gates/arithmetic_u32.rs b/src/gates/arithmetic_u32.rs index 1812547..4aa4c2b 100644 --- a/src/gates/arithmetic_u32.rs +++ b/src/gates/arithmetic_u32.rs @@ -377,7 +377,11 @@ impl, const D: usize> SimpleGenerator ] } - fn run_once(&self, witness: &PartitionWitness, out_buffer: &mut GeneratedValues) -> Result<()> { + fn run_once( + &self, + witness: &PartitionWitness, + out_buffer: &mut GeneratedValues, + ) -> Result<()> { let local_wire = |column| Wire { row: self.row, column, diff --git a/src/gates/comparison.rs b/src/gates/comparison.rs index 0ce9f75..4c055b2 100644 --- a/src/gates/comparison.rs +++ b/src/gates/comparison.rs @@ -2,8 +2,8 @@ use alloc::string::{String, ToString}; use alloc::vec::Vec; use alloc::{format, vec}; use anyhow::Result; -use num::integer::div_ceil; use core::marker::PhantomData; +use num::integer::div_ceil; use plonky2::plonk::circuit_data::CommonCircuitData; use plonky2::util::serialization::{Buffer, IoResult, Read, Write}; @@ -436,7 +436,11 @@ impl, const D: usize> SimpleGenerator ] } - fn run_once(&self, witness: &PartitionWitness, out_buffer: &mut GeneratedValues) -> Result<()> { + fn run_once( + &self, + witness: &PartitionWitness, + out_buffer: &mut GeneratedValues, + ) -> Result<()> { let local_wire = |column| Wire { row: self.row, column, diff --git a/src/gates/range_check_u32.rs b/src/gates/range_check_u32.rs index df80799..62a4ae3 100644 --- a/src/gates/range_check_u32.rs +++ b/src/gates/range_check_u32.rs @@ -2,8 +2,8 @@ use alloc::string::{String, ToString}; use alloc::vec::Vec; use alloc::{format, vec}; use anyhow::Result; -use num::integer::div_ceil; use core::marker::PhantomData; +use num::integer::div_ceil; use plonky2::plonk::circuit_data::CommonCircuitData; use plonky2::util::serialization::{Buffer, IoResult, Read, Write}; @@ -196,7 +196,11 @@ impl, const D: usize> SimpleGenerator .collect() } - fn run_once(&self, witness: &PartitionWitness, out_buffer: &mut GeneratedValues) -> Result<()> { + fn run_once( + &self, + witness: &PartitionWitness, + out_buffer: &mut GeneratedValues, + ) -> Result<()> { let num_input_limbs = self.gate.num_input_limbs; for i in 0..num_input_limbs { let sum_value = witness @@ -268,7 +272,7 @@ mod tests { const D: usize = 4; const AUX_LIMB_BITS: usize = 2; const BASE: usize = 1 << AUX_LIMB_BITS; - const AUX_LIMBS_PER_INPUT_LIMB: usize = (32 + AUX_LIMB_BITS - 1)/AUX_LIMB_BITS; + const AUX_LIMBS_PER_INPUT_LIMB: usize = (32 + AUX_LIMB_BITS - 1) / AUX_LIMB_BITS; fn get_wires(input_limbs: Vec) -> Vec { let num_input_limbs = input_limbs.len(); diff --git a/src/gates/subtraction_u32.rs b/src/gates/subtraction_u32.rs index f13e6b6..25127c1 100644 --- a/src/gates/subtraction_u32.rs +++ b/src/gates/subtraction_u32.rs @@ -299,7 +299,11 @@ impl, const D: usize> SimpleGenerator ] } - fn run_once(&self, witness: &PartitionWitness, out_buffer: &mut GeneratedValues) -> Result<()> { + fn run_once( + &self, + witness: &PartitionWitness, + out_buffer: &mut GeneratedValues, + ) -> Result<()> { let local_wire = |column| Wire { row: self.row, column,