def cm.ct_eq

bend-osdev-cipher-modes@0.1.0.0 · cipher_modes.bend:253

import Base

253# equality of two byte lists with no early exit of the same length (a tag check)
254def cm.ct_eq(xs: List<&2, U32>, ys: List<&2, U32>) -> Bool:
255  U32.is_eq(cm.diff(xs, ys, 0), 0)