Cryptographic proofs aim to both mimic and significantly expand upon the capabilities of traditional mathematical proofs. In particular, cryptographic proofs can achieve the seemingly impossible properties of succinctness (proofs that are short and fast to...
