算术化

• 通用
  • 算术电路：一项调查
  • 复杂性动物园
  • 用于 snarks 的算术化方案
  • 电路中使用的 Grobner 基础
  • Circomscribe - 学习 circom
• R1CS 约束系统
  • Daira Hopwood - 高效的 R1CS 电路：视频
  • 二次算术程序 R1CS 0到 H - Vitalik Buterin
  • Aleo - R1CS 零知识证明的基础：密码学家如何证明任何事情
  • Alex Pinto - snarks 的约束系统
  • Alex Pinto - 如何构建 QAP
  • Alex Pinto - QAP 的消失多项式
  • 从零到英雄的 QAP：Vitalik
  • R1CS 研讨会 - Mir
• Plonkish 算术化 参考 Plonk
• AIR 算术化
  • 从 AIR 到 RAPs - Gabizon
  • AIR- 多变量 Sumcheck - W.Borgeaud
  • AIR 装配 Bobbin Threadbare
• 可定制的约束系统 CCS
  • CCS：用于简洁论证的可定制约束系统
  • 使用 Superspartan 的多变量 AIR- Borgeaud