Resource Notes
Use, understand, and apply the model
Key takeaway
Well-prepared audits take 20–30% less time than unprepared ones. At $300–$500/hour for senior auditors, a $100,000 audit can be reduced to $70,000–$80,000 through preparation. Key preparation items: Technical Specification Document, Test Suite Results (95%+ coverage), Automated Analysis Results (Slither, Aderyn), Deployment Configuration, and Known Issues List. A 45-minute kickoff call saves 5–10 hours of back-and-forth email during the audit.
Pre-Audit Preparation Package
1. Technical Specification Document
The most important document. Auditors check code against specification — without it, they cannot identify logic errors. Required sections: Protocol overview, Contract system map, For each function (purpose, who can call it, input validation, state changes, events emitted, edge cases), Invariants, Known issues, External dependencies.
2. Test Suite Results
# Generate and share these reports:
forge coverage --report lcov
forge test -vv > test_results.txt
forge snapshot3. Automated Analysis Results
# Run Slither
slither . --config-file slither.config.json > slither_results.txt4. Deployment Configuration
- Constructor arguments for each contract
- Deployment sequence
- Post-deployment configuration
- Mainnet contract dependencies
Kickoff Call Agenda
- Architecture walkthrough (15 min)
- Contract interactions (10 min)
- Most complex areas (10 min)
- Open questions (10 min)
- Availability commitment (5 min)