By Area

Every statement on this site carries tags rather than a home directory: an area, a model, a form and an assumption class. The pages below are generated views over those tags, so a statement appears under each tag it carries and nothing lives in any of them. For the full sortable index of everything, see All statements. For a finer-grained, StackExchange-style breakdown by technique and primitive rather than by these 19 broad categories, see By Topic.

• All statements – the full sortable index.
• By Topic – fine-grained topic tags, several per statement.

By area:

• Foundations of Cryptography
• Idealized Models
• Impossibility Results
• Symmetric-Key Cryptography
• Information-Theoretic Cryptography
• Side-Channel & Implementation Security
• Public-Key Cryptography
• Lattices
• Isogenies
• Quantum Cryptography
• Zero-Knowledge
• Proof Systems & Succinct Arguments
• Homomorphic & Functional Encryption
• Obfuscation & Functional Encryption
• Multi-Party Computation
• Secret Sharing & Threshold Cryptography
• Universal Composability
• Privacy-Enhancing Technologies
• Blockchain & Distributed Consensus

By model, form, or assumption class (only values at least one statement currently uses):

• Model: other, standard, ROM, GGM, QROM
• Form: tight bound, lower bound, impossibility, assumption, characterization, equivalence, separation
• Assumption class: unconditional, falsifiable, non-falsifiable