Mathematics
Complexity classes
Randomized algorithms
IP
Probabilistically checkable proof
NP
NEXPTIME
Soundness
Variable
Interactive proof system
Proof of knowledge