Ingopedia

Commitment Schemes

  • General
    • Overview of commitment schemes: Justin Drakes
    • Comparison of Commitment Schemes
    • review of polynomial commmitments
    • Benchmarking multilinear PCS
  • KZG
    • KZG commitments
    • KZG - Suyash
    • Polynomial commitments - Dankrad Feist
      • How to use KZG in proofs
      • Fast KZG proofs
      • Amortized KZG - Feist Khovratovich
      • Multiplying a vector by a Toeplitz matrix
      • PCS multiproofs - Feist
      • New sharding design with tight beacon and shard block integration - Dankrad Feist
      • Protodanksharding - FAQ Vitalik
    • Universal verification equation for data availability sampling
    • KZG friendly curves: El Housseini
    • KZG in practice: Scroll
    • Constant-Size zk-SNARKs in ROM from Falsifiable Assumptions
      • Knowledge soundness of KZG
  • Merkle commitment
    • Sparse Merkle trees
    • Merkle Commitment scheme
    • Field Merkle Tree
    • Merkle trees and proof of inclusion
    • Hybrid Merkle trees
  • Vector Commitments
    • Verkle Trie - Dankrad Feist
    • Aggregatable vector sub commitments
    • Catalano-Fiore VC
  • Inner product Arguments (IPA)
    • Inner product arguments - Dankrad Feist
    • IPA by hand - arnacube
    • IPA commitment scheme Lambdaclass
  • Lattice based commitment Schemes
    • Vortex
    • SLAP
      • Blog