Marco Stronati is a researcher and engineer specializing in zero-knowledge proof systems, privacy, and formal methods. He earned his PhD in Computer Science in 2015 with a thesis focused on formal methods for privacy. Following postdoctoral research at Cornell Tech on adversarial machine learning and at Inria on certified compilation, he transitioned into blockchain research and development.

Marco spent five years working on the Tezos ecosystem, where he ultimately led a team building a zk-rollup powered by a custom zero-knowledge proof system. He later joined Matter Labs as a privacy researcher, contributing to the development of the Clap language for zero-knowledge circuits. After working as a Rust developer on Miden, he now collaborates with Nethermind on a new Lean-based version of Clap focused on formally verified circuit development.