Proof theory
Zero-knowledge proof
IP
Soundness
BPP
Computational complexity theory
Probabilistic complexity theory
ArthurMerlin protocol
Proof of knowledge