KZG Polynomial Commitment Scheme

[thogiti]

I am working on the KZG commitment scheme. My goal is to write a self-containing wiki page for KZG so that beginners and intermediate skilled audience can read it and understand it.

Why we need to learn KZG:

• Modern ZKSNARK = Functional Commitment Scheme + Compatible Interactive Oracle Proof (IOP)
• Ethereum Danksharding
• Other important Cryptography and Blockchain applications to preserve privacy

I will derive KZG by hands for a small finite field to visualize all the math happening behind KZG. This can understand KZG protocol flow.

https://github.com/thogiti/protocol-studies/blob/scaling/docs/wiki/Cryptography/KZG.md

[thogiti]

I've added a KZG Batch mode section in the commit hash a196800.

[thogiti]

@taxmeifyoucan KZG wiki page is complete. I merged it into scaling branch.

[taxmeifyoucan]

Great, thanks! I will give it another read before merging to main