Education

• MS Cybersecurity, Tandon School of Engineering, New York University (Spring 2025)
  • Coursework: Applied Cryptography, Blockchain, and DLTs
  • Thesis: Scaling Client Side Proving with Incrementally Verifiable Computation - Advised by Benedikt Bunz

    • Implemented Protostar folding Scheme with Cyclefold. Used Halo2 frontend for writing the recursive verifier - Scalar multiplication and Poseidon2 hash.

      thesis.pdf

    • Outperforms current SOTA Microsoft Nova for Scalar multiplications and hashing - https://github.com/amit0365/plonkish/tree/with_u ‣ ‣

Experience

TinFoil Labs - Software Engineer (April - Oct 2025)

• Developed a full-stack AI companion app with realtime chat, voice, and video avatar interaction. Built using Next.js 15 (App Router) and Supabase for authentication, database, and storage. https://yoursforever.ai/
• Integrated GPT-4 Realtime API for dynamic dialogue, SSE-based streaming chat interface for progressive content loading, and Python agents over LiveKit for low-latency communication. Added ElevenLabs for TTS, OpenAI STT for speech recognition, Fal.ai for image rendering, and Hedra for video avatars.

Grantee - Ethereum Foundation (Feb - April 2025)

• Deployed GKR gadget to run the bivariate sumcheck protocol by implementing the low-degree evaluation protocol and batch sum-check protocol. - https://github.com/amit0365/gkr

Consensys - Software Engineer Intern (Summer 2024)

• Implemented in-circuit GKR verifier for scalar multiplication - https://github.com/Consensys/gnark/pull/1248

https://docs.google.com/presentation/d/1vKyoJyXbjTglVs9NO0LiV-l1LinhF33pWwgOwVubX00/edit?usp=sharing

Holonym - Applied Cryptography Intern (Summer 2023)

• Wallet Recovery from email using zkSNARKS
• Contributed to private repo - In production https://wallet.human.tech

https://docs.google.com/presentation/d/1JzIj0YqSiIlUZR6Ausd8P4luiXRekIyI-0tIvCx-HtE/edit?slide=id.p#slide=id.p

Grants