Hashlock is Australia's leading independent blockchain cybersecurity and smart contract auditing firm. They are a highly specialised Blockchain Cybersecurity firm coming from manual analysis, community auditing backgrounds and differentiate by the quantity of findings and being maintaining a high level of collaboration with clients, both in Australia and globally.

SolidProof is a blockchain security auditing company.

MetaTrust is an automatic security scanning solution for Web3 Applications. It combines multiple state-of-the-art security scanning engines into one single platform, providing unprecedented speed and accuracy. It secures every aspect of your application, beyond the smart contract layer.

CertiK, a blockchain security company founded in 2018, utilizes formal verification and AI technology in collaboration for its end-to-end blockchain security audit services. It mathematically validates the safety of smart contracts through a combination of formal and manual verification. Additionally, the company has developed "CertiK Chain", a security-focused blockchain designed to enhance the security of smart contracts.

Secure3 is a collaborative Web3 security auditing ecosystem providing trustworthy security auditing for projects, a competitive incentive model for auditors, and a verifiable auditing track record for the community.

Chain Fox aims to automate blockchain security auditing, which can scan contracts in Rust, Go, Solidity and C++ languages ​​and automatically detect errors – faster, more economical, and smarter. Chain-Fox bundles 14+ detection tools into one CI-ready platform, catching memory leaks, concurrency issues, and gas inefficiencies — bringing security audits to the speed of code.

BlockSec is a blockchain security company that provides code security audits, attack prevention, anti-money laundering services for digital assets, and a one-stop developer toolkit. They are dedicated to building blockchain security infrastructure, and their products—the developer toolkit Phalcon, the blockchain browser enhancement plugin MetaDock, and the capital flow visualisation tool MetaSleuth—are widely used in the community.

Halborn is a blockchain cybersecurity firm founded in 2019 by ethical hacker Steven Walbroehl and growth hacker Rob Behnke. They provide end-to-end cybersecurity services, ranging from advanced penetration testing to performing security audits of Layer 1 blockchain protocols, such as Solana, Cosmos, and Substrate.

Aegis AI is a platform using artificial intelligence to audit smart contracts. It provides real-time analysis to detect vulnerabilities and malicious code.

Sherlock is a smart contract auditing platform that provides up to $10M of coverage per audit.

MoveBit is a blockchain security company focused on securing the Move ecosystem, with the vision of making it the most secure Web3 destination.

SlowMist is a blockchain security firm specializing in providing protection for the blockchain ecosystem. Aside from offering security audits and other related services, SlowMist also provides a variety of other security-related products and services. These include MistTrack, Anti-Money Laundering (AML) software, Vulpush (Vulnerability monitoring), and SlowMist Hacked (Crypto hack archives).

Adevar Labs is a security auditing company that provides honest security assessments for Solana’s most ambitious projects.

Sec3 is a security research firm that prepares Web3 protocols for millions of users. We build technology-based solutions for Web3 projects to ensure that protocols remain secure as they scale.

SECBIT Labs is a first-class organization in China that provides security audit services, including Solidity smart contracts, formal verification, and inspection of codes related to Zero-Knowledge Proofs (ZKP) and other cryptographic algorithms.

Arbitrary Execution develops a security system to secure the crypto ecosystem. It meets the need for security of blockchain and decentralized technologies by creating smart contract codes to help the crypto community prevent these hacks from occurring.

Certora is a smart contract security firm designed to help developers detect and prevent security mistakes before code is deployed. They have a unique technology called Certora Prover, which is capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.

Audit Wizard is a smart contracts secure solution with scan for vulnerabilities with one click, harness AI insights, intuitively craft unit tests, and more.

TonBit is an early builder and security expert in TON, The platform offers smart contract audit service.

Statemind Statemind is a blockchain security audit firm that provides audit and consulting services to clients in the blockchain industry.

0x0 is an All-in-One Privacy Hub and AI Smart Contract Auditor with 100% of Utility Income distributed to coin holders in ETH, creating a Passive Income stream.The platform includes an AI-powered smart contract auditor and a privacy mixer. Additionally, 0x0 is working on a privacy DEX, an all-in-one hub for writing custom smart contracts and an AI bot that can detect and front-run suspicious transactions to prevent becoming the victim of a scam.

Zksecurity is a security audits soluton for zero-knowledge applications. Its goal is to ensure that the transition to a zero-knowledge world comes with minimal issues. Zksecurity produce tooling, best practices, and audit zero-knowledge systems and applications.

Cyfrin is a smart contract auditing firm that provides auditing services, code reviews, and Web3 education.Besides performing contract audits and code reviews, Cyfrin also focuses on Web3 education. The firm has created several videos and other educational material on detecting vulnerabilities, debugging, and more, which can be accessed from their Resources page.

Cyberscope is a Smart contract audit and KYC services firm, having audited more than 1200+ blockchain projects and NFTs and KYC’d more than 500 teams so far.

Zokyo is a venture studio that builds, secures, and funds legendary web3/crypto businesses. It provides offensive security services such as security auditing, penetration testing (network, mobile, app), data leak discovery, social engineering, and VAPT testing, to protect companies from hackers. Zokyo's DeFi studio acts as a full-stack partner to chosen companies, offering resources to build, secure, deploy, and grow long-term, sustainable projects, as well as connecting them to investors and traditional trading firms worldwide.

Dedaub is a smart contract security and auditing company that offers significant security expertise combined with cutting-edge program analysis technology to secure projects.

OKLink is a blockchain technology and data service provider that holds industry-leading visual blockchain data processing and analysis tools. It integrates big data, AI, and other advanced technologies to analyze and process complex and diverse blockchain data. The company provides six products and services, including a blockchain explorer, on-chain data analysis, the compliance stablecoin USDK, an on-chain wallet, digital asset custody, and a blockchain academy.

Beosin is a blockchain security services provider that provides services such as smart contract auditing, stolen crypto recovery, risk monitoring, and alerting.

Risk DAO is a service DAO spearheaded by B.Protocol and 1kx that focuses on providing a new, open source risk assessment framework and associated audits to DeFi lending and borrowing protocols, as well as Layer 1 networks.

Veridise is a blockchain security company that provides audits and software analysis tools for all layers of the blockchain ecosystem, including smart contracts, web3 applications, zero-knowledge circuits, and blockchain implementations. Co-founded by a team of formal verification and software security researchers, Veridise offers state-of-the-art tooling for hardening blockchain security. It also provides a comprehensive and user-friendly toolchain for automatically auditing smart contract security and correctness.