Protocol Security Review
For smart contracts, protocol components, and proof-verifier integrations preparing for release or material change.
- Architecture and trust-boundary mapping
- Authorization, accounting, state-transition, callback, and upgrade analysis
- Invariant definition and adversarial testing
- Reproducible findings and remediation verification