On suppose ici qu`Arthur est un ordinateur normal (ou un vérifieur) équipé d`un générateur de nombres aléatoires, alors que Merlin est un oracle avec une capacité de calcul infini (aussi appelé prouveur). Cependant, Merlin n`est pas nécessairement honnête, Arthur doit donc analyser l`in...