Chapters

Contact Discovery

• 00Contact Discovery23 min
• 01Lattice Foundations: SIS, LWE, and Post-Quantum Trust16 min
• 02The Lattice OPRF: Deriving presence_id17 min
• 03The Verifiable OPRF: Trust, but Verify17 min
• 04Bulk Membership: Private Information Retrieval14 min
• 05Guarding the Directory: Enumeration, Sybils, and Poisoning17 min
• 06Algorithm: Oblivious Linear Evaluation from Ring-LWE13 min
• 07Algorithm: Post-Quantum Oblivious Transfer14 min
• 08Algorithm: Rounding by Oblivious Transfer (Route B)17 min
• 09Algorithm: The NIZK15 min
• 10Algorithm: The Proof Ring14 min
• 11Algorithm: OLE Packed15 min
• 12Algorithm: Succinct Proofs by Folding16 min
• 13Algorithm: Known-Answer Testing13 min
• 14Algorithm: The Transparency Log22 min
• 15Algorithm: What a Lookup Proof Binds22 min
• 16Algorithm: Rotating the Key Strangers Seal To17 min