Smart Contract Audits
Manual, adversarial review of on-chain code. We read every function in scope, model how value moves through the system, and try to break the assumptions it depends on — then prove what we find with working tests.
What we review
- Access control, privileged roles, and upgrade paths
- Reentrancy, including cross-function and read-only variants
- Oracle usage, price manipulation, and flash-loan exposure
- Accounting invariants, rounding direction, and precision loss
- Signature handling, replay protection, and EIP-712 domains
- Token integration edge cases (fee-on-transfer, rebasing, non-standard returns)
How we work
- Architecture walkthrough with your engineers before review begins
- Manual line-by-line review — tooling supports, it does not replace
- Proof-of-concept exploits written as Foundry tests for every material finding
- Invariant and fuzz testing on core accounting where it adds signal
What you receive
- Written report with severity, impact, evidence, and remediation
- Reproducible PoC tests you can keep in your suite
- Follow-up validation of your remediation