Jérémi Do Dinh

About Me

I’m a Rust/ZK engineer specializing in prover infrastructure and zkVM internals. At Ligero, Inc., I’ve ported the Ligero verifier to Rust with custom integration of RISC Zero zkVM precompiles, developed an interactive concrete-security analysis tool for the Ligero protocol, contributed upstream to Plonky3, and built Claude skills for ZK circuit development.

I earned my M.Sc. in Computer Science from EPFL in 2024, with a thesis at COMPSEC under Alessandro Chiesa and Giacomo Fenzi on simulation security in the random oracle model. Before EPFL, I received a B.Sc. in Mathematics & Computer Science from McGill University, with a minor in Musical Science & Technology.

Beyond engineering, I enjoy tennis, kitesurfing, and skiing. I play bass for FIA and write songs with Discoplay.

Areas of Focus

• Hash-based proof systems: IOP-based zkSNARKs, FRI / STIR / WHIR, polynomial commitment schemes, low-degree testing.
• Concrete security: Soundness under Fiat-Shamir, proximity gaps, round-by-round analysis.
• Prover engineering: zkVM internals, precompile design, NTT/FFT, field arithmetic.

News

• [Jun. 2025] Joined Ligero, Inc. as a cryptographic engineer.
• [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