Marc Beunardeau

Cryptologue at o1Labs

Greater Paris Metropolitan Region France
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Marc 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.
code2 years of coding experience
bookDoctor of Philosophy - PhD Cryptographie, Doctor of Philosophy - PhD Cryptographie at Ecole normale supérieure
bookMaster 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-logo-circle

Github Skills (11)

cryptocurrency10
proof-system10
mina10
bulletproofs10
blockchain10
ocaml10
security10
ffi5
rust3
rustdoc3
crate3

Programming languages (2)

RustOCaml

Github contributions (3)

github-logo-circle
o1-labs/proof-systems

Jul 2024 - Jul 2025

The proof systems used by Mina
Contributions:376 reviews, 42 PRs, 121 pushes in 1 year
proof-systemplonkzero-knowledge-proofskimchizksnarks
MinaProtocol/mina

Oct 2024 - Jun 2025

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Contributions:4 reviews, 8 PRs, 13 pushes in 7 months
blockchaincryptocurrencysecurityocamlzk-snarks
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.
Request Free Trial