The first is the MIP proof system, where we have two all-powerful provers which communicate with a randomized polynomial-time verifier (but not with each other).
Први је MIP систем доказивања, где имамо два свемогућа доказивача који комуницирају са рандомизованим верификатором полиномијалног времена (али не и између себе).