1. 1. Community Guidelines
  2. 2. Zero Knowledge Proofs
    1. 2.1. Curated Resources
    2. 2.2. Video Lecture Series
    3. 2.3. Articles
      1. 2.3.1. ZK Introductory
      2. 2.3.2. Ingonyama Blogs
      3. 2.3.3. ZKSNARKS
      4. 2.3.4. STARKS
      5. 2.3.5. Applications
      6. 2.3.6. Vulnerabilities
    4. 2.4. Hands-On ZK
    5. 2.5. Protocols
    6. 2.6. Mathematics
      1. 2.6.1. Finite fields
      2. 2.6.2. Cryptographic primitives
        1. 2.6.2.1. Elliptic curves
        2. 2.6.2.2. Hash functions
        3. 2.6.2.3. Verifiable Delay functions
        4. 2.6.2.4. Arithmetization
        5. 2.6.2.5. Commitment Schemes
        6. 2.6.2.6. Secure Multi Party Computation
        7. 2.6.2.7. Proving Methods
      3. 2.6.3. Computational Primitives
        1. 2.6.3.1. Hardware acceleration
        2. 2.6.3.2. Discrete Fourier Transforms
        3. 2.6.3.3. Multi Scalar Multiplications
  3. 3. Homomorphic Encryption

Ingopedia

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