Proving Methods

(To add papers: Work in progress)

Sumcheck Protocol

• Unreasonable power of sumcheck - Thaler
  • Justin Thaler Lecture
  • Intro to Sumcheck protocol -oxsage
  • Inuition behind sumcheck - Wong
• Sumcheck argument and applications
• Proving AIR with MultiLinear Sumcheck - Borgeaud

Low degree Testing/FRI

• 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

Lookup arguments

• A brief history of lookup arguments

Aggregations and recursions

• Snarkpack: practical snark aggregation
  • blog
  • talk
  • talk

Folding and accumulation schemes

• Resource: Awesome Folding
• How to build a snark that is out of this world - Nat Bunner
• An incomplete guide to FOlding schemes - Lisa

General

• Succinct Proofs and Linear Algebra