Proving Methods
(To add papers: Work in progress)
Sumcheck Protocol
- Unreasonable power of Sumcheck - Thaler
- Inuition behind sumcheck - Wong
- A zeroknowledge sumcheck and applications
- Sumcheck argument and applications
- Proving AIR with MultiLinear Sumcheck - Borgeaud
- The Power of Interactive Proofs
- Sumcheck Tutorial
- Sumcheck Slide-Deck
- Introduction to the Sumcheck Protocol
- A Zero Knowledge Sumcheck and its Applications
- Arkworks Sumcheck
- Formal Verification of the Sumcheck Protocol
- Succinct Arguments over Towers of Binary Fields
- Sumcheck over fields of small charecteristic
- Explaining the GKR method - Gabizon
- GKR based ZKP - Kalai
- GKR step bu step
- Speeding up sumcheck
Low degree Testing/Reed-Solomon Proximity testing
- STARK paper
- DEEP - FRI
- Proximity Gaps for Reed-Solomon Codes
- FRI hackernoon
- FRI properties
- FRI erasure code fraud proof
- Barycentric low deg check - Dankrad Feist
- Low Degree Testing
- Data Availability sampling from FRI
- Circle STARKS
- STIR: Reed–Solomon Proximity Testing with Fewer Queries
- Note on adding ZK to starks
- Note on FRI and low degree testing
Permutation arguments
Lookup arguments
Aggregations and recursions
Folding and accumulation schemes
- Algebraic reductions of knowledge
- Resource: Awesome Folding
- How to build a snark that is out of this world - Nat Bunner
- An incomplete guide to FOlding schemes - Lisa
- Algebraic Reductions of Knowledge