fmt

0xPolygonZero · Sep 30, 2024 · a23eaf0 · a23eaf0
1 parent ce88ef8
commit a23eaf0
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/evm_arithmetization/src/fixed_recursive_verifier.rs b/evm_arithmetization/src/fixed_recursive_verifier.rs
@@ -872,7 +872,11 @@ where
                 if KECCAK_TABLES_INDICES.contains(&i) {
                     // Ensure the challenger state:
                     // 1) prev == current_before when using Keccak
-                    builder. conditional_assert_eq(use_keccak_tables.target, prev_state[j], current_state_before[j]);
+                    builder.conditional_assert_eq(
+                        use_keccak_tables.target,
+                        prev_state[j],
+                        current_state_before[j],
+                    );
                     // 2) Update prev <- current_after when using Keccak
                     // 3) Keep prev <- prev when skipping Keccak
                     prev_state[j] =