Proof is in the Pudding is a IRL series of whiteboard sessions hosted by Archetype and zkSecurity.

For Session 01, David from zkSecurity 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.

Watch it on Archetype’s channel!

Note that this is an unedited recording of the session.