Marc Beunardeau
Cryptologue at o1Labs
Greater Paris Metropolitan Region France
Summary
🤩
Rockstar🎓
Top SchoolMarc Beunardeau is a cryptographer and research-driven engineer based in Greater Paris with a PhD from École normale supérieure and about a year of industry experience in production cryptology roles. He built anonymous payment primitives for the Tezos blockchain at Nomadic Labs and now works as a cryptologue at o1Labs, blending protocol-level research with practical implementation. His background spans academic publications, formal theoretical training (MPRI), and applied security work at Ingenico and CEA on payments and fault injection, revealing a rare combination of crypto theory and hands-on attack/defense experience. Colleagues can expect rigor in proofs and code, plus a track record of turning advanced cryptographic concepts into deployable systems.
1 year of coding experience
Doctor of Philosophy - PhD Cryptographie, Doctor of Philosophy - PhD Cryptographie at Ecole normale supérieureMaster Parisien de Recherche en Informatique (MPRI) Informatique théorique, Master Parisien de Recherche en Informatique (MPRI) Informatique théorique at École Normale Supérieure Paris-Saclay
Github Skills (12)
cryptocurrency10
sat-solver10
mina10
bulletproofs10
cryptography10
blockchain10
ocaml10
scaling9
security9
ethereum9
crypto9
decentralization9
Programming languages (2)
Github contributions (2)
o1-labs/proof-systems
Jul 2024 - Apr 2025
The proof systems used by Mina
Contributions:334 reviews, 36 PRs, 97 pushes in 8 months
minabulletproofscryptographysat-solverzksnarks
MinaProtocol/mina
Oct 2024 - Oct 2024
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Contributions:6 PRs, 3 pushes, 3 branches in 1 day
minaethereumsecurityblockchainocaml
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.