##### Properties of KZG:

- Trusted setup 🙁
- Pairings
- constant sized Polynomial 🙂

##### Trusted Setup

To commit to degree \(\leq l\) polynomials, we need to construct Structured Reference Strings: \( (g, g^\tau, g^{\tau^2} , …, g^{\tau^l})=(g^{\tau^i})_{i\in [0,l]}\)

Note 1: The trapdoor \(\tau\) is generated by distributed protocols, for instance, ….

Note 2: …