Standard Techniques
- Fiat-Shamir (FS) Transform
- A technique which turns any constant-round public-coin HVZK protocol (e.g., a sigma protocol) into a non-interactive zero-knowledge proof of knowledge (NIZK PoK).
- Fujisaki-Okamoto (FO) Transform
- RSA Accumulator
- Complexity Leveraging
- Forking Lemma
- Leftover Hash Lemma (LHL)
- Min-entropy
- Union bound
- Naor-Yung Paradigm