Skip to content

Commit

Permalink
remove wrong constraints
Browse files Browse the repository at this point in the history
  • Loading branch information
kunxian-xia committed May 29, 2024
1 parent d6953fd commit e0230af
Showing 1 changed file with 0 additions and 11 deletions.
11 changes: 0 additions & 11 deletions zkevm-circuits/src/tx_circuit.rs
Original file line number Diff line number Diff line change
Expand Up @@ -923,17 +923,6 @@ impl<F: Field> SubCircuitConfig<F> for TxCircuitConfig<F> {
},
);

// AccessListAddressLen != 0 must force AccessListRLC != 0
cb.condition(
and::expr([
is_access_list_addresses_len(meta),
not::expr(meta.query_advice(is_none, Rotation::cur())),
]),
|cb| {
cb.require_zero("AccessListRLC != 0", value_is_zero.expr(Rotation(2))(meta));
},
);

cb.gate(meta.query_fixed(q_enable, Rotation::cur()))
});

Expand Down

0 comments on commit e0230af

Please sign in to comment.