![Proofs, Consensus, and Decentralizing Society_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Proofs%2C%20Consensus%2C%20and%20Decentralizing%20Society_hi-res.png.jpg?itok=gluZ2qCs)
Abstract
"Universal" SNARKs present a very attractive tradeoff, where trusted setup based parameters are allowed, but the same parameters must be used for all statements of a certain size.
A central tool in recent constructions is the polynomial commitment scheme of Kate, Zaverucha and Goldberg. We will review various ways in which the KZG scheme is used in these constructions.