chore: remove unnecessary multiplication

TomAFrench · TomAFrench · commit dac79e0fd879 · 2026-01-27T17:04:11.000Z
diff --git a/src/keccak256.nr b/src/keccak256.nr
@@ -59,8 +59,6 @@ pub fn keccak256<let N: u32>(input: [u8; N], message_size: u32) -> [u8; 32] {
         sliced += v * (block_bytes[limb_start + 6] as Field);
         v *= 256;
         sliced += v * (block_bytes[limb_start + 7] as Field);
-        v *= 256;
-
         sliced.assert_max_bit_size::<64>();
         sliced_buffer[i] = sliced as u64;
     }

Original file line number	Diff line number	Diff line change
`@@ -59,8 +59,6 @@ pub fn keccak256<let N: u32>(input: [u8; N], message_size: u32) -> [u8; 32] {`
`59`	`59`	`sliced += v * (block_bytes[limb_start + 6] as Field);`
`60`	`60`	`v *= 256;`
`61`	`61`	`sliced += v * (block_bytes[limb_start + 7] as Field);`
`62`		`- v *= 256;`
`63`		`-`
`64`	`62`	`sliced.assert_max_bit_size::<64>();`
`65`	`63`	`sliced_buffer[i] = sliced as u64;`
`66`	`64`	`}`