Smart contract audits
Guardian's core engagement, in three passes: the design is reviewed before implementation locks in the expensive risks, an invariant suite is built around the safety properties, and senior researchers attack what both leave standing.
Onchain · Smart Contract Audit
Deep review of the code that holds the money.
-
01 / Design review
Resolve architectural risk before code hardens.
Guardian reviews the protocol design, roles, upgrade paths, threat model, and economic assumptions before implementation details lock in the highest-cost risks.
- Architecture and trust boundaries
- Governance, roles, and upgrade paths
- Economic risk and failure modes
-
02 / Invariant suite
Reusable fuzzing around core safety properties.
Guardian builds invariant harnesses around solvency, accounting, rounding, edge states, and other core guarantees so fixes and future changes can be pressure-tested repeatedly.
- Accounting and solvency invariants
- Rounding and math edge cases
- Reusable regression harnesses
-
03 / Manual audit
Senior researchers battle-test the system.
Guardian researchers attack protocol logic, integrations, privileged flows, and economic assumptions with exploit-driven review and proof-of-concept depth.
- Protocol logic and integrations
- Privilege, oracle, and upgrade risk
- Exploit narratives and reproduction paths
Scoped from your repository and commit.
Audits & Pentests
Other engagements
Start now