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

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

Runtime Verification 使用形式化方法对公链上的虚拟机和智能合约进行安全审计，它还提供软件测试、验证服务和产品，以提高区块链领域软件系统的安全性、可靠性和正确性。

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

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

Bevor 是一个专注于合约安全的平台，旨在为区块链和智能合约提供全面的安全解决方案。

CD Security 是一家区块链安全公司，主要审查智能合约和区块链项目。

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

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

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

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

Audit Wizard 是一种智能合约安全解决方案，可一键扫描漏洞、利用人工智能见解、直观地设计单元测试等。

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

Statemind Statemind 是一家区块链安全审计公司，为区块链行业客户提供审计和咨询服务。

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

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

Neodyme是一家专注于产品安全的公司，通过创新思维解决挑战，曾在多个国际CTF比赛中获奖。Neodyme提供区块链审计、渗透测试和安全培训等服务等。

Sayfer 是一家 Web3 网络安全咨询公司，专门为企业提供量身定制的网络安全解决方案。Sayfer 的研究人员和业务威胁分析师以黑客思维来处理网络安全。该策略使 Sayfer 能够优先考虑面临风险的最关键领域并提供解决方案，并解决传统安全产品可能忽视的漏洞。

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

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

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

DeFimoon 是一家区块链开发与安全机构，专注于为基于区块链的系统提供全面的安全审计。

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

Valix Consulting 是一家智能合约审计公司，提供广泛的网络安全咨询服务。

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

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

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

Solidified 是服务时间最长的智能合约安全公司之一，已经保护了 Loopring、Kyber、Argent、Gnosis、Nexus Mutual、Polymath、Hermez、Aztec 等流行的 DeFi 项目。其服务涵盖产品生命周期的所有阶段，从最初想法的安全属性咨询、白皮书审查、代币经济学建议、代码审查、测试、模糊测试，一直到发布管理和运营安全。

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

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