6+ years building production-grade security tooling, protocol infrastructure, and developer tools for decentralized systems. Focused on protocol engineering, smart contract security, exploit detection, blockchain threat monitoring, and AI-driven security across EVM, Starknet, and Solana ecosystems.
- Built production-grade real-time threat detection systems protecting live EVM networks.
- Designed static and dynamic security detectors for production blockchain monitoring.
- Detected OpenZeppelin library tampering involved in a $1M+ scam on the Base network.
- Winner, Certora's Capture the Spec • DSS 2024, Bangkok
- Ranked 65th Worldwide in Paradigm CTF 2023.
- Multiple-time ETHGlobal bounty winner across ETHParis, ETHTokyo, ETHIndia, and ETHBangkok.
- Creator of SolderX, solidity-mutate, and cairo-mutate.
- Open-source Contributor to Slither, Halmos, Cairo Book, and Compose.
- Smart Contract Security & Protocol Engineering
- Real-World Assets (RWA) & Tokenization Infrastructure
- Stablecoins, CBDCs & Digital Asset Platforms
- DeFi Protocol Design (AMMs, Lending, Vaults & Hooks)
- Cairo & Starknet Security
- Solana Security (Rust / Anchor)
- Formal Verification, Symbolic Execution & Fuzzing
- AI Security & Autonomous Agent Infrastructure
Active contribution to open-source security tooling and blockchain infrastructure, with merged contributions to Slither, Halmos, Cairo Book, and Compose.
→ View Contributions: https://github.com/sidarth16/Open-Source-Contributions
Technical writing on smart contract security, protocol architecture, ERC standards, tokenization, and decentralized systems.
→ Read on Medium: https://medium.com/@sidarths