I'm a blockchain developer specializing in Solidity Smart Contract development and Zero-Knowledge Cryptography. My focus is on DeFi Protocols, on-chain automation, and rigorous testing. I have built and deployed production contracts integrating Chainlink VRF and Automation, and I am authoring ZK circuits in Noir—spanning Merkle Sum Tree proof-of-solvency and undercollateralised credit verification.

My on-chain proof verification leverages Barretenberg UltraHonk, and my testing methodology is grounded in security principles like invariant and fuzz testing.

• Actively building: Noir circuits · Barretenberg UltraHonk verifiers · Merkle Sum Trees · Poseidon Hashing
• Strong foundation: Solidity · Foundry · DeFi mechanics · TypeScript · Ethernaut security basics
• Security mindset: reentrancy, access control, invariant testing, fuzz testing
• Based in New Delhi, India · Open to relocation & Remote friendly
• Targeting ZK Engineer and Smart Contract Developer roles

Zero-Knowledge Proof of Solvency — Noir · TypeScript · Barretenberg · Solidity · Foundry

A ZK proof-of-solvency protocol letting an asset custodian prove liabilities coverage and honest per-user inclusion without disclosing individual account data. Built on a Merkle Sum Tree where every node commits to a Poseidon hash and a running balance sum. The Noir circuit matches the root sum to declared liabilities and constrains every balance to [0, 2^64) via native range checks to close negative-balance attacks. The UltraHonk proof is consumed on-chain by proveAndRecord(), with custom contract logic holding 100% test coverage.

ZK-Powered Undercollateralized Lending Protocol — Noir · Barretenberg · Solidity · Foundry · Next.js

A DeFi lending protocol enabling a 50% collateral ratio (vs the standard 150%) by verifying off-chain creditworthiness via ZK proofs. The Noir circuit takes credit score and income as private inputs, and nargo prove produces a proof validated by an on-chain Barretenberg UltraVerifier. Implements strict Solidity conventions, ReentrancyGuard, and SafeERC20. Test suite includes 23 passing tests covering unit, fuzz (256 runs), and invariant testing (128,000 actions per invariant) utilizing ghost-variable tracking. Deployed to Sepolia across 5 iterations.

Decentralized Provably Fair Raffle — Solidity · Chainlink VRF v2.5 · Chainlink Automation · Foundry

A fully autonomous on-chain raffle utilizing Chainlink VRF v2.5 for verifiable randomness and Chainlink Automation for autonomous upkeep. Features a HelperConfig pattern for chain-aware deployment on Anvil (with a VRFCoordinatorV2_5Mock) and Sepolia. Rigorously tested with 12 unit tests, fuzz testing, and a skipFork modifier for VRF-mock tests.

• ETHOnline 2026 - ETHGlobal Async Hackathon (Upcoming)
• Frostbyte Hackathon Finale — Devpost Online Participation Award. Advanced to the finale by building the ZK-Powered Undercollateralized Lending Protocol.
• Frostbyte Hackathon Qualifier — Devpost Online Participation & Completion Recognition. Submitted an Employee Payroll Manager powered by Chainlink Automation.

• Indira Gandhi National Open University (IGNOU) — Bachelor's in Computer Application (Aug 2023 - Ongoing)