Computational complexity theory
Theory of computation
IP
Proof of knowledge
NP
Zero-knowledge proof
Certificate
Theoretical computer science
Applied mathematics