Commitment Schemes

• General
  • Overview of commitment schemes: Justin Drakes
  • Comparison of Commitment Schemes
  • review of polynomial commmitments
  • Benchmarking multilinear PCS
• KZG
  • KZG commitments
  • Variants of KZG1
  • 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
• MLE Commitment schemes
  • Spartan (SPARK)
  • Lasso (SUrge)
  • Twist and Shout (Surge++)
  • Jagged PCS
    • blog: Coratger
    • blog
  • Mercury
  • Samaritan