acvm::pwg::blackbox::embedded_curve_ops

Function execute_embedded_curve_add

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