diff --git a/zkevm-circuits/src/evm_circuit/util/constraint_builder.rs b/zkevm-circuits/src/evm_circuit/util/constraint_builder.rs index 1a78fd5cde..aee8e6fc6a 100644 --- a/zkevm-circuits/src/evm_circuit/util/constraint_builder.rs +++ b/zkevm-circuits/src/evm_circuit/util/constraint_builder.rs @@ -1334,7 +1334,7 @@ impl<'a, F: Field> EVMConstraintBuilder<'a, F> { rwc_inc: rwc_inc.clone(), }, ); - // TODO: constrain the value of rwc_inc. + self.rw_counter_offset = self.rw_counter_offset.clone() + self.condition_expr() * rwc_inc; } diff --git a/zkevm-circuits/src/state_circuit/test.rs b/zkevm-circuits/src/state_circuit/test.rs index 12f925d354..564edcd2aa 100644 --- a/zkevm-circuits/src/state_circuit/test.rs +++ b/zkevm-circuits/src/state_circuit/test.rs @@ -671,7 +671,7 @@ fn lexicographic_ordering_previous_limb_differences_nonzero() { #[test] fn read_inconsistency() { - // TODO: memory word checking read_inconsistency + // memory word checking read_inconsistency let rows = vec![ Rw::Memory { rw_counter: 10,