pub(crate) fn execute_sha_256_permutation_opcode<F: AcirField>( initial_witness: &WitnessMap<F>, inputs: &[FunctionInput<F>; 16], hash_values: &[FunctionInput<F>; 8], ) -> Result<[u32; 8], OpcodeResolutionError<F>>