# Arithmetization

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