Smart contract audit
Manual and automated review of EVM, Solana, Move and other contract platforms. Pre-launch hardening and ongoing review cycles.
- Manual code review
- Property-based fuzzing
- Formal verification
- Re-audit credit
Six engagements, scoped to fit. We work with DeFi protocols, crypto infrastructure, and the SaaS that supports them. Every engagement starts with a scoping call under NDA.
Manual and automated review of EVM, Solana, Move and other contract platforms. Pre-launch hardening and ongoing review cycles.
End-to-end review of protocol invariants, economic mechanism, and threat model. Catch design flaws before they become contract flaws.
Bridge, oracle and cross-domain attack-surface assessment. We look at the seams others miss.
Multi-sig and HSM configuration, deployment pipelines, treasury controls, incident runbooks. The off-chain you can't afford to get wrong.
Web2 security for the off-chain stack: APIs, frontend, cloud, vendor risk. SOC 2 readiness when investors ask for it.
When it has already happened: triage, containment, forensics, post-mortem and stakeholder communication support.
Manual and automated review of EVM, Solana, Move and other contract platforms. Pre-launch hardening and ongoing review cycles.
End-to-end review of protocol invariants, economic mechanism, and threat model. Catch design flaws before they become contract flaws.
Bridge, oracle and cross-domain attack-surface assessment. We look at the seams others miss.
Multi-sig and HSM configuration, deployment pipelines, treasury controls, incident runbooks. The off-chain you can't afford to get wrong.
Web2 security for the off-chain stack: APIs, frontend, cloud, vendor risk. SOC 2 readiness when investors ask for it.
When it has already happened: triage, containment, forensics, post-mortem and stakeholder communication support.