TonBit 是 TON 的早期构建者和安全专家，该平台提供智能合约审计服务。

Chain Fox 旨在实现区块链安全审计的自动化，它能够扫描 Rust、Go、Solidity 和 C++ 语言的合约，并自动检测错误——更快、更经济、更智能。Chain-Fox 将 14 种以上的检测工具捆绑到一个 CI 就绪平台中，可捕捉内存泄漏、并发问题和gas低效问题，从而将安全审计提升到代码速度。

MoveBit是一家专注于Move生态安全的区块链安全公司，其愿景是使 Move 生态系统成为最安全的 Web3 目的地。

Cyberscope 是一家智能合约审计和 KYC 服务公司。截止 2023 年 5 月，Cyberscope 已审核超过 1200 多个区块链项目和 NFT，为 500 多个团队提供 KYC 服务。

Secure3 是一个协作的 Web3 安全审计生态系统，为项目提供值得信赖的安全审计，为审计员提供竞争激励模型，为社区提供可验证的审计跟踪记录。Secure3 于 2022 年由 StartX 孵化。

CertiK是一家成立于2018年的区块链安全公司。该公司利用正式化验证和AI技术合作提供端到端区块链安全审计服务。此外，该公司还开发了“CertiK Chain”，这是一个专注于安全的区块链，旨在增强智能合约的安全性。

Hashlock是位于澳大利亚的独立区块链网络安全和智能合约审计公司。他们是一家高度专业化的区块链网络安全公司，来自手动分析、社区审计背景，根据调查结果的数量进行区分，并与澳大利亚和全球的客户保持高度合作。

SolidProof 是一家区块链安全审计公司，可以使用手动和自动测试发现区块链项目中的漏洞。

Beosin（原成都链安）是一家区块链安全服务提供商，涵盖智能合约审计、被盗加密货币找回、风险监控和警报。

Adevar Labs 是一家安全审计公司，为 Solana 最雄心勃勃的项目提供诚实的安全评估。

OtterSec 是一家区块链网络安全公司，专注于识别和修复关键漏洞。Cetus、Aftermath、LayerZero 等团队以及其他 100 多个团队都在信任 OtterSec，保护超过 50 亿美元的 TVL。

Zellic 是一家区块链安全审计和咨询公司。 Zellic 由一群拥有十多年行业经验的区块链专家团队于 2020 年创立。

Decurity 是一家专注于 web3 应用程序安全的公司：智能合约、第 1 层区块链、侧链、dApp 等。Decurity 进行安全审计、持续安全咨询和安全监控。

ScaleBit是一个安全审计团队，专门从事ZKP、Layer 2和跨链应用程序的审计。

Zksecurity 是一款针对零知识应用程序的安全审计解决方案，其目标是确保应用程序向零知识世界的过渡时出现的问题最少。 Zksecurity 生产工具、最佳实践并审核零知识系统和应用程序。

CredShields 是一家专门从事 Web3 安全的网络安全公司，正在构建 SolidityScan.com，这是一个基于云的智能合约安全扫描器，只需单击按钮即可提供审计报告。

Sooho.io 是一个智能合约审计平台，通过其专有软件 Odin为一些韩国顶级技术公司的 IT 部门提供审计。Sooho.io 还建立了一个聚合杠杆农业产品的协议，旨在集中DeFi 协议的“碎片化格局”。

Arbitrary Execution 是一家区块链安全公司，利用其安全专业知识、策略、技术和黑客思维来帮助保护加密生态系统。它通过创建智能合约代码来帮助加密社区阻止这些黑客攻击的发生，从而满足区块链和去中心化技术的安全需求。

Macro 保护和教育 web3 最重要的项目，提供安全审计、工程师培训等服务。

BlockSec是一家区块链安全公司，提供数字资产代码安全审计、攻击防范、反洗钱服务，以及一站式开发者工具包，致力于构建区块链安全基础设施。BlockSec的产品包括开发者工具包Phalcon、区块链浏览器增强插件MetaDock、资金流向可视化工具MetaSleuth。

Sherlock 通过内部安全分析和平台级覆盖保护 DeFi 用户免受协议黑客攻击，是第一个为审计客户提供高达 1000 万美元保障的智能合约审计保险服务商。

Risk DAO 是由 B.Protocol 和 1kx 牵头的服务 DAO，将专注于为 DeFi 借贷协议以及 L1 网络提供新的开源风险评估框架和相关审计。

Oak Security 是一家 Web3 网络安全咨询公司，为多个区块链提供安全审计服务，特别关注第三代区块链和协议，例如 Cosmos、Terra、Polkadot 和 Flow 生态系统。

FYEO 是一家网络安全公司，专注于通过区块链安全审计、数字威胁监控和情报以及去中心化身份管理来保护和授权企业和个人在 Web 3.0 之旅中的安全.

Omniscia 是一家 Web3 安全公司，在保护和优化复杂的智能合约和区块链网络方面拥有丰富的经验。

OXORIO是一家区块链安全公司，专门从事智能合约、zk-SNARK解决方案和安全咨询。自2021年以来，该公司对Lido、1In、Rarible和deBridge等著名DeFi项目进行了关键的安全审计，优先考虑卓越和长期的客户关系。

Dedaub 是一家智能合约安全和审计公司，提供重要的安全专业知识和尖端的程序分析技术来保护项目。

QuillAudits 是一家的智能合约安全公司，已对 20 多个区块链进行了 1,000 多次审计，包括以太坊、BSC 和 Solana 等 L1/L2，可提供严格的定制安全评估，旨在确保 Web3 项目保持安全可靠。

CodeHawks 是一个由 Cyfrin 提供支持的智能合约审计市场。 CodeHawks 致力于通过由世界顶级审计师和社区进行安全审查，保护 DeFi、协议、其用户和资金免受智能合约攻击。

Inspex 是一家网络安全专业服务公司，成立于2021年，由在网络安全各个领域经验丰富的网络安全专家团队组成。Inspex 提供最高质量的区块链和智能合约专业服务和解决方案，以增强广泛的区块链生态系统的安全性。