Arithmetization

• General
  • Arithmetic Circuits: A survey
  • Complexity Zoo
  • Arithmetization schemes for snarks
  • Grobner basis used in circuits
  • Circomscribe - learn circom
• R1CS constraint system
  • Daira Hopwood - Efficient R1CS circuits: Video
  • Quadratic Arithmetic programs R1CS 0 to H - Vitalik Buterin
  • Aleo - Basics of R1CS Zero Knowledge Proofs: How Cryptographers can prove anything
  • Alex Pinto - Constraint system for snarks
  • Alex Pinto - How to build QAP
  • Alex Pinto - Vanishing polynomial for QAP
  • QAP from zero to hero: Vitalik
  • R1CS workshop - Mir
• Plonkish arithmetization Refer to Plonk
• AIR Arithmetization
  • AIR to RAPs - Gabizon
  • AIR-Multivariate Sumcheck - W.Borgeaud
  • AIR assembly Bobbin Threadbare
  • Arithmetization methods for STARKS
  • Intro to AIR
  • Intro to PAIR
  • Notes on AIR arithmetization
• Customizable Constraint system CCS
  • CCS: Customizable constraint systems for succinct arguments
  • A multivariate AIR using Superspartan- Borgeaud