PROTOCOL & CONTRACT — 02

The bug that drains the vault.

Reentrancy, access control, invariant breaks — we hunt the business logic that static tools miss. Every critical gets a working exploit.

CHECKLIST
  • Reentrancy (tx.origin → msg.sender, CEI)
  • Access control / BOLA / IDOR across contracts
  • Invariant fuzzing (Foundry/Echidna) — balanceOf == sum(shares)
  • Formal checks + economic edge cases
guard bypass: tx.origin vs msg.sender → vault drain in lab
echidna: invariant broken • Foundry: 1.2M cases • PoC: exploit.t.sol
DELIVERABLES

Technical findings with severity, PoC exploit.t.sol + video, patch diff, invariant suite, re-test.

View 12-page sample PDF →
Book Protocol Audit — from $4,900 →