Jérémi Do Dinh

About Me

I’m a Rust engineer focused on performance-critical, correctness-first code, with a background in zero-knowledge proof systems. At Ligero, Inc. (2025-2026), I rewrote the Ligetron verifier in Rust against the C++ reference implementation over a CXX FFI boundary, and ran it inside the RISC Zero zkVM, where moving hot paths onto its precompiles cut their cost by up to 4.5x. I also built SIMD- and Rayon-parallel field arithmetic benchmarked with Criterion, and led the Ligetron documentation effort (docs.ligetron.com), including an interactive security-parameter calculator for the Ligero protocol. I contribute upstream to Plonky3: most recently, a sum-check kernel implementing eprint 2026/762, with a 10-13% kernel speedup.

I work with AI agents: I write the spec, design decisions and tests, agents implement, and I run adversarial review cycles, with human spot checks where the risk is highest.

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

• Performance-critical Rust: SIMD (AVX2), Rayon data parallelism, Criterion benchmarking, procedural macros, Rust-C++ FFI (CXX).
• Proof systems: hash-based SNARKs, FRI / STIR / WHIR, sum-check, zkVM internals and precompile design.
• Arithmetic: finite-field arithmetic (BN254, Goldilocks, BabyBear; Montgomery form), NTT/FFT.

News

• [Jul. 2026] Wired the new sum-check into the WHIR prover end to end (PR #1949), measured the overall gain as marginal, and recommended not merging.
• [Jun. 2026] Implemented the sum-check from eprint 2026/762 as a kernel in Plonky3 (PR #1900, merged Aug. 2026), with a 10-13% kernel speedup.
• [May 2026] Left Ligero, Inc. after a year as a Rust / cryptographic engineer.
• [Aug. 2025] Made Plonky3’s DFT twiddle caches thread-safe (PR #999, merged Oct. 2025), unblocking parallel NTTs.
• [Jun. 2025] Joined Ligero, Inc. as a Rust / 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