Uploaded June 2025 | Updated September 2026, 4 days ago

---

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: 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: 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.