Terms to add

[nglaeser]

• [ ] ZK/SNARKs + Verifiers and provers
  • see also awesome-zk
  • [ ] Types of reference strings
• [ ] Quantum Computing?
• [x] black box constructions (see COSIC's Guide to Crypto Blog series)
• [ ] hybrid model, e.g. "in the \mathcal{F}-hybrid model"
• [x] pairings
• [x] bilinear groups
• [ ] randomized encodings
• [ ] efficient delegation?
• [x] NCº, TC0, NC1
• [ ] (Universal) Turing machine
• [ ] Pedersen commitments | FO commitments
• [ ] (Pairing-friendly) elliptic curve
• [ ] Groebner basis
• [ ] Legendre symbol
• [ ] Relation language
• [ ] Impagliazzo’s 5 worlds
• [ ] Key agreement/exchange, NIKE
• [ ] randomized vs probabilistic vs non-deterministic

MPC

• [ ] Privately simultaneous message (PSM) protocols
• [ ] Fairplay (2004)

Security games:

• [x] IND-CPA: indistinguishability-based (Stack Exchange post about IND security notions)
  • CPA game at 9:45 of this video
• [x] SIM-CPA: simulation-based

Encryption:

• [ ] Paillier

Assumptions

• [ ] Bilinear maps (not PQ)

[nglaeser]

This only reflects what has a place in the glossary; some terms are still not filled in even though the header is there. Should look through the gloss and make a new issue for terms that are incomplete.