Module verify
Constant-time comparison of fixed-size vecs
verify_16() returns true if x[0], x[1], …, x[15] are the same as y[0], y[1], …, y[15]. Otherwise it returns false.
verify_16()
true
x[0]
x[1]
x[15]
y[0]
y[1]
y[15]
false
verify_32() returns true if x[0], x[1], …, x[31] are the same as y[0], y[1], …, y[31]. Otherwise it returns false.
verify_32()
x[31]
y[31]
verify_64() returns true if x[0], x[1], …, x[63] are the same as y[0], y[1], …, y[63]. Otherwise it returns false.
verify_64()
x[63]
y[63]