Smart contract auditor and fuzzer. Found 250+ bugs across 50+ protocols. Don’t trust a protocol until its invariants do. 😎