Jérémi Do Dinh

About Me

I’m a cryptographic engineer focused on Rust-based ZK proof systems and zkVM internals. At Ligero, Inc., I’ve ported the Ligero verifier to Rust with custom integration of RISC Zero zkVM precompiles, led the Ligetron documentation effort (docs.ligetron.com) including 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