pub fn cmp_eq(spec: CiphertextSpec) -> BuilderExpand description
Creates an IR for an equality comparison of two encrypted integers.
The returned Builder declares two ciphertext inputs and one
single-block ciphertext output encoding the boolean result (1 when the
two operands are equal, 0 otherwise). Internally delegates to
Builder::iop_cmp with CmpKind::Equal.
The spec parameter describes the integer encoding (bit-width, message
bits, carry bits) and determines the number of blocks in the
decomposition.
ยงExamples
let builder = cmp_eq(spec);
let ir = builder.into_ir();