Siphon Protocol

Link GitHub

Founding Engineer Oct '25 – Sep '26

Built a Groth16 privacy pool, RapidSnark proving relayer, compliant note-selection flow, encrypted note storage, and privacy-safe production infrastructure.

> Highlights:

• Designed and implemented a zero-knowledge Groth16-based privacy pool, covering deposits, note management, proof generation, and withdrawals
• Built a high-performance RapidSnark proving relayer, cutting withdrawal proving time from ~50s in-browser to sub-second
• Reduced wallet signature prompts from 7 to 2 using ephemeral keys for auth delegation and encrypted client-side storage across the end-to-end flow
• Designed and integrated a label-based Association Set Provider workflow for privacy-preserving compliance checks
• Integrated a greedy note-selection algorithm with the compliance model that satisfies withdrawal amounts while minimizing compliant notes consumed
• Built privacy-safe Sentry observability across Next.js and Python services, stripping note secrets, request bodies, and stack-frame locals before export
• Provisioned self-hosted Supabase on AWS EC2 with TLS and restricted service exposure; automated age-encrypted, append-only S3 backups and validated full restores

402.fhe

Link GitHub

Apr '26 – May '26

A private payment layer for AI agents that pay per API call over x402. Balances and usage stay encrypted with FHE, so no one, not even the operator, can see who called which API or how often.

> Highlights:

• Built a confidential x402 payment layer using middleware routing, a shared escrow pool, and FHE to conceal which agent or user calls which API and how often
• Designed non-bilateral state channels with signed off-chain call proofs and batched settlement, avoiding per-call transactions
• Implemented homomorphic conditional settlement for buyer debits, merchant credits, and fees without decrypting balances
• Built HTTP 402 challenge–response, concurrency guards, and KMS-verified self-service withdrawals

Course Project, Prof. Udaya Parampalli Jul '25

Recovered AES round-key bytes from real hardware power traces using Hamming-weight leakage models, Pearson correlation, and reverse key-schedule analysis.

> Highlights:

• Performed Correlation Power Analysis on real hardware traces using Hamming-weight leakage models and Pearson correlation to recover AES round-key bytes
• Reverse-engineered 8-bit and 32-bit AES implementations to locate key-dependent leakage regions in the recorded traces
• Reconstructed the original encryption key by reversing the AES key schedule from recovered round-key bytes
• Compared AddRoundKey and SubBytes leakage, finding clearer correlation peaks from nonlinear S-box intermediates

Feb '26

A drag-and-drop IDE for zero-knowledge circuits on Starknet. Snap blocks together, watch Cairo code generate in real time, then test, deploy and share your circuits from one place.

> Highlights:

• Built a visual ZK circuit editor with 18 Blockly blocks for arithmetic, hashing, logic, constraints, inputs, and outputs
• Wrote a Blockly–AST–Cairo pipeline for type checks and real-time code generation from connected blocks
• Added circuit testing, gas estimation, data-flow visualization, and templates for hash, Merkle, and range proofs
• Built an IPFS-backed circuit marketplace for publishing and importing reusable designs by CID, alongside Scarb export and Starknet Sepolia deployment

Aug '26

Lets two parties find out what they have in common without revealing anything else. A Rust CLI that runs private set intersection over blinded elliptic-curve points using commutative Diffie–Hellman.

> Highlights:

• Implemented mutual private set intersection in Rust using a commutative Diffie–Hellman protocol
• Built a prepare–respond–finalize CLI that exchanges blinded curve points instead of plaintext values or ordinary hashes
• Added session-bound transcripts, malformed-point checks, protected state files, and leakage-focused protocol tests