CertiK创始人顾荣辉宣布IPO计划，推进Web3基础设施布局
在2026年达沃斯世界经济论坛上，顾荣辉发布了搭载人工智能的Spoq引擎，该引擎运用形式化验证技术，旨在提升区块链的可扩展性与可靠性。
事实核查
对该声明“可能属实”的评估，基于多个独立且可信来源之间的高度共识。最具权威性的来源——DL News 的一篇新闻报道——不仅报道了这一上市计划，还明确引用了谷荣辉的直接表述予以确认。这是所呈现证据中最具力度的部分。该核心论点亦得到其他多家加密货币及金融媒体的印证，包括 CoinCodex、CryptoRank 和 AInvest。这些媒体报道内容一致，均指出由谷荣辉发布公告，地点为达沃斯世界经济论坛。两份提供的来源被视为无关，因为其中并未包含有关 CertiK IPO 的信息。有两家权威性较低的来源提及年份为 2026，出现了轻微不一致，但这极可能是拼写错误，并不影响公告这一核心事实的广泛报道。关键在于，所有提供的来源中均不存在相互矛盾的证据。多家权威媒体连续一致的报道共同形成了强有力的支撑，足以对该声明的真实性持高度信心。
摘要
在2026年于达沃斯举行的世界经济论坛年会期间，CertiK创始人顾荣辉宣布了首次公开募股（IPO）计划，旨在将CertiK打造为首家上市的Web3基础设施公司。顾同时推出了Spoq引擎——一套融合形式化验证的人工智能驱动系统，旨在提升可扩展性与运营效率。该技术已通过OSDI 2023与ASPLOS 2026的学术评审验证。
术语与概念
- Web3: 一种利用区块链技术实现数据所有权与安全的去中心化互联网版本。
- Formal Verification: 软件工程中用于证明算法和智能合约正确性的数学方法。
- Spoq Engine: 由CertiK开发的基于人工智能的系统，使用形式化验证提升区块链的可扩展性与效率。