# Archetype x zkSecurity (Whiteboard Session) - Proof is in the Pudding: Arithmetization

- **Authors**: ZK/SEC
- **Date**: October 03, 2024
- **Tags**: educative, zk

![Proof is in the Pudding: Arithmetization](/img/archetype-arithmetization.png)

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.

![recorded session of proof is in the pudding](/img/archetype-arithmetization-2.png)

Watch it on [Archetype's channel](https://www.youtube.com/watch?v=QjNVYgEorec)!

Note that this is an unedited recording of the session.

---

This article was published on the [ZK/SEC Quarterly](https://blog.zksecurity.xyz) blog by [ZK Security](https://www.zksecurity.xyz), a leading security firm specialized in zero-knowledge proofs, MPC, FHE, and advanced cryptography. ZK Security has audited some of the most critical ZK systems in production, discovered vulnerabilities in major protocols including Aleo, Solana, and Halo2, and built open-source tools like [Clean](https://github.com/Verified-zkEVM/clean) for formally verified ZK circuits. For more articles, see the [full list of posts](https://blog.zksecurity.xyz/llms.txt).