pub(crate) fn solve_poseidon2_permutation_opcode<F: AcirField>(
backend: &impl BlackBoxFunctionSolver<F>,
initial_witness: &mut WitnessMap<F>,
inputs: &[FunctionInput<F>],
outputs: &[Witness],
) -> Result<(), OpcodeResolutionError<F>>