pub(crate) fn secp256k1_prehashed<F: AcirField>(
initial_witness: &mut 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],
output: Witness,
) -> Result<(), OpcodeResolutionError<F>>