Constant EQRA

pub const EQRA: Constraint;

EqRange

0x11: EQRA

Check equality of two ranges on the stack.

The ranges must be of equal length. The ranges must be stacked sequentially. Here N is len -1.

Stack Input

[arr_a_0, ..arr_a_N, arr_b_0, ..arr_b_N, len]

Stack Output

[(top-(2*len))..(top - len) == (top - len)..top]