web3 Security Researchers Smart Contract Audit Solidity Focus: DeFi logic & Math vulnerabilities. GitHub: rdin777 Latest research: Starknet BTC Staking exploit