1
Trail of BitsTrail of Bits Trail of Bits is a leading cybersecurity firm specializing in blockchain and smart contract audits, known for their rigorous assessments and use of formal verification.
2
OpenZeppelinOpenZeppelinOpenZeppelin excels in secure smart contract libraries and trusted auditing services.
3
Quantstamp is a security-auditing protocol for smart contracts with a global reach.
4
CertiK offers blockchain security with automated tools and audits, enhancing smart contract protocols.
5
ConsenSys DiligenceConsenSys Diligence ConsenSys Diligence is the audit arm of ConsenSys, ensuring Ethereum protocol security through smart contract audits.
6
SlowMist enhances blockchain security through audits, threat intelligence, and red-teaming, known globally for work with major projects like EOS.
7
Halborn is a cybersecurity firm focused on blockchain and DeFi auditing.
8
Runtime VerificationRuntime Verification Runtime Verification excels in formal methods for blockchain security, auditing significant projects like Ethereum 2.0 and Cardano.
9
ChainSafe excels in blockchain R&D, offering tools like Web3.js, Filecoin solutions, and security audits.
10
Sigma Prime is a blockchain security company specializing in smart contract audits and the core team behind the Lighthouse Ethereum client.
11
MixBytes is a blockchain development and security auditing company.
12
Zellic, a Web3 security firm, excels in vulnerability research and audits, securing projects like LayerZero, Aptos, and Wormhole.
