# Arithmetization

- [R1CS](/intro/zk/arithmetization/r1cs.md)
- [PLONK](/intro/zk/arithmetization/plonk.md)
- [AIR](/intro/zk/arithmetization/air.md)
