# ZK

- [Arithmetization](/intro/zk/arithmetization.md)
- [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)
- [Folding](/intro/zk/folding.md)
- [LatticeFold](/intro/zk/folding/latticefold.md): This article aims to intuitively explain the goals and processes of the LatticeFold protocol.
- [Nova](/intro/zk/folding/nova.md): Presentation: https://www.youtube.com/watch?v=dDsAroTRaFI
- [Nova over Cycles of Curves](/intro/zk/folding/nova/nova-over-cycles-of-curves.md)
- [Lookup](/intro/zk/lookup.md)
- [Lasso](/intro/zk/lookup/lasso.md)
- [LogUp-GKR](/intro/zk/lookup/logup-gkr.md): This article explores how the Halo2 Lookup, LogUp, and LogUp-GKR protocols have evolved.
- [LogUp\*](/intro/zk/lookup/logup.md)
- [SNARK](/intro/zk/snark.md)
- [Groth16](/intro/zk/snark/groth16.md): Presentation: https://www.youtube.com/watch?v=1upt6GOdYXk
- [HyperPlonk](/intro/zk/snark/hyperplonk.md): This article aims to intuitively explain the goals and processes of the HyperPlonk protocol.
- [Spartan](/intro/zk/snark/spartan.md): Presentation: https://www.youtube.com/watch?v=adsGo7DvkJ8
- [SPARK](/intro/zk/snark/spartan/spark.md)
- [GKR](/intro/zk/snark/gkr.md): Presentation: https://youtu.be/OTCxQ9qIzDY
- [SuperSpartan](/intro/zk/snark/superspartan.md): Presentation: https://youtu.be/4Qvj2ME-Xyg
- [STARK](/intro/zk/stark.md)
- [Additive NTT](/intro/zk/stark/additive-ntt.md): This article aims to intuitively explain the goals and process of the Additive NTT protocol.
- [Basefold](/intro/zk/stark/basefold.md): This article aims to provide an intuitive explanation of the goals and processes of the Basefold protocol.
- [Binius](/intro/zk/stark/binius.md): This article aims to intuitively explain the objectives and process of the Binius protocol.
- [Brakedown](/intro/zk/stark/brakedown.md): This document aims to intuitively explain the goals and processes of the Brakedown protocol.
- [CircleSTARK](/intro/zk/stark/circlestark.md)
- [FRI](/intro/zk/stark/fri.md)
- [FRI Security Features and Optimizations](/intro/zk/stark/fri/fri-security-features-and-optimizations.md)
- [DEEP FRI](/intro/zk/stark/deep-fri.md)
- [STIR](/intro/zk/stark/stir.md): This article outlines the goal and process of the STIR (Shift To Improve Rate) protocol as intuitively as possible.
- [WHIR](/intro/zk/stark/whir.md)
- [Distributed ZK](/intro/zk/distributed-zk.md)
- [Ryan's Trick for Distributed Groth16](/intro/zk/distributed-zk/ryans-trick-for-distributed-groth16.md)
- [DIZK](/intro/zk/distributed-zk/dizk.md): Presentation: https://youtu.be/jbWOxNntmPQ
- [Pianist](/intro/zk/distributed-zk/pianist.md)