从33.53亿美元损失看CertiK的上市野心：AI如何重塑Web3安全

在达沃斯的聚光灯下，CertiK创始人顾荣辉抛出了一个大消息：这家全球最大的Web3安全公司正在积极推进上市计划，目标是成为"Web3基础设施第一股"。背后支撑这份野心的，是一套融合AI与形式化验证的核心技术——Spoq引擎。而这一切的背景，是Web3行业正在经历的严峻安全危机。

技术创新：AI重塑形式化验证

顾荣辉在专访中详细介绍了CertiK的技术突破。Spoq引擎通过深度集成AI与形式化验证体系，大幅提升了验证的可扩展性与执行效率。这不是纸上谈兵——这一成果已相继获得OSDI 2023和ASPLOS 2026等全球顶尖学术会议的验证。

为什么这很关键

形式化验证在Web3安全中的地位不言而喻，但传统方法存在明显痛点：验证复杂度高、执行效率低、难以规模化应用。AI的加入改变了这个局面。通过将顶尖学术研究转化为生产力工具，CertiK能为全球机构级客户提供数学级的安全保障。

市场背景：安全需求的迫切性

CertiK的上市计划为什么能说出口？看一组数据就明白了。根据CertiK发布的《2025 Skynet Hack3D Web3安全报告》，2025年Web3行业共发生了630起安全事件，造成了总计约33.53亿美元的损失，这相当于一座中等城市一年的GDP。被盗资金规模环比上涨了37.06%。

这不是一个缩小的市场，而是一个急速扩大的需求。仅Bybit事件就产生了约14亿美元损失。在这样的背景下，能提供可靠安全解决方案的企业，本质上就是基础设施级别的存在。

战略地位：从服务商到基础设施

CertiK已经不仅仅是一家安全审计公司。根据相关资讯，它为Fundtir、Owlto Finance等多个项目提供审计认证，成为了Web3生态中的基础设施角色。这些项目的成长，都离不开CertiK的安全背书。

为什么是"第一股"

Web3基础设施领域还没有出现上市公司。CertiK如果成功上市，将填补这一空白。考虑到：

• 市场需求的持续增长（安全损失逐年上升）
• 技术的学术认证（顶尖会议验证）
• 已有的客户基础和生态影响力

这个目标并非遥不可及。

未来展望

从技术层面看，AI与形式化验证的融合才刚开始。Spoq引擎的能力还会继续提升，应用场景也会不断拓展。从市场层面看，Web3安全的投入只会增加不会减少，这给了CertiK持续增长的空间。

上市前的最后一步是什么？通常是财务数据的稳定性和市场认可度。顾荣辉在达沃斯的发声，某种程度上就是在为这个过程造势。

总结

CertiK的上市计划不是凭空想象，而是建立在三个坚实基础之上：一是技术创新（Spoq引擎的AI融合），二是市场需求（Web3安全损失逐年增长），三是生态地位（已成为多个项目的安全背书方）。从一家安全审计公司到Web3基础设施，CertiK正在完成一次战略升级。这个过程中，Spoq引擎的学术认证和AI能力将是它最强的竞争力。