Guillaume Drevon
Senior Software Engineer And Language Designer at Aztec
Luxembourg
Summary
🤩
Rockstar🎓
Top SchoolGuillaume Drevon is a senior software engineer and language designer based in Luxembourg with seven years focused on cryptography, zero-knowledge proofs and blockchain engineering. He currently shapes the Noir language and Aztec backend, implementing low-level compiler features like SSA generation and replacing WASM calls with FFI to improve proof execution efficiency. Previously a CTO and technology director, he built e-voting and peer-to-peer IOU platforms that combine ZK protocols with quantum-resistant cryptography for privacy-preserving, highly scalable systems. Comfortable leading multicultural teams, he blends deep academic math training with practical architecture and delivery experience across startups and enterprise projects. Colleagues rely on him to translate advanced cryptographic research into auditable, production-ready tooling.
7 years of coding experience
22 years of employment as a software developer
DEA Pure Mathematics, Agrégation, Mathematics, DEA Pure Mathematics, Agrégation, Mathematics at Ecole normale supérieureAllocataire Moniteur Normalien, Mathematics, Allocataire Moniteur Normalien, Mathematics at Université Paris-Est Créteil (UPEC)
Github Skills (7)
proofs10
programming-language10
proof10
rust10
cryptography9
compiler-compiler9
compiler9
Programming languages (11)
Github contributions (5)
noir-lang/noir
Nov 2021 - Jan 2023
Noir is a domain specific language for zero knowledge proofs
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1174 reviews, 234 commits, 398 PRs in 1 year 2 months
Contributions summary:Guillaume primarily focused on implementing and testing the core functionality of the Noir programming language, a domain-specific language for zero-knowledge proofs. Their work included adding program integration tests, replacing WASM calls in the Aztec backend with FFI, generating SSA form for the language's features and implementing a modulo operator. The changes demonstrate a strong focus on the language's underlying infrastructure and its efficient execution.
cryptographyzeroknowledgezero-knowledgecompiler
guipublic/noir
Nov 2021 - Jun 2023
Noir is a domain specific language for zero knowledge proofs
Contributions:2 PRs, 17 pushes, 1 branch in 1 year 7 months
zerodataminingknowledgerule-basedzero-knowledge
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.