Uploaded February 2025 | Updated September 2026, 2 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 03, David explains a recent paper on Fiat-Shamir security and ZKP attack surfaces, written by members of the Ethereum Foundation and Succinct. David walks through the underlying cryptographic techniques and protocols before explaining how the attack itself would work.
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
2:50 Fiat-Shamir
4:47 Interpolation
8:40 Sumcheck
20:57 GKR
35:53 The Attack
49:29 Conclusion
—
👋 FOLLOW US
David: https://x.com/cryptodavidw
zkSecurity: https://x.com/zksecurityXYZ
Archetype: https://x.com/archetypevc
🌐 LINKS
How to Prove False Statements Paper: eprint.iacr.org/2025/118
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.
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 03, David explains a recent paper on Fiat-Shamir security and ZKP attack surfaces, written by members of the Ethereum Foundation and Succinct. David walks through the underlying cryptographic techniques and protocols before explaining how the attack itself would work.
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
2:50 Fiat-Shamir
4:47 Interpolation
8:40 Sumcheck
20:57 GKR
35:53 The Attack
49:29 Conclusion
—
👋 FOLLOW US
David: https://x.com/cryptodavidw
zkSecurity: https://x.com/zksecurityXYZ
Archetype: https://x.com/archetypevc
🌐 LINKS
How to Prove False Statements Paper: eprint.iacr.org/2025/118
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.
