diff --git a/zkevm-circuits/src/rlp_circuit_fsm.rs b/zkevm-circuits/src/rlp_circuit_fsm.rs index 0253467d05..f86786fe6c 100644 --- a/zkevm-circuits/src/rlp_circuit_fsm.rs +++ b/zkevm-circuits/src/rlp_circuit_fsm.rs @@ -597,7 +597,7 @@ impl RlpCircuitConfig { meta.lookup_any("byte value check", |meta| { let cond = and::expr([ meta.query_fixed(q_enabled, Rotation::cur()), - is_padding_in_dt.expr(Rotation::cur())(meta), + not::expr(is_padding_in_dt.expr(Rotation::cur())(meta)), ]); vec![meta.query_advice(data_table.byte_value, Rotation::cur())]