pub(super) fn multi_scalar_mul<F: AcirField>(
backend: &impl BlackBoxFunctionSolver<F>,
initial_witness: &mut WitnessMap<F>,
points: &[FunctionInput<F>],
scalars: &[FunctionInput<F>],
outputs: (Witness, Witness, Witness),
) -> Result<(), OpcodeResolutionError<F>>