From c9fc130acda2166867483cf0ea2ccf66e82b0781 Mon Sep 17 00:00:00 2001 From: umadayal Date: Tue, 12 Nov 2024 18:04:21 -0800 Subject: [PATCH] formatting --- .../core/machine/src/syscall/precompiles/u256x2048_mul/air.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 a2ab62ada9..019cd36093 100644 --- a/crates/core/machine/src/syscall/precompiles/u256x2048_mul/air.rs +++ b/crates/core/machine/src/syscall/precompiles/u256x2048_mul/air.rs @@ -71,6 +71,7 @@ pub struct U256x2048MulCols { pub lo_ptr_memory: MemoryReadCols, pub hi_ptr_memory: MemoryReadCols, + // Memory columns. pub a_memory: [MemoryReadCols; WORDS_FIELD_ELEMENT], pub b_memory: [MemoryReadCols; WORDS_FIELD_ELEMENT * 8], @@ -136,7 +137,7 @@ impl MachineAir for U256x2048MulChip { cols.hi_ptr_memory .populate(event.hi_ptr_memory, &mut new_byte_lookup_events); - // Populate memory columns. + // Populate memory columns. for i in 0..WORDS_FIELD_ELEMENT { cols.a_memory[i] .populate(event.a_memory_records[i], &mut new_byte_lookup_events);