CertiK创始人顾荣辉亮相达沃斯：AI赋能形式化验证，锚定上市目标

2026 年世界经济论坛（WEF）年会期间，CertiK 创始人顾荣辉在达沃斯接受 CBS 专访时透露，作为全球最大的 Web3 安全公司，CertiK 正在积极推进上市计划，力争成为“Web3 基础设施第一股”。专访中，顾荣辉还揭秘了 CertiK 在安全技术层面的核心技术——深度集成 AI 的 Spoq 引擎。通过 AI 与形式化验证体系融合，该引擎大幅提升了形式化验证的可扩展性与执行效率。据悉，CertiK 的这一前沿成果已相继获得 OSDI 2023 和 ASPLOS 2026 等全球顶尖学术会议的验证。通过将顶尖学术研究转化为生产力工具，CertiK 正为全球机构级客户提供数学级安全保障。