Smart Contract Testing & Security

- Unit tests with Foundry (Forge) or Hardhat + Chai: fuzz testing, invariant testing - Coverage: >95% line coverage on critical paths - Formal verification or symbolic execution (Halmos / Echidna / Scribble) for critical invariants - Static analysis: Slither, Mythril reports; triage all findings - Integration tests: fork mainnet and simulate real interactions - Third-party audit checklist before mainnet deployment