Probabilistic complexity theory
Cryptographic protocols
IP
Interactive proof system
Arthur–Merlin protocol
NP
Zero-knowledge proof
Proof of knowledge
QMA
Theoretical computer science
Computational complexity theory
Applied mathematics