pub fn cmp_lt(spec: CiphertextSpec) -> BuilderExpand description
Creates an IR for a less-than 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
first operand is strictly less than the second, 0 otherwise).
Internally delegates to Builder::iop_cmp with CmpKind::Lower.
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_lt(spec);
let ir = builder.into_ir();