By Area

Choose a field below to browse its statements and any submitted proofs. A statement can appear in several areas. You can also browse by model, type of result or assumption class further down the page.

• Research problems – 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