Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-folding
A curated list of zero-knowledge folding schemes
https://github.com/lurk-lab/awesome-folding
- From AIRs to RAPs
- A Brief history of lookup arguments
- Multiset checks in PLONK and Plookup
- Spartan: Efficient and general-purpose zkSNARKs without trusted setup
- Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
- Proof-Carrying Data and Hearsay Arguments from Signature Cards
- Recursive composition and bootstrapping for SNARKS and proof-carrying data
- Scalable Zero Knowledge via Cycles of Elliptic Curves
- Recursive Proof Composition without a Trusted Setup
- Halo Infinite: Recursive zk-SNARKs from any Additive Polynomial Commitment Scheme
- Presentation
- Proof-Carrying Data from Accumulation Schemes
- Presentation
- Proof-Carrying Data without Succinct Arguments
- Presentation
- Nova: Recursive Zero-Knowledge Arguments from Folding Schemes
- Presentation
- SuperNova: Proving universal machine executions without universal circuits
- Presentation
- Sangria: a Folding Scheme for PLONK
- Presentation
- Revisiting the Nova Proof System on a Cycle of Curves
- Presentation
- CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curves
- Reverie: an end-to-end accumulation scheme from Cyclefold
- Linear algebra and zero-knowledge - linalg.pdf))
- Origami – A Folding Scheme for Halo2 Lookups
- Folding Custom Gates with Verifier Input
- Folding for Arbitrary Polynomial Custom Gates and Lookups
- Folding endgame
- Customizable constraint systems for succinct arguments
- HyperNova: Recursive arguments for customizable constraint systems
- KiloNova: Non-Uniform PCD with Zero-Knowledge Property from Generic Folding Schemes
- Presentation
- Proof-Carrying Data from Multi-folding Schemes
- ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols
- Presentation
- ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances
- Presentation
- LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems
- Presentation
- Proofs for Deep Thought: Accumulation for large memories and deterministic computations
- Mangrove: A Scalable Framework for Folding-based SNARKs
- Accumulation without Homomorphism
- microsoft/nova
- lurk-lab/arecibo
- nova-study - rs just forlearning purposes.
- supernova
- multifolding-poc
- microsoft/nova hypernova experimental PR
- ccs-hack
- protogalaxy-poc
- pse/nova experimental ParaNova PR
- pse/folding-schemes
- snarkify/sirius - source constraint-system-agnostic folding framework for Incrementally Verifiable Computation
- PayneJoe/PNova
- Nova benchmarks
- Nova benchmarks (native SHA256)
- Nova wishlist and next steps
- Nova-based ZKVM spec
- Origami-benchmarks
- Notes on ProtoGalaxy
- Halo2 + Protostar
- ZK-Podcast Episode 277: Nova and beyond with Srinath Setty
- ZK-Podcast Episode 280: ProtoStar with Benedikt Bünz and Binyi Chen
- Zk-Podcast Episode 281: Exploring Lurk: a new Language for Recursive zk-SNARKs with Chhi'mèd Künzang and François Garillot
- ZK Study Club: SuperNova with Srinath Setty
- CCS & HyperNova with Srinath - Folding Schemes FTW
- Advances in the Efficiency of Succinct Proofs (Ying Tong Lai)
- Folding Circom circuits: A ZKML case study (Cathie So)
- ZK Study Club: Protostar with Binyi Chen
- (Super)Nova (Scotia): Unpacking Nova
- SBC'23 Session 4: Efficient SNARKs From Folding Schemes
- ZKP MOOC Lecture 10: Recursive SNARKs
- ZK Summit 10: "Recent advances in folding schemes" (Liam Eager)
- ZK Summit 10: "Visual ProtoStar" (Adrian Hamelink)
- Folding Scheme Math Buildding Blocks (Ying Tong Lai)
- SuperNova and Parallelizing Nova (Carlos Perez, Nalin Bardaj)
- Nova Track Ad-Hoc Session: ZK Week Research Projects Discussion (Barry Whitehat, Justin Drake, Nalin Bardaj)
- Ad-Hoc Session on Goblin PLONK + Nova (Zachary Williamson)
- Parallelizing Nova - Visualizations and Mental Models behind Paranova
- Towards a Nova-based ZK-VM
- Nova: from IVC to general PCD for zkMapReduce
- An incomplete guide to Folding: Nova, Sangria, SuperNova, HyperNova, Protostar
- Diagonal folding: Folding protocols with a large amount of rounds using 2-round Protostar
- Privacy Scaling Explorations
- Lurk Lab - lab.com/)
- Nova-Scotia
- Lurk
- Youtube account
- ZK Summit 9
- Nova-SHA256
- bellperson
- Zator: Verified inference of a 512-layer neural network using recursive SNARKs
- Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
- Github repo