Cryptocurrency audit providers

Status: in progress.

This post is about 39 cryptocurrency security audit providers.

Updated: Jul 28, 2025

Security audits

1- ABDK Consulting – blockchain security

ABDK is a web3 security service providing :

• smart contract audits,
• ZK circuit development and audits,
• cryptography audits and consulting.

2- ackee – blockchain security

ackee is a trusted by top-tier organizations in web3. Their mission is to contribute to a stronger blockchain ecosystem by providing security services, tooling and education.

Their in-house team of security researchers performs comprehensive smart contract auditing, focusing on manual code reviews and extensive fuzz testing. Leveraging their battle-tested tooling, they ensure top-tier security. They offer both one-time audits and continuous auditing services to maintain robust security.

3- Blaize security – Blockchain Security

Blaize specializes in cutting-edge blockchain security. Services provided by Blaize include :

• smart contract audit,
• dapp security audit,
• blockchain audit,
• wallet security audit.

4- Cantina – Security services

Cantina and spearbit work financial services and blockchain organizations, they combine a world-class security researcher network with purpose-built tools – delivering scalable and effective solutions pre-deployment through runtime all in one platform.

Cantina provide security services such as:

• smart contract reviews,
• web3 soc,…

5- Certik -

Certik is the largest web security provider. With a highly skilled technical team, certik stands out for its exceptional expertise in formal verification technology and AI applications, offering a wide range of products and services that span the entire life cycle of development to support the industry, project teams, and web3 users.

Web3 security audits provided by Certik include :

• smart contact audit,
• L1 chain audit,
• Proof of reserves audit.

6- Certora - Audits

Certora is a web3 security company providing audit an verification service reports, the audit services include the following:

• manual audit,
• code review,
• vulnerabilities an specifications reports.

Certora is also providing Gambit, an open source solidity mutation testing tool to evaluate and strengthen smart contracts testing suite.

Gambit can be integrated with CERTORA PROVER to evaluate both tests as well as formal specifications.

Certora is providing a formal verification solution called Prover. Prover is a formal verification software for smart contract integrated into the developement cycle to do the following :

• tests code properties mathematically,
• run analysis post code changes,
• generate bug reports,

7- Chainsecurity – Smart contract audits

specializing in auditing complex code, Chainsecurity works with top-tier DeFi protocols, research institutions, central banks, and large organizations.

8- CommonPrefix – Auditing

CommonPefix works using rigorous cryptographic techniques to design and implement simple, provably secure protocols from first principles and guide their implementation. Their consulting and auditing pertain to theoretical cryptograhic protocol analyses as well as the pragmatic auditing of implementations in both core consensus technologies and application layer smart contracts.

9- Composable security – Smart contract security audits

Composable security elevate project security by partnering with world-class composable security experts. They provide :

• smart contract audits,
• threat modeling,
• security consultations.

10- Consensys diligence – blockchain security and smart contract audits

Diligence comprehensive smart contract audit service helps everyone from startups to enterprises launch and maintain their blockchain applications.

Smart contract audit services are deployed in 3 steps:

• assessment,
• review,
• delivery.

11- Critical section – code review

CRITCAL SECTION is a boutique source code review providing :

• code review,
• systems redesign,
• post audit action plan,
• consulting,
• training.

12- Cyfrin – Smart contract security audits

Cyfrin deliver world-class smart contract audits, developer tools, and blockchain developer courses to hundreds of thousands of users, partners, and protocols.

Cyfrin delivers industry-leading blockchain security and smart contract security audits to the world’s biggest decentralized protocols and infrastructure providers.

13- Enigma dark – Smart contract security audits

enigma dark is at forefront of ecosystem techniques, trends, and new technologies. They offer comprehensive blockchain security services, including :

• audits,
• fuzzing,
• invariant testing,
• 360 security advisory.

14- FP Complete – blockchain and smart contract services

FP Complete perform a standardized, rigorous blockchain code audit and system review to help their distributed ledger clients better assess the health of their tech stack.

15- FYEO – blockchain security audit

FYEO is a cybersecurity company that specializes in ensuring the secure development and deployment of decentralized & agentic AI technologies.

Blockchain security audits services provided by FYEO include :

• code review,
• advisory,
• research and innovation,
• architecture and development.

16- Halborn – Smart contract Audit

Halborn is the industry-leading blockchain solutions firm for enterprise-grade digitl assets, trust by the top financial institutions and web3 ecosystem leaders.

Halborn provide smart contract audit through rigorous code validation that allow startups and large enterprise to maintain the highest levels of security and operational readiness.

17- Hexen – blockchain security

hexen is a premier cybersecurity solution provider, specializing en emerging technologies.

hexen blockchain security services include:

• smart contract audit,
• novel cryptography audit,
• digital asset exchange security,
• hardware/software wallets audit,
• blockchain audit.

18- iosiro -smart contracts auditing

iosiro is a team of security professionals with experience securing high-risk ecosystems they focus on smart contract auditing and penetration testing.

Smart contract auditing service provided by iosiro focus on :

• finding bugs,
• finding security vulnerabilities,
• finding functional improvements.

19- Least Authority -smart contracts audit services

Least Authority offer security consulting services to support web3, blockchain, and fintech teams from the design phase, through production production, launch, and beyond.

Audit services provided by Least Authority allow identification and mitigation of potential vulnerabilities, bugs, or security risks within a smart contract’s code.

20- MixBytes – Smart contract auditing & blockchain security solutions

MixBytes serve as a security safeguard for their partners in the web3 ecosystem. By providing tailored security consulting and support throughout the development process.

MixBytes smart contract auditing & blockchain security solutions through the following workflow :

• interim audit,
• re-audit,
• final audit,
• continuous support.

21- Nomoi – Smart contract audits

Nomoi is a collective of seasoned developers, united by their passion for innovation and security. Their comprehensive audits delve deep, ensuring that smart contracts stand robust against threats.

22- Nethermind – smart contract audits

Nethermind is a blockchain research and software engineering company empowering enterprises and developers worldwide to build on decentralized systems.

Services provided by Nethermind include :

• smart contract audits,
• formal verification,

23- OpenZeppelin – Security audits

OpenZeppelin provide security audits for:

• DEX,
• L1-Les,
• Lending,
• Oracle,
• Account abstraction,
• stablecoins,
• financial institutions,
• NFTs/Gaming,
• Governance,

OpenZeppelin client centered approach deploy the following process:

• re-audit,
• security audit,
• fix review,
• multi-year collaboration.

OpenZeppelin alsp provide blockchain code infrastructure security audits through 2 steps:

• security assessment: identification,
• security audit: code review, recommendations.

24- OtterSec – Security audits

OtterSec work with leading teams across multiple blockchains to provide a holistic and collaborative approach to security. Services provide by OtterSec include :

• pentesting,
• - formal verification,
• fuzzing,

25- Oxorio – Smart contract security audits

oxorio smart contract security audits adhere to a stringent process, with the objective of detecting event the most inventive and elusive vulnerabilities, exploits, and loopholes within the protocol logic.

Oxorio is expert in 4 languages : solidity, cairo, rust and vyper. And 3 technologies : layer2 solutions, ZK solutions, EVM based solutions.

Oxorio Services portfolio include :

• code review,
• pre-audit,
• smart contract audit,
• subscription smart contract audit.

26- Pashov audit group – Smart contract security

Pashov is a smart contract security company with 150+ audits, uncovering 1000+ critical, high & medium severity vulnerabilities.

27- PeckShield – Security audits

with dozens of years experience and noted achievements in the area of vulnerability analysis, operating systems, and malware defense, PeckShield offers independent service brands such as DappTotal and CoinHolme, and provides security total solutions to all blockchain users.

PeckShield provide security audit for :

• blockchain,
• smart contract,
• defi,
• exchange,
• digital wallet.

28- Pessimistic – security services

Pessimistic services portfolio include :

• blockchain protocol audit,
• smart contract audit,
• dapp audit,
• ethereum smart contract audit.

29- Quantstamp – smart contract security

Quantstamp is a global leader in blockchain security. Since 2017, we’ve secured billions in digital assets and worked with some of the most recognized names in web3.

Services provided by quantstamp include :

• smart contract audits,
• web3 infrastructure audits,
• economic exploit analysis.

30- Runtime verification – security audits

Runtime verification perform security audits on virtual machines and smart contracts on public blockchains. Services provided by Runtime Verification include:

• formal verification,
• smart contract auditing,
• ecosystem security,
• security consulting.

31- Sigma prime – web3 security

Sigma prime is a leading blockchain security and research firm with an extensive history in decentralized technology. Blockchain information security services include :

• smart contracts,
• zero knowledge systems,
• blockchain primitives & infrastructure,
• layer 2 protocols.

32- Statemind – Smart contract audit and blockchain security

Statemind deploy five steps to a stronger security :

• project review,
• checking the code,
• consolidation reports,
• bug fixing,
• final verification.

33- Trails of Bits – Security audits

Trails of Bits has helped secure some of the world’s most targeted organizations and devices. They combine high-end security research with a real-world attacker mentality to reduce risk and fortify code. Trails of Bits provide comprehensive audits across all critical areas of blockchain platforms :

• smart contracts,
• nodes,
• bridges,
• DeFi,
• Gaming applications,
• Offchain components,

software assurance blockchain services include :

• design assessment,
• early stage assessment,
• invariant testing & development,
• comprehensive code assessment.

34- Umbrella forensics – web3 security and compliance

Umbrella forensics is a subsidiary of umbrella group. Umbrella forensics provide :

• smart contract audit,
• investigations,
• crypto recovery and tracing.

Smart contract audit provided by UMBRELLA focus on discovering vulnerabilities in smart contracts and chain platforms to improve security.

35- Verilog solutions – full stack security services for web3 projects

services provided by VERILOG SOLUTIONS include :

• smart contract audit,
• blockchain protocol audit,
• formal verification,
• fuzzy testing,
• on-chain monitoring,
• tokenomics design.

36- Zellic

with a background in real-world offensive security research, zellic specializes in securing emerging technologies. Services provided by zellic include :

• EVM security review,
• L1/L2 code review,
• DeFi security review,…

37- Zenith

Zenith assembles auditors with proven track records to secure your projects. They work with projects at the cutting edge of their industry. Their roaster’s expertise cuts across EVM, solana, move, cairo, cosmos, zero-knowledge,…

38- zkSecurity

ZkSecurity specializes in advanced cryptographic solutions, including:

• ZKP / zero-knowledge proofs,
• MPC / multi-party computation,
• FHE / fully homomorphic encryption,
• post-quantum cryptography.

They are commited to making systems secure and future-proof.

39- Zokyo

Zokyo deliver dynamic web3 cyber defense and economic solutions by combining services and products powered by industry-leading expertise, intelligence and innovative technology. Web3 security services provided by zokyo include :

• smart contract audit,
• blockchain protocol audit,
• cryptography audit,
• digital assets exchange audit,
• wallet audit,...

ADS