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,
) -> Result<(), OpcodeResolutionError<F>>
Expand description

Solves a [BlackBoxFunc::And][acir::circuit::black_box_functions::BlackBoxFunc::AND] opcode and inserts the result into the supplied witness map