Skip to content

Commit

Permalink
Fix: lookup errors emitted in RLP sub-circuit (reported by testool) (#…
Browse files Browse the repository at this point in the history
…1278)

* fix lookup error

* remove debugging logs

---------

Co-authored-by: Zhang Zhuo <mycinbrin@gmail.com>
  • Loading branch information
kunxian-xia and lispc authored May 22, 2024
1 parent 293992f commit 344f274
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion zkevm-circuits/src/rlp_circuit_fsm.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2399,7 +2399,7 @@ impl<F: Field> RlpCircuitConfig<F> {
let enable = select::expr(
sum::expr([
meta.query_advice(rlp_decoding_table.is_stack_init, Rotation::next()),
is_padding_in_dt.expr(Rotation::next())(meta),
is_next_end(meta),
]),
0.expr(),
meta.query_advice(is_pop_op_lookup, Rotation::cur()),
Expand Down

0 comments on commit 344f274

Please sign in to comment.