Adversarial analysis · DeFi · Cross-chain systems
Protocol Security Research
Security research focused on state-machine failures and adversarial edge cases in smart-contract and cross-chain protocols.
ROLEProtocol Security ResearcherSTACKSolidity · Rust · Foundry · Merkle proofs · Threat modeling
MY CONTRIBUTION
Scope and ownership
I review protocol state transitions, trust boundaries, and failure paths, looking for conditions where valid-looking operations violate settlement, accounting, ordering, or custody invariants.
TECHNICAL EVIDENCE
What the work includes
- Merkle proof validation and incomplete-consumption checks
- Nonce ordering, replay protection, and state-machine lockups
- Escrow cancellation, custody safety, and settlement invariants
- Unchecked token calls, slippage failures, deadlines, and numeric edge cases
PROJECT LINK