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. Authors ordered alphabetically
  2. Laminate: Delegation with Integrity and Secrecy. 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)

Talks