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>>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>>