Skip to content

IP

The class of all languages solvable by an interactive proof system with a polynomial time verifier.

Comments