Marco Stronati earned his PhD in Computer Science in 2015, with a thesis on formal methods for privacy. After a post-doc at Cornell Tech on adversarial machine learning and at Inria on certified compilation, he transitioned to the blockchain industry.He worked for 5 years on the Tezos project, ultimately managing a team dedicated to developing a ZK-rollup powered by a custom zero-knowledge proof system.He then joined Matter Labs as a privacy researcher, where he first worked on the Clap language for circuits. After being a Rust developer for Miden, he is now working with Nethermind on a new version of Clap implemented in Lean.