证明方法

（添加论文：工作正在进行中）

Sumcheck 协议

• Sumcheck 的不合理强大性 - Thaler
  • Justin Thaler 讲座
  • Sumcheck 协议简介 - oxsage
  • Sumcheck 协议背后的直觉 - Wong
• Sumcheck 论证和应用
• 使用多线性 Sumcheck 论证 AIR - Borgeaud

低次数测试/FRI

• STARK 论文
• DEEP - FRI
• Reed-Solomon 码的接近间隙
• FRI hackernoon
• FRI 属性
• FRI 抹除码欺诈证明
• Barycentric 低次数检查 - Dankrad Feist
• 低次数测试

查找论证

• 查找论证简史

聚合和递归

• Snarkpack：实用的 Snark 聚合
  • 博客
  • 演讲
  • 演讲

折叠和累积方案

• 资源：Awesome Folding
• 如何构建一个超凡脱俗的 snark - Nat Bunner
• 一个不完整的折叠方案指南 - Lisa

通用

• 简洁证明和线性代数