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 will be giving a 201-level lecture about the in’s and out’s of cryptography and ZK, followed by a group discussion.

For Session 01, David started at the ground floor with arithmetization. Arithmetization involves the process of converting logical statements into algebraic form, which are then used to create arithmetic circuits, a key building block in the construction of a ZK proof. This is an unedited recording of the session.

To join a future session of Proof is in the Pudding, please reach out to an Archetype team member!

—

David: https://x.com/cryptodavidw

zkSecurity: https://x.com/zksecurityXYZ | https://www.zksecurity.xyz/

—

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.