Smart Contract & Web3 Security Researcher specializing in EVM, Solidity, DeFi mathematical invariants, and cross-chain bridges.