pub fn poseidon2<F: AbstractField>( mults: [u32; 16], output: [u32; 16], input: [u32; 16], ) -> Instruction<F>