acvm::pwg::blackbox::logic

Function and

Source 
pub(super) fn and<F: AcirField>(
    initial_witness: &mut WitnessMap<F>,
    lhs: &FunctionInput<F>,
    rhs: &FunctionInput<F>,
    num_bits: u32,
    output: &Witness,
    pedantic_solving: bool,
) -> Result<(), OpcodeResolutionError<F>>
Expand description

Solves a BlackBoxFunc::And opcode and inserts the result into the supplied witness map