Topics:

• Poly-commit based on Error-correcting Codes
• Argument for Vector-Matrix Product
  • Proximity Test
  • Consistency Test
• Linear-time encodable code based on expanders
  • Lossless Expander
  • Recursive Encoding with constant relative distance

Topics:

• KZG poly-commit based on bilinear pairing
  • KZG scheme
  • Powers-of-tau Ceremony
  • Security Analysis
  • Knowledge of exponent assumption
  • Variants: multivariate; ZK; batch openings
• Bulletproofs poly-commit based on discrete logarithm