Reports
More than a list of bugs
Every report includes 9 sections — from executive summary and risk rating to documentation evaluation and test suite analysis.
Booking audits for Q1 2027
Securing the foundations of Web3.
Research-grade security for Web3: smart contract audits, formal verification and zero-knowledge expertise from a team of researchers and engineers — for protocols where correctness is not optional.
- Audits delivered
- 250+
- TVL secured
- $12B+
- Findings reported
- 1,800+
- Post-audit critical exploits
- 0
What we do
Security for every layer of your stack
Security Assistance During Development
Our experts work hand in hand with your development team throughout the build process, embedding security best practices early and continuously.
Architecture Assessments
We evaluate your project's overall design and architecture, identifying potential systemic risks and scalability challenges.
Formal Verification
For projects demanding the highest assurance, we use mathematical techniques to prove the correctness of your smart contracts, eliminating entire classes of bugs and vulnerabilities that traditional audits may miss.
Off-Chain Component Audits
We audit your APIs, backend infrastructure, and other critical off-chain components.
Zero-Knowledge (ZK) Protocol Audits
Specialized audits for zero-knowledge protocols ensure that complex cryptographic constructions operate securely and efficiently.
Web2 System Security Audits
Many blockchain projects integrate with traditional web technologies.
AI-Powered Application Security Audits
Threat modeling for AI-specific risks such as data poisoning, model misuse, and prompt injection.
AuditAgent: AI-Driven Pre-Audit Tool
An AI-powered tool that automatically detects common vulnerabilities and logic flaws early in the development process, so your team identifies issues faster and focuses manual auditing where it matters most.
How it works
Five stages, full visibility
- 01
Before kick-off
Scope, services and repository access are agreed.
- 02
Kick-off
Code walk-through and a shared channel with your team.
- 03
Audit
Deep technical review with continuous communication.
- 04
Reaudit
You fix the findings, we verify every change.
- 05
Final
Final report delivered and validated together.
Before you start
Get audit-ready
A 11-step checklist — tests, documentation, invariants and AI-assisted pre-audits — for a faster, deeper audit.
Recent audits
Trusted by protocols across chains
A selection of recent engagements. Full reports are published with each client's permission.
| Protocol | Category | Chain | Findings |
|---|---|---|---|
| Lendora | Lending | Ethereum | C 2H 3M 7 |
| Wavebridge | Bridge | Arbitrum | C 1H 4M 5 |
| Perpex | Perpetuals | Starknet | C 0H 2M 9 |
| Stakehaus | Liquid staking | Ethereum | C 1H 1M 4 |
| Orbit DEX | AMM | Base | C 0H 3M 6 |
| Vaultline | Yield vaults | Optimism | C 1H 2M 3 |
Contact
Launching soon? Let's talk.
Tell us about your protocol and we'll get back with scope and a fixed quote within 48 hours. Or email us at audits@example.com.