01 / Scope
What we consider
- Solidity code and EVM contracts identified by version.
- Roles, permissions, upgrades and dependencies.
- Invariants and interactions between protocol components.
- Research into exploit conditions in isolated laboratory environments.