- Sherlock: https://audits.sherlock.xyz/watson/sourav_DEV
- Code4rena: https://code4rena.com/@Sourav_DEV
- Cantina: https://cantina.xyz/u/0xSourav
- Cyfrin: https://profiles.cyfrin.io/u/sourav_dev
- LeetCode: https://leetcode.com/u/SouravIIIT
- Email: sourav.dev.official@outlook.com
- X (Twitter): https://x.com/0xSouravAudit
- LinkedIn: https://linkedin.com/in/0xsourav
- Discord: miracles_25
Security-focused engineer auditing production-grade DeFi protocols with emphasis on invariant preservation and economic safety.
- Audited 18+ DeFi systems
- Reported multiple High and Medium severity vulnerabilities
- Built PoC exploits demonstrating:
- Invariant violations
- Precision & rounding flaws
- State desynchronization
- Economic exploit vectors
- DoS risks
- Manual contract review & adversarial reasoning
- Invariant design & validation
- Foundry (unit, fuzz, invariant testing)
- Reentrancy & access control analysis
- Storage layout tracing & gas optimization
- Liquidation & health factor validation
- BigNumber math & interest model review
- Proxy / upgrade risk assessment
Full audit portfolio:
https://github.com/Sourav-IIITBPL/audits
Strong architectural understanding of core DeFi primitives:
- Uniswap V2 reserve math
- Uniswap V3 concentrated liquidity
- Curve V2/V3 invariant models
- Aave V3/V4 lending architecture (audited)
- ERC-4626 accounting
- Sync & async vault patterns
- Share pricing & redemption edge cases
- Health factor computation
- Collateral validation
- Liquidation mechanics
- Interest rate dynamics
ERC-20, ERC-721, ERC-1155, ERC-165, ERC-4626, ERC-7575, ERC-6909, ERC-7521
My analysis focuses on correctness, invariant safety, and economic robustness under adversarial conditions.
Builds secure smart contracts and production-grade dApps.
- Solidity, upgradeable architectures, gas optimization
- React + Ethers.js / Viem integration
- Node.js backend services
- Subgraph indexing with The Graph
- SQL-backed data systems
- Cloud deployment (Vercel / Netlify)
Focused on secure transaction design and protocol-aware interaction flows.
Protocol-aware validation middleware for DeFi transactions.
- Simulates swaps, vault deposits, and liquidity flows
- Detects unsafe state transitions before execution
- NFT-based on-chain risk reporting
- Chainlink Functions integration
Project:
https://github.com/Sourav-IIITBPL/preflight
Swap infrastructure integrating 7 Uniswap V2 forks across 9 blockchain networks.
- Cross-DEX routing & liquidity management
- Reserve tracking & price impact logic
- Secure frontend–contract interaction
Project:
https://github.com/Sourav-IIITBPL/DexGateway
- 250+ algorithmic problems solved
- Strong foundation in graph theory, DP, and optimization
LeetCode: https://leetcode.com/u/SouravIIIT
TakeUforward: https://takeuforward.org/profile/Sourav_iiitbpl
This analytical foundation strengthens invariant reasoning and smart contract edge-case analysis.
- Smart India Hackathon 2024 — Participant (Leader)
- AlgoUniversity Tech Fellowship (ATF) 2024 & 2025 — Stage 1 Qualifier
- Cyfrin Updraft Certifications - https://profiles.cyfrin.io/u/sourav_dev
B.Tech — Electronics & Communication Engineering
Indian Institute of Information Technology (IIIT), Bhopal
Class of 2027
Pre College-Degree — Maharishi Vidya Mandir, Mandla (89.4%)
I specialize in building and auditing decentralized systems with an emphasis on invariant safety, adversarial resilience, and economic correctness.
I am currently open to smart contract security, DeFi protocol engineering, and Solidity-focused roles where rigorous systems thinking and production-grade reliability are essential.