Applied Cryptography & Protocol Security Engineer
Zero-knowledge proofs · elliptic curves & finite fields · blockchain & DeFi security · MPC · FHE
Email · GitHub · LinkedIn · CV · Vancouver, BC 🇨🇦
I'm a mathematician (Ph.D., number theory & algebraic geometry) turned applied cryptographer. I audit and build zero-knowledge and blockchain protocols — from the field arithmetic up through the circuits and the systems around them.
- Zero-knowledge proofs — zk-SNARKs, zk-STARKs, circuit design & auditing (Cairo, Noir)
- Cryptographic primitives — elliptic curves, pairings, efficient finite-field arithmetic
- Protocol & DeFi security — audits of cryptographic protocols, zkEVMs, TEEs, HSMs
- Advanced cryptography — MPC, FHE, and quantum cryptography
| Role | Where | When |
|---|---|---|
| Blockchain Researcher — Applied Cryptography | OpenZeppelin | 2025–present |
| Security Analyst — Zero-Knowledge | Veridise | 2024 |
| zk Technology Lead | Particle Network | 2023–2024 |
| Applied Cryptographic Engineer | Matter Labs | 2021–2023 |
| Cryptographer | Toposware | 2021–2022 |
| Quantum Cryptographer | Agnostiq | 2020–2021 |
- Ph.D. Mathematics — University College Dublin
- M.Sc. Mathematics — Chennai Mathematical Institute
- B.Sc. Mathematics & Computer Applications — University of Mumbai
Rust · Go · Solidity · Python · C/C++ · Cairo · Noir · SageMath · MAGMA
- R. Salen, V. Singh, V. Soukharev. Security Analysis of Elliptic Curves over Sextic Extension of Small Prime Fields. IACR ePrint 2022/277.
- V. Singh, A. Zaytsev, G. McGuire. Characteristic Polynomial of Simple Supersingular Abelian Varieties over Finite Fields. Functiones et Approximatio 51.2 (2014).
- P. Lisoněk, V. Singh. Quantum Codes from Nearly Self-Orthogonal Quaternary Linear Codes. Designs, Codes and Cryptography 73 (2014), 417–424.
- S. Haloui, V. Singh. On Characteristic Polynomials of Abelian Varieties of Dimension 4 over Finite Fields. Contemporary Mathematics 524 (2012), 59–68.
Preprints
- V. Singh, G. McGuire. The Intersection of Two Fermat Hypersurfaces in ℙ³ via Computation of Quotient Curves. arXiv:0911.4025.
- P. Lisoněk, R. Raussendorf, V. Singh. On Generalised Parity Proofs of the Kochen–Specker Theorem. arXiv:1401.3035.
📚 Full record — experience, education, and awards — on the CV page.
Vancouver, BC — open to conversations on ZK, applied cryptography, and protocol security.