Area in development

Smart contracts & exploit research

A smart contract’s behaviour depends on its code and surrounding relationships. Research explores vulnerabilities and exploits only in authorised environments and scopes.

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.

02 / Outputs

How to document the work

  • A scope tied to the agreed code and assumptions.
  • Findings with evidence, impact and confidence levels.
  • Remediation proposals and retest criteria.

In development

This area is in development and does not imply an operational audit is available. A technical analysis does not guarantee the economic safety of a protocol or investment.

← All areas

Start with the scope

Which part of your system do you want to understand better?

Start with the context, objectives and scope.

Prepare an enquiry