Shentu Chain 是一个面向安全的区块链，集成了安全预言机、ShentuShield 报销池等链上功能，并采用安全编程语言DeepSEA。Shentu Chain 的这些特性保证了各类区块链产品整个生命周期的安全性。

Catalysis 正在构建一个安全抽象层，以聚合和统一共享安全协议中的经济安全。通过抽象共享安全的复杂性，Catalysis 为开发人员和节点运营商提供了无缝、统一的解决方案，以构建和管理 AVS、BVS 和 DVN 等去中心化网络。

GoPlus Security 正在构建 Web3 的第一个去中心化安全层，为所有区块链网络提供全面保护。通过其开放、无需许可和用户驱动的架构，GoPlus 可以无缝集成到任何区块链或项目中，以在整个交易生命周期内保护其用户。通过利用 AVS 和尖端的 AI 驱动的安全解决方案，它进行彻底的风险分析，并为用户提供智能、高效和去中心化的安全服务。GoPlus 旨在通过填补当前区块链架构中安全层的空白，创建更安全、更用户友好的 Web3 链上交互环境，为用户提供更有效、体验更好的链上安全保护。

Octane 是一个以开发人员为中心的平台，用于通过机器学习来测试智能合约。其引擎会搜索源代码中的问题，并提供修复方法。

Venn 是去中心化的网络安全基础设施，保护区块链应用和协议免受恶意交易和经济风险，确保区块链应用的运行连续性。

Alterscope（原 Solity Network） 为去中心化金融提供基础设施，以实现跨链、协议和流动资金池的实时风险处理。Solity Network 支持创建可定制的风险框架和个人监控集。

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

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

HAPI 是一种去中心化安全协议，可防止和中断区块链空间内的任何潜在恶意活动。 HAPI 通过利用外部和链下数据以及 HAPI 直接产生的链上数据来工作，并且是公开可用的。 HAPI 是唯一可以集成到 DEX 和 DeFi 协议中的加密网络安全解决方案，通过嵌入/调用 HAPI 智能合约并通过数据库检查每笔交易的项目来防止洗钱。

HackenProof 是一个 Web3.0 漏洞赏金平台，它将其客户与全球黑客社区联系起来，以发现其产品中的安全问题。

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

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

Drosera 是一种去中心化事件响应协议，它利用隐藏的安全意图来遏制和减轻漏洞危机。它是一种自动化协议，抽象化了为去中心化应用程序创建监控系统和自动响应功能的复杂性。 Drosera 提供了一个框架，用于创建和执行对以太坊网络上事件的自动响应。

Veritas Protocol通过提供人工智能驱动的诈骗检测和预防工具，以及在发生漏洞时提供实时事件响应和资产恢复，为 Web3 用户和投资者提供保障。Veritas 还为项目配备了自动审计工具、实时威胁监控，以及至关重要的针对潜在漏洞的保险。

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

Blockaid 是一个 Web3 安全工具，可以在恶意交易发生之前阻止它们，保护 web3 用户免受诈骗、网络钓鱼和黑客攻击。

Solsniffer是Solana上的一个安全平台，帮助用户扫描智能合约的安全性。 Solsniffer 还将审计结果作为可嵌入的 HTML 小部件、用于安全和分析的高级数据分析、API 集成、广告计划，Solsniffer 为 Solana 用户提供了一系列区块链工具。

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

Cyvers 是一家下一代安全公司，为 web3 和去中心化经济提供实时检测和加密攻击预防。

Verifereum是一种以高阶逻辑（＃HOL4）实现的以太坊的正式模型，旨在验证以太坊生态系统（#EVM）中的应用和工具，从智能合约到编译器，以防止黑客攻击，并提供最高的保证并提供安全保证的无漏洞代码。

Guardrail 是一个由人工智能驱动的实时平台，用于检测和调查对用户的网络安全性和区块链堆栈的威胁。项目方可以利用 Guardrail.ai 领先于链上威胁，全天候 24x7 监控协议的每个边缘。

Blockbrain 对抗链上和链下的威胁，并通过实时警报通知用户。Blockbrain 采用人工智能驱动的 SaaS 平台分析、保护和优化用户的区块链资产，并提供损益表和税务报告。

zknox 是一个加密硬件安全平台，其使命是推进安全硬件、加密协议和区块链集成安全解决方案（ECC、ZK、MPC）），并与以太坊、防御性和去中心化技术紧密结合。

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

imBack是一个加密资产找回服务商，包括钱包密码遗忘、助记词错误等问题，其团队成员拥有完善的区块链安全专业知识。

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

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

Spearbit是一个去中心化的安全专家网络，在web3中为客户提供安全咨询服务。与雇佣全职安全研究人员团队的传统审计公司不同，Spearbit 从 web3 生态系统中的各个地方招聘顶尖人才，以组建最适合这份工作的团队。

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

Nefture 是一种主动的 DeFi 风险管理解决方案，通过实时提醒 DeFi 资产管理者任何加密安全风险来限制其风险敞口。它使用户能够放心交易、节省时间并快速应对其投资组合资产的潜在漏洞。