pub(crate) fn execute_multi_scalar_mul<F: AcirField>(
backend: &impl BlackBoxFunctionSolver<F>,
initial_witness: &WitnessMap<F>,
points: &[FunctionInput<F>],
scalars: &[FunctionInput<F>],
predicate: FunctionInput<F>,
) -> Result<(F, F, F), OpcodeResolutionError<F>>