En este sistema, hay una demostración que intenta convencer aleatoriamente en tiempo polinómico para verificar que una cadena pertenece al lenguaje.