acvm::pwg::blackbox::embedded_curve_ops

Function embedded_curve_add

Source 
pub(super) fn embedded_curve_add<F: AcirField>(
    backend: &impl BlackBoxFunctionSolver<F>,
    initial_witness: &mut WitnessMap<F>,
    input1: [FunctionInput<F>; 3],
    input2: [FunctionInput<F>; 3],
    predicate: FunctionInput<F>,
    outputs: (Witness, Witness, Witness),
) -> Result<(), OpcodeResolutionError<F>>