awesome-folding
github.com/lurk-lab/awesome-folding ↗A curated list of zero-knowledge folding schemes
310
GitHub Stars
96
Curated Resources
4
Categories
7 hours ago
Last Refreshed
Writings (papers, blog posts, etc)Code (software repositories)Other resources (podcasts, etc)Applications
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me prequels resources from awesome-folding"
Installation instructions →What's inside
Writings (papers, blog posts, etc)
- A Brief history of lookup argumentsPrequels
- Accumulation without HomomorphismDeep Space Nine (New commitment schemes, new lookup & proof arguments)
- Customizable constraint systems for succinct argumentsHyperNova / ProtoStar : The next generation (with high-degree gates)
- CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curvesClassic Nova
- Folding Custom Gates with Verifier InputNova Extensions (without high-degree gates)
- Folding endgameNova Extensions (without high-degree gates)
Other resources (podcasts, etc)
- Ad-Hoc Session on Goblin PLONK + Nova (Zachary Williamson)Talks & Lectures
- Advances in the Efficiency of Succinct Proofs (Ying Tong Lai)Talks & Lectures
- An incomplete guide to Folding: Nova, Sangria, SuperNova, HyperNova, ProtostarTalks & Lectures
- ArgumentForums
- CCS & HyperNova with Srinath - Folding Schemes FTWTalks & Lectures
Folding Schemes FTW
- Diagonal folding: Folding protocols with a large amount of rounds using 2-round ProtostarTalks & Lectures
Code (software repositories)
- argumentcomputer/areciboReference implementations
- ccs-hackTeaching / experimental implementations
- Halo2 + ProtostarCode Explorations
- microsoft/novaReference implementations
- microsoft/nova hypernova experimental PRTeaching / experimental implementations
- multifolding-pocTeaching / experimental implementations
Showing a sample of 96 resources. View the full list on GitHub →