Jérémi Do Dinh

About Me

I’m an independent cryptography engineer specializing in Rust and zero-knowledge proof systems, as well as data tooling and automation pipelines. I currently work on a contract basis with Ligero, Inc. and support select clients on applied cryptography and performance engineering.

I earned my M.Sc. in Computer Science from EPFL in 2024, focusing on proof systems and theoretical CS. I completed my thesis at COMPSEC under Alessandro Chiesa and Giacomo Fenzi. Before EPFL, I received a B.Sc. in Mathematics & Computer Science from McGill University, with a minor in Musical Science & Technology.

Services

I offer contracting and consulting services in the following areas:

• Cryptography Engineering: Rust implementations of ZK proof systems and cryptographic protocols
• Performance Engineering: Profiling and optimization (Rust/C++/CUDA)
• Data Tooling & Automation: Python pipelines, reporting, and automation

Available for contracting and consulting. Get in touch or book a call.

Research Interests

• Cryptography: Hash-based zkSNARKs, simulation-security of arguments, and post-quantum cryptography.
• Probabilistic Proofs: Interactive proof systems and low degree testing.

News

• [Sept. 2025] Began a long-term engineering contract with Ligero, Inc. following the internship.
• [Jun. 2025] Started a 3-month internship at Ligero, Inc.
• [Oct. 2024] Took time off to explore opportunities after graduation, while working part-time on select projects.
• [Sept. 2024] Finished my master’s degree at EPFL.
• [Mar. 2024] Began thesis research at COMPSEC.
• [Sept. 2023] Started a 6-month internship at SonarSource.

Publications

Projects