Giacomo FenziI am a PhD student in the COMPSEC Lab @EPFL.
My research is on cryptography and theoretical computer science, focusing on proof systems.
Interaction and randomness allow to trustlessly outsource computation and check its correctness with resources exponentially smaller than the original computation. In conjunction with cryptography, these proof systems lead to protocols called zkSNARKs, which play a central role in a number of applications, such as blockchain L2-rollups, anonymous credentials, signatures and more.
I study how to make zkSNARKs that are theoretically and concretely efficient, from post-quantum cryptographic primitives.