TestMachine 是一个人工智能驱动的区块链安全平台，分析合约并查明潜在的安全漏洞。通过识别和分析重复出现的代码结构和模式，TestMachine 确保合约对于已知的漏洞和威胁具有鲁棒性。

LISA是一个基于LLM的智能安全分析平台，专注于Solidity智能合约，运用区块链技术提供合约漏洞检测与安全审计，属于Web3安全领域项目。

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

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

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

ZippelLabs 是一支专注于密码学的安全研发团队。其为现代密码学挑战提供安全的解决方案、为零知识协议、密码算法、智能合约等进行安全审计， 帮助项目在部署前发现漏洞并强化其代码。

0x0 是一款一体化隐私中心和 AI 智能合约审计平台，100% 的实用收入分配给 ETH 的代币持有者，创建被动收入流。该平台包括人工智能驱动的智能合约审计器和隐私混币器。此外，0x0 正在开发隐私 DEX，这是一个用于编写自定义智能合约的一体化中心，以及一个可以检测和预先运行可疑交易以防止成为骗局受害者的 AI 机器人。

Zokyo 是一家风险投资工作室，致力于建立、保护和资助传奇的 web3/加密业务。Zokyo 通过提供攻击性安全服务来保护公司免受黑客攻击，例如安全审计、渗透测试（网络、移动、应用程序）、数据泄漏发现、社会工程、Zokyo 的 DeFi 工作室充当全栈合作伙伴，为选定的公司提供资源以构建、保护、部署和发展长期、可持续的项目，并与全球投资者和传统贸易公司建立联系。

OKLink是一家区块链技术与数据服务商，拥有行业领先的可视化区块链数据处理分析工具，融合大数据、人工智能等先进技术，对复杂多样的区块链数据进行分析处理。公司提供六大产品和服务，包括区块链浏览器、链上数据分析、合规稳定币USDK、链上钱包、数字资产托管、区块链学院。

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

Hacken 是一家 Web3 网络安全审计公司，其愿景是将 Web3 转变为一个更符合道德规范的地方。该公司通过网络安全服务套件保护 Web3 项目及其社区，例如智能合约审计、L1 区块链协议审计、dApp 审计、错误赏金计划。

Quantstamp是区块链领域的智能合约审计公司，旨在通过安全和风险评估服务促进区块链技术的主流采用。Quantstamp 服务包括保护Layer1区块链（如 Ethereum 2.0 和 Solana）、保护智能合约驱动的 NFT 和 DeFi 应用程序（如 Maker 和 OpenSea）以及为Layer1区块链生态系统开发金融原语。

安比实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。

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

SharkTeam 是一家 Web3 安全服务商，提供威胁建模、智能合约等综合服务审计、应急响应等服务。

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

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

ChainLight 是一家加密安全审计公司，使用先进的技术和工具来发现智能合约中最复杂的安全漏洞。

MetaTrust 是面向 Web3 应用程序的自动化安全扫描解决方案，它将多个最先进的安全扫描引擎以前所未有的速度和准确性组合到一个平台中，保护智能合约层以外的应用程序的各个方面。

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

Consensys Diligence为Consensys提供的全面智能合约审计服务，帮助从初创公司到企业的所有人启动和维护他们的以太坊区块链应用程序。

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

Burra Sec 提供安全审计和咨询服务，特别关注跨链和互操作性协议及其集成。

Aegis AI 是一个使用人工智能来审计智能合约的平台。它提供实时分析以检测漏洞和恶意代码。

Ackee Blockchain 团队由审计员和白帽黑客组成，他们执行安全审计和评估，包括代码审查、测试、自动分析和本地部署/黑客攻击。

MixBytes 是一家区块链解决方案咨询公司，为智能合约开发和测试提供一整套服务，包括安全审计和协议开发。

ExVul 是一家 Web3 安全公司，服务范围涵盖智能合约审计、区块链协议审计、钱包审计、Web3渗透测试、安全咨询与规划。ExVul 致力于提升Web3生态整体安全性，始终站在Web3安全研究前沿领域。

Supremacy 是一家区块链安全公司，由未获任何资本支持两位黑客于 2022 年创立，由行业黑客和学术研究人员组成，致力通过其技术积累和创新研究提供安全解决方案。

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

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