Zero Knowledge Succinct Non-Interactive Arguments of Knowledge
Zero Knowledge Proofs
What is a proof?
Two players: prover, verifier
Language L and statement x belongs to L
Fiat Shamir Heuristic
Practical applications using polynomial commitments