CertiK创始人顾荣辉达沃斯透露上市计划与AI技术进展

2026年世界经济论坛年会期间，CertiK创始人顾荣辉在达沃斯接受CBS专访时表示，CertiK正积极推进上市计划，目标成为“Web3基础设施第一股”。顾荣辉还介绍了CertiK的核心技术——深度集成AI的Spoq引擎，该技术融合AI与形式化验证体系，显著提升验证的可扩展性与执行效率，并已获OSDI 2023和ASPLOS 2026等学术会议验证。CertiK正将学术研究转化为生产力工具，为全球机构级客户提供数学级安全保障。