arnaucube
arnaucube/plonky2-u32Public Self-hosted repository
Formatting
Ahmad root@ahmadafuni.com
Tue, 20 May 2025 14:42:31 +1000
commit

efff8d927564e360529f3e03125e48d785ddd2ce

parent

9552fcc66b948b9ea7ed7b6cc4f74276fdff78e2

6 files changed, 34 insertions(+), 10 deletions(-)

jump to
M src/gadgets/arithmetic_u32.rs → src/gadgets/arithmetic_u32.rs 
@@ -272,7 +272,11 @@ fn dependencies(&self) -> Vec<Target> {
         vec![self.x]
     }
 
-    fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) -> Result<()> {
+    fn run_once(
+        &self,
+        witness: &PartitionWitness<F>,
+        out_buffer: &mut GeneratedValues<F>,
+    ) -> Result<()> {
         let x = witness.get_target(self.x);
         let x_u64 = x.to_canonical_u64();
         let low = x_u64 as u32;
M src/gates/add_many_u32.rs → 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 @@ .chain([local_target(self.gate.wire_ith_carry(self.i))])
             .collect()
     }
 
-    fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) -> Result<()> {
+    fn run_once(
+        &self,
+        witness: &PartitionWitness<F>,
+        out_buffer: &mut GeneratedValues<F>,
+    ) -> Result<()> {
         let local_wire = |column| Wire {
             row: self.row,
             column,
M src/gates/arithmetic_u32.rs → src/gates/arithmetic_u32.rs 
@@ -377,7 +377,11 @@ local_target(self.gate.wire_ith_addend(self.i)),
         ]
     }
 
-    fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) -> Result<()> {
+    fn run_once(
+        &self,
+        witness: &PartitionWitness<F>,
+        out_buffer: &mut GeneratedValues<F>,
+    ) -> Result<()> {
         let local_wire = |column| Wire {
             row: self.row,
             column,
M src/gates/comparison.rs → 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 @@ local_target(self.gate.wire_second_input()),
         ]
     }
 
-    fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) -> Result<()> {
+    fn run_once(
+        &self,
+        witness: &PartitionWitness<F>,
+        out_buffer: &mut GeneratedValues<F>,
+    ) -> Result<()> {
         let local_wire = |column| Wire {
             row: self.row,
             column,
M src/gates/range_check_u32.rs → 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 @@ .map(|i| Target::wire(self.row, self.gate.wire_ith_input_limb(i)))
             .collect()
     }
 
-    fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) -> Result<()> {
+    fn run_once(
+        &self,
+        witness: &PartitionWitness<F>,
+        out_buffer: &mut GeneratedValues<F>,
+    ) -> 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 @@ type FF = QuarticExtension<GoldilocksField>;
         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<u64>) -> Vec<FF> {
             let num_input_limbs = input_limbs.len();
M src/gates/subtraction_u32.rs → src/gates/subtraction_u32.rs 
@@ -299,7 +299,11 @@ local_target(self.gate.wire_ith_input_borrow(self.i)),
         ]
     }
 
-    fn run_once(&self, witness: &PartitionWitness<F>, out_buffer: &mut GeneratedValues<F>) -> Result<()> {
+    fn run_once(
+        &self,
+        witness: &PartitionWitness<F>,
+        out_buffer: &mut GeneratedValues<F>,
+    ) -> Result<()> {
         let local_wire = |column| Wire {
             row: self.row,
             column,