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

ZKSNARKS

A collection of resources explainig ZKSnarks.


Trusted Setup

  • Introduction -Vitalik
  • Aztec Ceremony
  • Trusted setup - Tau
  • Setup ceremonies
  • Zk snark setup phase

Vitalik Snark tutorial

  • Snarks 1: QAP from zero to hero
  • Snarks 2: Elliptic curve pairings
  • Snarks 3: Zk snarks

Recursive Snarks

  • Recursive SNARKs - Stanford lecs
  • Recursive SNARK -zkProof
  • Recursive SNARK - overview - Michael Straka
  • Fast Recursive arguments based on Plonk and Halo
  • Field selection for recursive SNARKS
  • ZKsnark aggregation - Delendum