Arithmetization

• General
  • Arithmetic Circuits: A survey
  • How to transform code into an arithmetic circuit?
  • Complexity Zoo
  • Arithmetization schemes for snarks
• 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