About

I am a cryptographer at Consensys developping a zero-knowledge cryptography open-source ecosystem in Go language (see gnark and gnark-crypto libraries) and building Linea on top of it, an EVM-equivalent Type-2 zkEVM. I completed my PhD in Mathematics and Computer Science at Ecole Polytechnique. I was advised by François Morain and Daniel Augot, and then by Aurore Guillevic.

My research focus on efficient proof systems based on algorithmic number theory. I am particularly interested in the theory and application of bilinear pairings and elliptic curves in SNARKs.