Zk Proof Theory
Registration
Past Event
About Event
We welcome Giacomo Fenzi working with Alessandro Chiesa at EPFL.
https://x.com/GiacomoFenzi
This talk will describe how to construct STARKs: SNARKs secure in the pure random oracle model, that lead to efficient and widely deployed protocols, underlying the security of Starkware, Polygon, zkSync, and much more.
We will be talking about the high level construction of STARK and then focus on the low-degree tests, the main building blocks of such constructions.