Maxim Vezenov
Software Engineer Language Designer at Aztec Labs
Upper Saucon, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolMaxim Vezenov is a software engineer and language designer with six years of experience specializing in blockchain and zero-knowledge cryptography, currently contributing as a core developer on Noir at Aztec Labs. He holds an M.S. in Computer Science from Lehigh University, where his research in the Lehigh Blockchain Lab focused on zero-knowledge proofs, and he applies that research background to compiler and proving-system work in Rust. Maxim has practical cross-chain and backend experience from ChainSafe and startup exchange work, plus full‑stack and high-throughput pipeline improvements from internships at Klaviyo and Dolomite. At Noir he made substantive compiler-level changes—differentiating arithmetic expressions and gates, improving error reporting for nargo commands, and refactoring the partial witness generator—showing a blend of low-level systems rigor and product-oriented polish. He enjoys tackling hard engineering problems with creative, logic-driven solutions and bringing research ideas into production-grade open-source tooling.
6 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS, Computer Science and Business, Bachelor of Science - BS, Computer Science and Business at Lehigh University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (8)
proofs10
compiler-design10
rust10
proof10
cryptography10
backend9
back-end-development9
programming-language9
Programming languages (12)
Github contributions (5)
noir-lang/noir
Jul 2022 - Jan 2023
Noir is a domain specific language for zero knowledge proofs
Role in this project:
Backend Developer
Backend DeveloperContributions:1798 reviews, 106 commits, 569 PRs in 6 months
Contributions summary:Maxim primarily contributed to the core logic and functionality of the Noir language's compiler. They made substantial changes to the `noirc_evaluator` crate, modifying the `acir_gen.rs` file to differentiate between arithmetic expressions and gates. The user also worked on error reporting, particularly related to the `nargo prove/verify` commands, and refactored the API for the PWG (Partial Witness Generator). They also addressed issues in the `nargo contract cmd`, and implemented the `to_bytes` method within the standard library.
cryptographyzeroknowledgezero-knowledgecompiler
Verifiable-Reference-Letter/backend
Apr 2020 - Jan 2021
Contributions:16 PRs, 46 pushes, 14 branches in 8 months
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.