This repository is a curated list of resources for zero-knowledge folding schemes, a key technology for efficient incrementally verifiable computation (IVC) in zero-knowledge proofs. It serves researchers, developers, and practitioners in the ZK space looking to understand, implement, or build upon these advanced cryptographic techniques.

How It Works

The list categorizes resources into writings (papers, blog posts), code repositories (reference, experimental implementations), and other materials like podcasts and talks. It covers foundational concepts like arithmetization and IVC, and progresses through major folding schemes such as Nova, HyperNova, and ProtoStar, detailing their advancements in customizable constraint systems, aggregation, and efficiency.

Quick Start & Requirements

This is a curated list, not a software project with installation instructions. Resources linked within may have their own requirements.

Highlighted Details

• Comprehensive coverage of folding scheme evolution: from classic Nova to HyperNova/ProtoStar and emerging lattice-based schemes.
• Links to numerous academic papers, presentations, and blog posts explaining the underlying cryptography and design choices.
• A substantial collection of code repositories, including reference implementations and experimental proofs-of-concept for various folding schemes.
• Inclusion of educational materials like podcasts, talks, and forum discussions for deeper understanding.

Maintenance & Community

The list is actively curated, with numerous links to academic papers and code repositories from prominent researchers and organizations in the ZK field, including Microsoft, PSE, and Argument Computer. Community engagement is evident through links to Discord and Zulip servers.

Licensing & Compatibility

The licensing of individual resources varies. Most linked code repositories are open-source, with licenses typically ranging from MIT to Apache 2.0, generally allowing for commercial use and integration into closed-source projects. However, users must verify the license of each specific linked resource.

Limitations & Caveats

As a curated list, it does not provide direct software functionality. The rapid pace of ZK research means some linked resources may represent early-stage or experimental work, and the field is subject to frequent advancements and potential breaking changes in underlying cryptographic primitives.