Immunefi 是一个专注于 Web3 和智能合约安全的漏洞赏金平台。 Immunefi 为区块链和智能合约项目提供漏洞奖励托管、咨询、漏洞分类和程序管理服务。

Project Eleven 是一个结合量子计算的 Web3 项目，首要任务是将后量子密码学（PQC）应用于现有协议，首先是比特币。这将确保即使经典密码学失效，这些协议依然安全。其首个解决方案是 yellowpages ，这是一个后量子时代的比特币所有权证明，允许用户立即生成抗量子密钥，并将其安全地链接到现有的比特币地址。

Naoris协议是一个去中心化安全网络服务商，在执行网络安全标准的同时，保护整个数字世界的设备免受网络威胁和相关风险的影响。Naoris协议旨在提高每个经济部门的网络安全水平，将任何网络基础设施转换为保护基线的节点，确保系统的网络安全、可信和安全运行——从政府、企业和组织等web2网络到整个Web3堆栈。

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

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

Certora 是一家智能合约安全公司，旨在帮助开发人员在部署代码之前检测和防止安全错误。 . Certora 拥有称为 Certora Prover 的独特技术，能够在编译时检查智能合约的所有执行是否满足一组安全规则。

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

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

Phylax 是一种开源安全协议，通过主动审查底层网络上的黑客行为来保护区块链网络上的去中心化应用程序 (DApp)。

InfluxAI 是一个面向区块链项目、消费者和开发者的一站式安全应用平台。该平台旨在通过集成人工智能、自动合约审计和实时链上监控等一系列技术创新，提供便捷、智能的安全服务。它还旨在提高开发人员的生产力，推动行业走向更安全的生产模式。

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

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

Veridise 是一家区块链安全公司，为区块链生态系统的所有层级提供审计和软件分析工具，包括智能合约、web3 应用程序、零知识电路和区块链实施。Veridise 提供了一个全面且用户友好的工具链，用于自动审计智能合约的安全性和正确性。

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

Forta 是一个实时检测网络，用于对区块链活动进行安全和运营监控。作为一个去中心化的监控网络，Forta 实时检测 DeFi、NFT、治理、网桥和其他 Web3 系统上的威胁和异常。给出有关自有或依赖系统的安全和健康的及时和相关警报，协议和投资者可以迅速做出反应以消除威胁并防止或最大限度地减少资金损失。

PolySwarm是一个去中心化威胁情报市场，旨在通过预测市场和斡旋共识来激励安全专家检测和分析恶意软件，并为其贡献奖励加密货币。该平台使用去中心化技术、预测市场和斡旋共识来确定提交的判决的准确性，从而为专家提供加密货币奖励。

Shield3 是一种 Web3 安全解决方案，持续扫描和监控连接到用户数字钱包的 dapp 是否存在潜在风险、诈骗和漏洞，并提供用户活动的总体安全评分。当发现潜在威胁时，用户会收到警报、解释和建议的操作。

Hypernative 是一家加密安全公司，阻止网络威胁、经济和治理风险，并保护数字资产管理器、协议和 Web3 应用程序免受重大损失。在其“pre-cog”平台的支持下，Hypernative 使用专有的机器学习模型监控链上和链下数据源，以在网络、经济、治理和社区威胁产生影响之前准确预测它们。

Lunaray 是一家区块链安全审计和咨询公司。

Rug.ai 是一个人工智能安全工具平台，提供必要的信息，以便在链上做出明智的决定。它旨在涵盖从钱包签名和网络钓鱼检查，到代币发布民主化的链上安全端到端解决方案。

Sentinel Protocol 是一个区块链安全智能平台 (SIPB)，用于保护有价值的加密资产免受黑客攻击、诈骗和欺诈。 Sentinel 协议利用区块链技术优化系统可用性和完整性，同时还利用共识和激励方案来共享集体安全情报。 Sentinel Protocol 的运作基于网络安全专家的集体智慧，以及预防性安全措施，例如用于行为建模的机器学习和具有成本效益的分布式沙盒。

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

AnChain.AI 是一家人工智能驱动的网络安全公司，致力于增强 Web3 安全性、风险和合规性策略。 AnChain.AI 于 2018 年由来自 FireEye 和 Mandiant 的网络安全和企业软件资深人士创立，被评为 CNBC 企业顶级初创公司之一和 2023 年 RSAC 创新沙箱决赛入围者。AnChain.AI 得到硅谷和华尔街风险投资公司的支持，并入选伯克利区块链 Xcelerato。

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

Doppel 是一个实时的跨链监控平台，用于检测 NFT 欺诈。

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

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

Shield 是一家区块链安全公司，可帮助组织采取全面的安全措施来防止加密漏洞利用并提高用户对整个生态系统的信任。Shield 的 web3 安全 API 提供加密诈骗检测模型，以帮助 web3 平台保护其用户免受恶意行为者和协议的侵害。这是通过单个 REST API 提供的，提供了一种易于访问的数据，可以主动提醒潜在的诈骗。Shield 由前 Facebook、麦肯锡、Y Combinator、麻省理工学院和普林斯顿的技术专家团队打造.

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

Block Security Arena 是一家Web3 AI 安全基础设施，通过 AI 驱动的工具与游戏化教育系统结合，构建“闭环”安全生态。其核心业务涵盖四个维度：基于 RAG 技术的 AI 学院、基于 Docker 的攻击模拟沙箱、面向开发者的 AI 审计助手及代币风险雷达。