From d277defbdd679d4473818d5f123d8607288d52cc Mon Sep 17 00:00:00 2001 From: Dream Wu Date: Mon, 17 Jul 2023 20:43:34 +0800 Subject: [PATCH] remove todo --- zkevm-circuits/src/evm_circuit/util/constraint_builder.rs | 2 +- zkevm-circuits/src/state_circuit/test.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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,