various types of probabilistic proof systems have played a central role in the development of computer science in the last couple of decades. these proof systems deviate from the traditional concept of a proof by introducing randomization and interact ...