pub(crate) fn execute_ecdsa<F: AcirField>(
initial_witness: &WitnessMap<F>,
public_key_x_inputs: &[FunctionInput<F>; 32],
public_key_y_inputs: &[FunctionInput<F>; 32],
signature_inputs: &[FunctionInput<F>; 64],
hashed_message_inputs: &[FunctionInput<F>; 32],
predicate: &FunctionInput<F>,
k1: bool,
) -> Result<bool, OpcodeResolutionError<F>>