Latest

I’m currently working on embedding Clap in the Lean proof assistant to prove functional correctness of ZK circuits.

The previous incarnation of Clap as a Rust eDSL allowed building PlonKish circuits that are free of over/under-constrained bugs by construction and just as fast thanks to automatic optimizations.

Short Bio

[2024-25] I was at Miden as Rust Staff Engineer working on their VM.

[2023-24] I was at Matter Labs as Senior Research Scientist in the research team led by Ben Livshits.

[2020-2023] While at Nomadic, I led, together with cryptographer Marc Beunardeau, a distributed team of 10 incredibly talented engineers in the development of a validity rollup called Epoxy and its zero-knowledge proving system called aPlonk.

[2018-2020] I was a Software Engineer at Nomadic Labs working on the Tezos project. My work on Tezos included the integration of privacy-preserving transactions, the shepherding of protocol update Edo and the integration of the formally verified cryptographic library HACL* (among many other things).

In 2017 I was a Post-Doc at INRIA Paris working on secure compilation with Catalin Hritcu in the Prosecco Team. In 2016 I was a Post-Doc at Cornell Tech (NYC) working on Membership Inference (a form of Adversarial Machine Learning) with Vitaly Shmatikov and Reza Shokri. In 2015 I got my PhD at LIX, École Polytechnique, France working on differential privacy for geolocation data supervised by Catuscia Palamidessi and Konstantinos Chatzikokolakis.

Publications