acvm::pwg::blackbox::logic

Function solve_logic_opcode

Source 
fn solve_logic_opcode<F: AcirField>(
    initial_witness: &mut WitnessMap<F>,
    a: &FunctionInput<F>,
    b: &FunctionInput<F>,
    num_bits: u32,
    result: Witness,
    pedantic_solving: bool,
    logic_op: impl Fn(F, F) -> F,
) -> Result<(), OpcodeResolutionError<F>>
Expand description

Derives the rest of the witness based on the initial low level variables