Skip to content

Commit

Permalink
fix constraint error
Browse files Browse the repository at this point in the history
  • Loading branch information
kunxian-xia committed May 30, 2024
1 parent d997c34 commit d3bf668
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion zkevm-circuits/src/tx_circuit.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1818,7 +1818,7 @@ impl<F: Field> SubCircuitConfig<F> for TxCircuitConfig<F> {

cb.require_equal(
"al_idx starts with 1",
meta.query_advice(al_idx, Rotation::next()),
meta.query_advice(al_idx, Rotation::cur()),
1.expr(),
);
cb.require_zero(
Expand Down

0 comments on commit d3bf668

Please sign in to comment.