I specialize in manual, opcode-level analysis and deterministic exploit development. My focus is on breaking protocol invariants and identifying deep-seated architectural flaws where automated tooling fails.
|
|
|
- DeFi-Exploit-PoCs: Re-engineering high-severity exploits (Euler, Illuminate, etc.) with hard-assertion regression tests.
- applied-audit-findings: Technical post-mortems of complex logic errors and invariant failures from private/public audits.
Languages: Solidity, Yul, Rust (Anchor), Move, Python, Bash.
Frameworks: Foundry, Hardhat, Solana CLI, Sui CLI, Aptos CLI.
Security Tools: Echidna, Halmos (FV), Medusa, Slither, Trident.