I build verifiable systems: software where you don't have to trust the operator, because the cryptography proves it.
Research Associate (Cryptography) at Namo Labs, working on post-quantum migration. Final-year BTech CS (CGPA 9.00/10). Rust first.
LinkedIn | Paper - SSRN 5286065 | Codeforces
- decomm - Post-quantum P2P chat. Kyber-1024 key exchange, RISC Zero zkVM proofs of group membership against a Merkle root on Solana. Real 244 KB STARK receipts, verified in under 100 ms.
- zk-por-vault - ERC-4626 yield vault with Groth16 proof-of-reserves checked on-chain.
- zk-identity-auth - Anonymous membership auth with Groth16 proofs generated in the browser.
- CODIT - Autonomous codebase audits: Tree-sitter static analysis, dependency graphs, ML defect-risk scoring with SHAP. Live at coditt.xyz.
- por_vault - Bitcoin inheritance vault in Rust: P2WSH scripts, OP_CSV time-locks, PSBT air-gapped signing, watchtower daemon.
- triad - Event-driven trading engine in Rust: L2 order-book signals, ONNX inference, HNSW memory.
- Namo Labs - Research Associate (Cryptography). Evaluating PQC protocols, mapping replacements for classical standards.
- Kambria - Backend Developer. Credit-Karma-KAT tokenomics backend (NestJS/MySQL) for a multi-tenant DAO platform.
- Lokachakra - ZKP identity and KYC backend in Rust (Circom/Groth16): 10K+ users, 85% faster verification. Wallet system at 5,000+ TPS, sub-15ms latency.
"Post-Quantum Cryptography: A Comprehensive Review of Past Technologies and Current Advances" - G-CARED 2025. Benchmarked NIST PQC finalists, hybrid migration with 35% lower overhead.
Semi-finalist, Algorand Hackathon (Shakti). 1st place, Vibe Coding Contest. Top 20, Vihaan Hackathon (DTU, 4,000+ competitors). Stacks Bitcoin Hacker House, Goa. Founder, AlterBlock.
Looking for internships and early-career roles on verifiable infrastructure: zkVMs, proof markets, ZK identity, PQC migration.