# Folding Scheme

## Personal Notes

- [Recursive SNARK (1)](/jOpN-D8aR-eky-0624EocQ)
- [Recursive SNARK (2)](/g5g_4bnbSZ6VD0giS6g1Hg)

- [Moon Math Manual Note](/1aTAgauJQ72oKsnVY95Akw)

## Roadmap

- Prequals
- [ ] [1. From AIRs to RAPs](https://hackmd.io/@aztec-network/plonk-arithmetiization-air)
- [ ] [2. A Brief History of Lookup Arguments](https://github.com/ingonyama-zk/papers/blob/main/lookups.pdf)
- [ ] [3. Multiset checks in PLONK and Plookup](https://hackmd.io/@arielg/ByFgSDA7D)
- [ ] [4. Spartan: Efficient and general-purpose zkSNARKs without trusted setup](https://eprint.iacr.org/2019/550)
- [ ] [5. IVC](https://www.cs.purdue.edu/homes/pvaliant/uniqueCS.pdf)
- [ ] [6. Scalable Zero Knowledge via Cycles of Elliptic Curves](https://eprint.iacr.org/2014/595)
- [ ] [7. Nova: Recursive Zero-Knowledge Arguments from folding Schemes](https://eprint.iacr.org/2021/370.pdf)
- [ ] [8. MoonMath](https://github.com/LeastAuthority/moonmath-manual/releases/latest/download/main-moonmath.pdf)

## Plan

:::info
**Status**
- ✅: completed
- ⌛️: haven't started yet
- ✏️: Reading
:::

| week | Paper Reading | Note | Status |
| ----------- | ------------- | ------------------------------------------- | ------ |
| 1:0128-0203 | 2 | [Lookup Arugument](/MyJRmERURnCbmyz1T186tg) | ✏️ |
| 2:0204-0210 | 4 | [Spartan](/3JpQsPenQTSsmMmSnz38tw) | ⌛️ |
| 3:0211-0217 | 5 | [IVC](/3Bwn9jgkSOe9DMhg07f3YQ) | ⌛️ |
| 4:0218-0224 | 6 | [EC & Scalable ZK](/rrliFj51Rtyy8ekT_99xYg) | ⌛️ |
| 5:0225-0302 | 7 | [Nova](/x98kNdxJTXSgCqBmcMX6zw) | ⌛️ |

## Reference

### Papers

- [ ] [Nova: Recursive Zero-Knowledge Arguments from Folding Schemes](https://eprint.iacr.org/2021/370.pdf)
- [ ] [SuperNova: Proving universal machine executions without universal circuits](https://eprint.iacr.org/2022/1758.pdf)
- [ ] [Revisiting the Nova Proof System on a Cycle of Curves](https://eprint.iacr.org/2023/969.pdf)
- [ ] [CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curves](https://eprint.iacr.org/2023/1192.pdf)

### Git Codes

- [ ] [Nova-Scotia](https://github.com/nalinbhardwaj/Nova-Scotia)
- [ ] [pse: nova-bench](https://github.com/privacy-scaling-explorations/nova-bench)
- [ ] [Nova](https://github.com/microsoft/Nova)
- [ ] [nova-study](https://github.com/arnaucube/nova-study)

### Good Resources

- [awesome-zero-knowledge-proofs](https://github.com/matter-labs/awesome-zero-knowledge-proofs?tab=readme-ov-file)
- [awesome-folding](https://github.com/lurk-lab/awesome-folding)
- [oskar's talk - slides](https://hackmd.io/wtTwtyoMSg2sCwVqp1m88Q)
- [oskar's talk - video](https://drive.google.com/drive/u/1/folders/1S7-P3AHpBh2jVUXgAqGIIyjzAL2BQIOL)
- [zk-learning](https://zk-learning.org/)