Modern ZKP compilers
11-12, 13:30–13:40 (Asia/Bangkok), Stage 4

At PSE we have done much ZKP advanced development. From that learning we are building a language and compiler, that is summarizing much of this learning.
We answer questions like: Are compilers necessary in a zkVM world? What is the role of a compiler in ZKP development? What are its most common components? How different ways can this problem be approached?
In this advanced talk, we will learn how we compile arbitrary boolean expressions, or how the Schwartz–Zippel lemma can be used to optimize

Currently work on a new language and compiler for ZKP at PSE / Ethereum Foundation. Previously worked on distributed and embedded systems. Always a student. Long time ago, worked for ARM, and built start-up as co-founder CTO uniplaces.com