Twisted Whittaker category on affine flags and category of representations of mixed quantum group

We prove the twisted Whittaker category on the affine flag variety and the category of representations of the mixed quantum group are equivalent.