Function count_0 

pub fn count_0(spec: CiphertextSpec) -> Builder

Creates an IR that counts the number of zero bits in an encrypted integer.

The returned Builder declares one ciphertext input of spec.int_size() bits and one ciphertext output whose width is ⌈log₂(int_size + 1)⌉ bits — just enough to represent every possible count from 0 to int_size. Internally delegates to Builder::iop_count with BitType::Zero.

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 = count_0(spec);
let ir = builder.into_ir();