CV

My curriculum vitae.

Education

  • Ph.D. in Cryptography, Boston University, 2029 (expected)
  • B.S. in Computer Science and Mathematics, Carnegie Mellon University, 2020

Publications

  1. Relative-error Unateness Testing. Xi Chen, Diptaksho Palit, Kabir Peshawaria, William Pires, Rocco A. Servedio, and Yiding Zhang. International Colloquium on Automata, Languages and Programming (ICALP) Authors ordered alphabetically. To appear.
  2. Laminate: Succinct SIMD-Friendly Verifiable FHE. Kabir Peshawaria, Zeyu Liu, Ben Fisch, and Eran Tromer. First Author

Work Experience

  • May 2025 - Aug 2025: Summer Research Intern at a16z crypto

  • Oct 2023 - Aug 2024: Cryptographic Software Engineer at Irreducible

    • Contributed to the Rust open source Binius repo (state-of-the-art SNARK proof system)
    • Wrote first iteration of core protocols
    • Optimized various cryptographic algorithms, including Lookup Arguments, Zerocheck, Sumcheck, GKR, NTT, FRI
    • Wrote internal Python models to provide hardware teams with clear specifications for accelerating bottlenecks in proof generation
    • Hosted regular lectures and office hours to teach cryptography concepts to hardware and system software engineers
    • See my Binius commits here

  • July 2022 - July 2023: Senior Software Engineer at Proven Tools

    • Founding Engineer (first employee)
    • Developed a Zero-Knowledge Proof of Solvency solution that allows an institution (e.g. crypto exchange) to prove that their total assets (digital and/or fiat) exceed their total liabilities without revealing any private information
    • Wrote and maintained some of the world’s largest ZK-SNARK circuits in production

  • May 2021 - July 2022: Software Engineer at Two Sigma Securities

    • Trading Engineer on the Wholesale Market Making (WMM) team

  • June 2020 - Feb 2021: Software Engineer at Clumio

    • Backend Team: Database Cloud Protection (Backup and Recovery)

Professional Service

  • Subreviewer: CRYPTO 2025, ZKProof7, STOC 2026, ACNS 2026

Talks