Complexity classes
Circuit complexity
Computational complexity theory
Zero-knowledge proof
Non-interactive zero-knowledge proof
SM-62 Snark
XTR
NC
NP
Proof of knowledge
Computer
ZK