Thor's assorted Zero Knowledge Paper and Blog Notes
===
A collection of zero knowledge cryptography papers and other resources Thor has annotated. Thor will try to organize his paper reading notes here by category, where possible.

To view this as a book, click the **share button** and change **View mode** to **Book Mode** and press preview. Consider bookmarking this page for easy access.

Workflow: Thor annotates a paper (probably read in Zotero), taking notes in Obsidian. Then Thor pushes [via Hackmd Sync](https://github.com/thor314/hackmd-obsidian) to Obsidian, and manually updates this file with the new notes.

General ZK
---
- [paper-SoK zk range proofs](/zsjTB_PnQI66Sckxxl3g-w)

SNARKs
---
- [paper-PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge](/B1B_YkiCRc2AkLrUccvUOg)
- [blog-On the number of column openings in Ligero](/CJ0yKZPjSGypntcXb2tPvQ)

Multilinear SNARKs
---
- [paper-Spartan: efficient and general purpose zkSnarks without trusted setup](/gKhVbsU1RDu03G5gywi51w)
- [algorithm-sumcheck](/XSz7ljQ7Tm2yOtjhCck3zA)

Lookups
---
- [paper-Plonkup reconciling plonk with plookup](/aCC8--M0QkaoRCkX6w0RzA)

Folding
---
- [paper-Nova: Recursive ZK Arguments from Folding Schemes](/TPgc_29rRA-XtKs3TEB2LA)
- [paper-HyperNova Recursive arguments for customizable constraint systems](/tD094g7mRSKkjOCM9VGgXg)
- [paper-protostar Generic Efficient Accumulation/Folding for Special Sound Protocols](/ihGUj2nbRIWUweXDkVK3sQ)

STARKs
---
- [paper-Scalable, transparent, and post-quantum secure computational integrity (STARKs)](/eqN3S2HcSlqbqCBXO1DUjA)

Elliptic Curves
---
- [paper-Twisted Edwards Curves](/Ht6O0d0nRqm-Iq3O27ZmsQ)

Applications
---
- [paper-Zero Knowledge Middleboxes](/BQkfkD5MSe231bnAMfXACw)

Multi Party Computation
---
- [algorithm-Oblivous transfer](/kGO8XamnSQaQflXUDNu_mw)