Recent Computer Science graduate focused on zero-knowledge proof systems, cryptographic protocols, and systems programming in Rust. I build proving-system components from first principles and study production ZK codebases to understand how the theory translates into real, working systems.
An educational STARK proving system built from scratch in Rust to understand the full prover–verifier pipeline at the implementation level.
- Implemented finite-field arithmetic, polynomial interpolation, FFT/IFFT, low-degree extension, Merkle commitments, Fiat-Shamir transcripts, and FRI folding
- Worked with execution traces, AIR constraints, composition polynomials, and low-degree testing
Rust STARKs FRI AIR FFT Finite Fields Polynomial IOPs
A KZG polynomial commitment scheme implemented from scratch in Rust, covering commitments, evaluation proofs, quotient polynomial construction, and pairing-based verification.
- Worked with structured reference strings (SRS), trusted setup concepts, elliptic-curve group operations, and bilinear pairings to understand how KZG enables succinct polynomial opening proofs
Rust KZG Polynomial Commitments BLS12-381 Bilinear Pairings
Studied the architecture and implementation of Airbender, a Rust-based RISC-V zkVM proving system, tracing execution and proving components to understand how ZK protocol concepts translate into production code. Also investigated Ethereum execution behavior using execution-spec fixtures and differential testing.
Rust zkVM RISC-V ZK Provers Ethereum Execution
A structured, curated roadmap for learning Zero-Knowledge Proofs end-to-end — math foundations → cryptographic primitives → proof systems (Groth16, PLONK, STARKs, FRI, Halo, folding schemes) → applied engineering (Cairo, Rust, prover engineering, zkVMs, rollups) — paired with the best free resource for each topic. Completed the full roadmap myself; now open source for other students and researchers navigating the same path.
Zero-Knowledge Cryptography Technical Writing Open Source
An EVM transaction analysis toolkit written in Rust. Implements ABI calldata decoding, transaction simulation, bytecode disassembly, an 844-instruction EVM parser, and detection of Uniswap V2/V3 swaps, sandwich attacks, and arbitrage activity.
Rust alloy-rs tokio EVM MEV
A Solana staking program written in Rust and Anchor. Implements SPL token deposits, PDA-based access control, reward calculation, lock-up periods, early withdrawal penalties, and cross-program invocations.
Rust Solana Anchor SPL Token PDAs CPI
Zero-Knowledge: Groth16 · PLONK · STARKs · FRI · AIR · KZG · Halo2 · Folding Schemes (Nova) · Sumcheck · Lookup Arguments · Polynomial Commitments · Fiat-Shamir · Merkle Commitments
Cryptography: Finite Fields · Polynomial Arithmetic · FFT/IFFT · BLS12-381 · Bilinear Pairings · Elliptic Curves · R1CS · QAP
Engineering: Rust · Solidity · Cairo · Circom · EVM · zkVMs · Git · Foundry · Cargo
- Independent Web3 and protocol security research
- 6 months of professional software engineering internship experience
- Smart India Hackathon Winner
- TryHackMe — Top 1% globally
Junior ZK Engineer · Prover Engineer · Cryptography Engineer · Protocol Engineer · Security Researcher
Open to roles where I can contribute to real proving systems and grow alongside experienced ZK engineers.