CertiK创始人顾荣辉在达沃斯接受CBS专访，释放IPO信号

2026年世界经济论坛(WEF)年会期间,CertiK创始人顾荣辉在达沃斯接受CBS专访,首次透露CertiK正在积极推进上市计划,并从安全技术与监管实践两个层面,系统阐述了Web3走向主流体系所必须补齐的关键基础设施。

顾荣辉回顾称,CertiK的起点源自对形式化验证的长期学术研究,即用数学逻辑证明系统是否“按预期运行”。其团队曾成功研发出全球首个完全经过形式化验证的多核操作系统内核CertiKOS。这一成果不仅验证了形式化验证在现实世界中的可行性,也为其后续走向行业实践奠定了技术基础,成为CertiK切入Web3安全领域的核心起点。

在专访中,顾荣辉特别强调,真正面向机构的安全体系,必须建立在“可证明、可复现”的安全保障机制之上。基于这一判断,CertiK将AI能力深度集成至自研的Spoq引擎中,用以增强形式化验证体系的可扩展性与执行效率,使原本高度学术化的验证方法能够落地为生产级工具。相关研究成果已在OSDI 2023和ASPLOS 2026等国际顶级学术会议上发表并获得验证。

除技术路径外,监管协作同样被视为Web3迈向成熟不可或缺的一环。顾荣辉指出,随着全球合规框架逐步明晰,监管机构本身也亟需更直观、可操作的风险认知工具。在这一背景下,CertiK推出了企业级安全平台Skynet Enterprise,面向监管方与机构客户提供实时链上监控、风险预警系统及分析看板,将复杂的链上活动转化为可理解的风险洞察,助力构建更具韧性的数字资产生态。目前,CertiK正与多家监管机构展开合作,推动相关工具的实际落地,为Web3行业的合规化进程提供技术支撑。

作为全球最大的Web3安全公司,CertiK的上市计划已得到战略资本加持。其中,YZi Labs(原Binance Labs)近期完成的一笔投资使其成为CertiK迄今为止的最大投资方。顾荣辉在采访中表示,很多人期待CertiK的成功上市,这不仅关乎一家企业的发展,更对整个Web3行业具有象征意义。在他看来,走向公开市场并非单纯的资本选择,而是Web3逐步融入全球金融体系、赢得更广泛信任的必经之路。