From 986d42b2ad4e28c228b69206dff9ad0a6faab2ad Mon Sep 17 00:00:00 2001 From: umadayal Date: Tue, 12 Nov 2024 18:08:37 -0800 Subject: [PATCH] formatting --- .../machine/src/syscall/precompiles/u256x2048_mul/air.rs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/crates/core/machine/src/syscall/precompiles/u256x2048_mul/air.rs b/crates/core/machine/src/syscall/precompiles/u256x2048_mul/air.rs index 019cd36093..43a9906581 100644 --- a/crates/core/machine/src/syscall/precompiles/u256x2048_mul/air.rs +++ b/crates/core/machine/src/syscall/precompiles/u256x2048_mul/air.rs @@ -1,10 +1,8 @@ use crate::{ air::MemoryAirBuilder, - utils::{limbs_from_access, pad_rows_fixed, words_to_bytes_le}, -}; -use crate::{ memory::{value_as_limbs, MemoryCols, MemoryReadCols, MemoryWriteCols}, operations::field::field_op::FieldOpCols, + utils::{limbs_from_access, pad_rows_fixed, words_to_bytes_le}, }; use num::{BigUint, One, Zero}; @@ -131,7 +129,7 @@ impl MachineAir for U256x2048MulChip { cols.lo_ptr = F::from_canonical_u32(event.lo_ptr); cols.hi_ptr = F::from_canonical_u32(event.hi_ptr); - // Populate the memory accesses for lo_ptr and hi_ptr + // Populate memory accesses for lo_ptr and hi_ptr. cols.lo_ptr_memory .populate(event.lo_ptr_memory, &mut new_byte_lookup_events); cols.hi_ptr_memory