Security audits for high‑stakes Web3 protocols

Deep security reviews for protocol logic, smart contracts, and system-level assumptions across execution, consensus, cross-chain, and off-chain flows. The focus is on practical exploit paths, failure-prone edge cases, and issues that matter before launch, upgrade, or critical integration.

Scope an audit
Scope an audit

Experience across EVM and non-EVM ecosystems, UTXO-based systems, and custom L1 architectures.

Ethereum
Solana
Rust
Polkadot
CosmWasm
Stellar
Cosmos
Cardano

Process

Pre-Audit
(free of charge)
Quote
Your journey begins when you contact us through the contact form on our website, via messenger, or by email. When you do, please briefly describe your project and outline your goals with our services.
arrow
Preliminary
assessment
We will promptly review your project online, evaluating the quality of the documentation and codebase. Our team will then provide a rough estimate of the workload required to uncover as many vulnerabilities as possible.
arrow
post-Audit
Client resolves
the issues
Feel free to take the necessary time to address all identified issues. However, be aware that our post-audit support and review of the fixes will be available only for one month following the wrap-up call. This timeframe is in place because the mental model of any project requires refreshing after a period of inactivity.
arrow
Fixes
review
We will promptly review your fixes and make corresponding updates to the draft report. In the event that a fix is found to be incorrect or incomplete, we will provide you with detailed guidance on the additional development required.
arrow
Public
report
When all issues identified during the audit are resolved, or once the one-month post-audit timeframe has elapsed, we will finalize the report and proceed to publish it.
arrow
Audit
Architecture
review
The initial phase of our engagement will involve a comprehensive review of the existing documentation. This will be followed by a detailed outline of the key components and modules. Most importantly, we will benchmark the architectural patterns implemented in your project, ensuring they meet the highest standards
arrow
Technical
interview
Once we grasp the high-level concepts of your project, we will conduct a technical interview with your team. We kindly request that you share as much technical information as possible. Please elaborate on the nuances of your build and deployment procedures and highlight any areas in the codebase that you feel uncertain about. If a code walkthrough is possible, it would be greatly beneficial. The more information you provide, the more time we can dedicate to addressing sophisticated issues and exploring corner cases in your algorithms.
arrow
Manual
code review
Included in any audit.
AI-enhanced
analysis
Included in any audit.
Threat
modelling
Optional
Cryptography
review
Optional
Economics
review
Optional
arrow
Private report
Included in any audit.
arrow
Q&A with
the client
After dispatching the report to you, we'll schedule a comprehensive wrap-up call. In this call, we will address all your questions, offer clarity on each issue and its impact, and outline the specific mitigation strategy for every concern. By the end of the call, you will have a clear picture of your project's security landscape and a robust action plan to reinforce its defenses.
Pre-Audit
(free of charge)
Quote
Your journey begins when you contact us through the contact form on our website, via messenger, or by email. When you do, please briefly describe your project and outline your goals with our services.
arrow
Preliminary
assessment
We will promptly review your project online, evaluating the quality of the documentation and codebase. Our team will then provide a rough estimate of the workload required to uncover as many vulnerabilities as possible.
arrow
Audit
Architecture
review
The initial phase of our engagement will involve a comprehensive review of the existing documentation. This will be followed by a detailed outline of the key components and modules. Most importantly, we will benchmark the architectural patterns implemented in your project, ensuring they meet the highest standards
arrow
Technical
interview
Once we grasp the high-level concepts of your project, we will conduct a technical interview with your team. We kindly request that you share as much technical information as possible. Please elaborate on the nuances of your build and deployment procedures and highlight any areas in the codebase that you feel uncertain about. If a code walkthrough is possible, it would be greatly beneficial. The more information you provide, the more time we can dedicate to addressing sophisticated issues and exploring corner cases in your algorithms.
arrow
Manual
code review
Included in any audit.
Static & dynamic
analysis
Included in any audit.
Threat
modelling
Optional
Cryptography
review
Optional
Economics
review
Optional
arrow
Private report
Included in any audit.
arrow
Q&A with
a client
After dispatching the report to you, we'll schedule a comprehensive wrap-up call. In this call, we will address all your questions, offer clarity on each issue and its impact, and outline the specific mitigation strategy for every concern. By the end of the call, you will have a clear picture of your project's security landscape and a robust action plan to reinforce its defenses.
arrow
post-Audit
Client resolves
the issues
Feel free to take the necessary time to address all identified issues. However, be aware that our post-audit support and review of the fixes will be available only for one month following the wrap-up call. This timeframe is in place because the mental model of any project requires refreshing after a period of inactivity.
arrow
Fixes
review
We will promptly review your fixes and make corresponding updates to the draft report. In the event that a fix is found to be incorrect or incomplete, we will provide you with detailed guidance on the additional development required.
arrow
Public
report
When all issues identified during the audit are resolved, or once the one-month post-audit timeframe has elapsed, we will finalize the report and proceed to publish it.
April, June-August, October 2025
Security Audit

ZKsync OS is a new RISC-based execution system for the next generation of ZKsync. Taran Space reviewed core components across multiple engagements, including the bootloader, transaction processing, EVM implementation, cache logic, and L2 interoperability paths at the center of the rollup architecture. The work also included a dedicated cryptography review focused on elliptic-curve components and proof-adjacent logic.

Powers an ecosystem securing over $320 million in value.

Cryptography
L2
EVM
Rust
Cryptography
Virtual Machines
L2
EVM
Solidity
Rust
Execution Layer
Cryptography
July-August 2025
Security Audit
In partnership with Oak

Stellar is a major blockchain infrastructure network for payments, tokenized assets, and financial applications. The work was delivered through public Oak Security engagements and covered Stellar Core protocol updates, with focus on correctness and consensus-sensitive changes that affect secure network operation.

Stellar has over $180M in DeFi TVL.

L1
Rust
C++
Rust
L1
C++
Virtual Machines
Stellar
All Reports
In partnership with Oak
2023-2025
Security Audit
In partnership with Oak

Snowbridge is a trustless bridge between Polkadot and Ethereum, using light-client verification instead of a trusted multisig or external validator set. Working as part of Oak Security’s team, we reviewed multiple releases, focusing on the boundaries between consensus assumptions, bridge logic, and Solidity/EVM execution.

Secures over $30M in assets bridged between Ethereum and Polkadot.

Cross-Chain
Polkadot
EVM
Cryptography
Cross-Chain
Polkadot
EVM
Solidity
Rust
Cryptography
All reports
In partnership with Oak
May 2026
Security Audit
In partnership with Hashlock

STBL is a stablecoin infrastructure protocol for token issuance, asset management, yield distribution, and operational control. We carried out the review for Hashlock, covering STBL’s Stellar/Rust smart-contract system, including asset issuer, airdrop issuer, USST/STBL token, oracle, registry, access-control, upgrade, and yield-distribution components.

Stablecoin infrastructure for asset issuance and yield distribution

February 2026
Security Audit
In partnership with Cyberscope

Empowa / NSE Housing connects Cardano smart contracts with a real-world housing-finance application linked to the Nairobi Securities Exchange. Scope included eUTXO transaction design, order-book behavior, and business-critical contract logic used to coordinate financial activity before release.

RWA finance linked to a national securities exchange

Cardano
DEX
Cardano
DeFi
DEX
UTXO
View Report
In partnership with Cyberscope
April-May 2026
Security Audit
In partnership with Hashlock

VIA Labs builds cross-chain messaging infrastructure for moving data and value between blockchain networks. In a Hashlock-branded engagement, we reviewed VIA Labs’ Stellar/Soroban Rust messaging stack, covering client, fee-handler, gas-handler, message-client, and message-gateway components.

Cross-chain messaging for value-bearing blockchain flows

Stellar
Cross-Chain
Rust
Stellar
Rust
Cross-Chain
Private engagement
In partnership with Hashlock

FAQ

Why are security audits necessary?
minus
plus

A security audit helps identify vulnerabilities, broken assumptions, and edge-case failures before they can affect users or locked value. For high-stakes Web3 systems, the risk is rarely limited to simple code bugs: issues can appear in protocol logic, access control, integrations, upgrade paths, economic assumptions, cross-chain flows, or off-chain components. A good audit gives the team an independent review, practical remediation guidance, and a clearer security baseline before launch, upgrade, or major integration.

Can you help define the audit scope?
minus
plus

Yes. We usually start with a short scoping review to understand the codebase, protocol architecture, documentation, integrations, and main risk areas. This helps define what should be included in the audit, what can be excluded, and whether the review needs additional focus on threat modeling, economic assumptions, cross-chain flows, ZK components, or off-chain logic. For large repositories, we can also propose several audit scope options with different budgets, so the team can choose the most practical balance between coverage, timeline, and cost.

Do you use automated tools or AI during audits?
minus
plus

Yes, but only as supporting tools. Automated scanners, static analysis, fuzzing, and AI-assisted review can help improve coverage and surface issue drafts faster, but they do not replace manual security work. In practice, AI shifts part of the effort from finding suspicious patterns to validating them, understanding the project’s security model, classifying severity, and producing a report that is accurate and useful for humans. The core of the audit remains senior-led threat modeling, code review, issue validation, remediation guidance, and final human judgement.

Do you audit only smart contracts?
minus
plus

No. We can review the full security-critical surface of a Web3 system, not just isolated contracts. Examples include bridge message verification, oracle integrations, relayer logic, multisig and governance permissions, upgrade paths, deployment scripts, custom blockchain nodes and execution environments, indexers, off-chain transaction builders, sequencer assumptions, and interactions between contracts and external systems. For complex protocols, important risks often appear at these boundaries rather than inside a single contract.

How long does a security audit take?
minus
plus

Question: How long does a security audit take? Answer: Most security audits take 1 to 3 weeks, depending on codebase size, protocol complexity, documentation quality, and review scope. Focused private reviews can sometimes be completed in less than a week, but public audits usually require at least one week because findings need careful validation, remediation tracking, and precise report wording. Complex systems involving ZK, custom execution environments, virtual machines, cross-chain infrastructure, or novel protocol logic can take significantly longer, sometimes across multiple months. If timelines are tight, we can sometimes accelerate the review by assigning multiple auditors in parallel, but we still scope the audit first so the timeline reflects the actual risk surface.

How much does a security audit cost?
minus
plus

The cost depends on the codebase size, protocol complexity, review scope, timeline, and whether the audit is private or public. We usually start with a short scoping review, then provide a fixed quote based on the actual risk surface rather than a generic package. Public audits typically cost more than private reviews because findings require additional validation, remediation tracking, and careful report preparation. The cost can also increase for complex DeFi logic, cross-chain systems, ZK components, custom execution environments, threat modeling, or economic security analysis.

Can an audit discover zero vulnerabilities?
minus
plus

While it is theoretically possible for an audit to find zero vulnerabilities, it is uncommon in practice. Across 50+ security reviews, we have only had one audit where no serious issues were found, and even that review produced informational findings and hardening recommendations. A good audit result does not necessarily mean “zero findings”; it means the system was independently reviewed within the agreed scope, material risks were not identified, and any smaller issues or improvement opportunities were clearly documented.

What is included in the audit scope?
minus
plus

The audit scope is defined before the review starts and usually includes a specific repository, commit hash, contracts or modules, documentation, deployment assumptions, and any integrations that should be reviewed. Depending on the system, the scope may also include protocol logic, upgrade paths, privileged roles, cross-chain components, ZK circuits, custom blockchain nodes and execution environments, off-chain services, or economic assumptions. Anything outside the agreed scope is not treated as reviewed unless we explicitly include it.

Do you provide a public audit report?
minus
plus

Yes, if the audit is scoped as a public engagement. In that case, we prepare a report that can be shared with users, partners, investors, and ecosystem stakeholders. Public reports include validated findings, severity levels, remediation status, and enough technical context for external readers to understand the reviewed scope. Before publication, we coordinate with the client to verify fixes, avoid unnecessary disclosure risk, and make sure the report accurately reflects the final state of the review.

How should we prepare for an audit?
minus
plus

Before the audit starts, finalize the scope, clean up obvious to-dos, remove dead code, and make sure the documentation explains the protocol architecture, intended behavior, trust assumptions, deployment setup, and known limitations. The codebase should be frozen for the audit, with a specific commit hash shared with us. Changes during the review may require re-checking affected parts of the scope, which can add extra work and may affect the timeline or cost, so it is better to complete major refactoring before the audit begins.

How do you conduct a security audit?
minus
plus

We start by understanding the protocol architecture, documentation, threat model, and intended behavior. Then we review the code manually, supported by automated tooling where useful. The audit focuses on vulnerabilities, broken assumptions, access control, upgrade paths, economic edge cases, integration risks, and protocol-specific failure modes. Findings are validated and documented with practical remediation guidance. After the client applies fixes, we review the changes and verify remediation, often through several iterations before the final report.

What happens after the audit?
minus
plus

After the audit, the team reviews the report, prioritizes findings by severity, and applies fixes. We provide remediation guidance and then review the updated codebase to verify whether the issues were properly addressed. This often happens over several iterations, especially for complex findings. For public audits, we update issue statuses after remediation review and prepare the final report for publication.

How should we submit fixes for review?
minus
plus

For remediation review, provide the updated codebase, commit hash, and a short explanation of how each finding was addressed. Ideally, fixes should be submitted as separate pull requests for each issue or group of related issues. This makes review easier, keeps discussion attached to the relevant change, and allows follow-up fixes to be added to the same PR if needed. For public audits, this also reduces ambiguity when updating issue statuses in the final report.

Can you audit an already deployed protocol?
minus
plus

Yes. We can review deployed protocols before an upgrade, integration, migration, governance change, or major liquidity event. In this case, the audit usually focuses on the current deployed state, planned changes, privileged roles, upgrade paths, configuration risks, and interactions with existing users, assets, and external systems. For live protocols, our recommendations take upgrade requirements and operational constraints into account, so remediation can be planned safely without introducing unnecessary disruption.

What is the difference between a private and a public audit?
minus
plus

A private audit is performed for the client’s internal use. The findings, remediation guidance, and final report are shared with the team but are not published unless the client decides otherwise. A public audit follows a similar technical review process, but the final report is prepared for external readers and published after remediation review. Public reports usually require more validation, clearer wording, issue status tracking, and careful coordination with the client, because they become part of the project’s public security record.

Contact

Tell us what you’re building and what kind of security support you need. Telegram is usually the fastest way to reach us. For formal inquiries, you can also use email.

Thank you for your inquiry! We've received your message and will respond soon.
Oops! Something went wrong while submitting the form.