pub(super) fn solve_aes128_encryption_opcode<F: AcirField>(
initial_witness: &mut WitnessMap<F>,
inputs: &[FunctionInput<F>],
iv: &[FunctionInput<F>; 16],
key: &[FunctionInput<F>; 16],
outputs: &[Witness],
) -> Result<(), OpcodeResolutionError<F>>