I am a systems engineer and protocol researcher focused on high-performance concurrent systems, applied cryptography, and provably secure backends. My work focuses on building low-latency stream-processing pipelines, cryptographically verifiable digital identity frameworks, and formal algorithm benchmarking engines.
- π Currently Architecting:
AlgoVault(a high-performance algorithm benchmarking platform integrated with formal TLA+ specifications) and deep-tech DAO tokenomics. - πΌ Experience: Lead Blockchain & ZKP Engineering Intern at Lokachakra | Researcher in Post-Quantum Cryptography.
- π‘οΈ Core Specializations: Zero-Knowledge Proofs (Circom/Groth16), Hyperledger Fabric, Distributed State Machines, and Post-Quantum Security.
- π― Philosophy: "Compile-time guarantees, deterministic execution, and minimal abstraction layers."
Enterprise Blockchain & Verifiable Identity System A trust-minimised, high-throughput property registration and verification platform tailored for the Indian real estate ecosystem.
- Consensus & Architecture: Implemented a permissioned network topology using Hyperledger Fabric, featuring private data collections to ensure transaction confidentiality.
- Identity Layer: Integrated Aadhaar-anchored Decentralised Identifiers (DIDs) and verifiable credentials to eliminate identity fraud at the protocol layer.
- Engine: Built using a high-concurrency Rust (Axum) API gateway optimized for asynchronous state updates.
Bare-Metal Algorithm Profiling Platform with Mathematical Guarantees An isolated execution environment designed to profile, benchmark, and mathematically verify algorithmic state transitions.
- Formal Verification: Built using TLA+ formal specifications to eliminate race conditions, deadlocks, and state mutation errors before code execution.
- Systems Engineering: Developed a bare-metal execution sandbox in Rust utilizing low-level resource isolation to track exact memory allocations, CPU cycles, and cache misses.
Non-Custodial Cryptographic Dead Man's Switch An institutional-grade, air-gapped inheritance vault executing natively on the Bitcoin blockchain via script-enforced time-locks.
- On-Chain Logic: Engineered custom SegWit (P2WSH) scripts utilizing
OP_RELATIVE_TIMELOCK(OP_CSV) and conditional execution paths (OP_IF/OP_ELSE). - Security & Memory Safety: Designed an in-memory AES-256-GCM encrypted keystore using
secp256k1primitives. Generates compliant BIP-174 Partially Signed Bitcoin Transactions (PSBT) to maintain air-gapped isolation. - Daemon Layer: Built a multi-threaded Rust watchtower daemon monitoring mempools via JSON-RPC/REST to handle dynamic RBF (Replace-By-Fee) automated sweeping.
πΉ ZK Identifier
Zero-Knowledge Decentralised Identity Engine A privacy-preserving identity verification protocol enabling selective disclosure without exposing data primitives.
- Circuits: Authored arithmetic circuits in Circom using the Groth16 zk-SNARK proving system.
- Verification Backend: Built a low-latency, deterministic verification module in Rust to ingest proofs and update state on-chain asynchronously.
π’ Lokachakra | Lead Blockchain & Zero-Knowledge Proof Intern August 2025 β December 2025
- Architected and deployed production-grade, privacy-preserving KYC workflows using zero-knowledge proofs.
- Developed the core, highly concurrent Rust-based registration and cryptographic identity verification modules.
- Decreased authentication overhead by implementing optimised cryptographic serialisation formats.
π¬ Post-Quantum Cryptography Initiative | Research Intern January 2025 β December 2025
- Evaluated the mathematical vulnerabilities of classical public-key infrastructure (RSA, ECC) against Shor's and Grover's algorithms.
- Modeled and benchmarked migration complexity parameters for NIST-standardised lattice-based cryptographic primitives.
- π Research Publication: Published "Post-Quantum Cryptography: A Comprehensive Review" on SSRN (Abstract ID:
5286065), detailing quantum-safe primitive deployment strategies. - π₯ Semi-Finalist: Algorand Hackathon (Project Shakti) β Engineered decentralised governance protocols.
- π₯ 1st Rank: Vibe Coding Contest (Algorithmic Efficiency & Optimization).
- π₯ Top 20 Finalist: Vihaan Hackathon (DTU) β Out of 4,000+ competitors.
