Lattice-Based SNARKs and Post-Quantum Cryptography | Proof is in the Pudding Session 04

Proof is in the Pudding is an IRL series of whiteboard sessions hosted by zkSecurity Co-founder and Archetype Research Advisor, David Wong. Each session, David gives a 201-level lecture about the in’s and out’s of cryptography and ZK, followed by a group discussion. In Session 04, David explains lattices and polynomial commitment schemes, discusses the potential threat of quantum computing on cryptography, and dives into the designs of the LaBRADOR proof system and the first quantum-safe polynomial commitment, Greyhound. To join a future session of Proof is in the Pudding, please reach out to an Archetype team member! 📬 You can also receive invites to other Archetype events and monthly happy hours by signing up for our newsletter here: http://eepurl.com/iCApL2 — ⌛️ TIMESTAMPS 0:00 Intro 4:35 Symmetric and asymmetric algorithms 5:57 Folding 10:06 Polynomial commitment schemes 14:25 Lattices 17:51 Hard problems 26:14 Rings 30:43 Ajtai commitments 34:02 Greyhound 37:15 Vector commitment 42:33 Composition ?? 46:16 Vector of challenges ?? 56:36 LaBRADOR — 👋 FOLLOW US David: https://x.com/cryptodavidw zkSecurity: https://x.com/zksecurityXYZ Archetype: https://x.com/archetypevc 🌐 LINKS Greyhound: Fast Polynomial Commitments from Lattices Paper: https://eprint.iacr.org/2024/1293.pdf zkSecurity: https://www.zksecurity.xyz/ Archetype: https://www.archetype.fund/ — DISCLAIMER: The information in this video is the opinion of the speaker(s) only and is for informational purposes only. You should not construe it as investment advice, tax advice, or legal advice, and it does not represent any entity's opinion but those of the speaker(s). For investment or legal advice, please seek a duly licensed professional.