# ZK

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


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://fractalyze.gitbook.io/intro/zk.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.