CertiK創始人顧榮輝亮相達沃斯：AI賦能形式化驗證，錨定上市目標

Odaily星球日报訊 2026 年世界經濟論壇（WEF）年會期間，CertiK 創始人顧榮輝在達沃斯接受 CBS 專訪時透露，作為全球最大的 Web3 安全公司，CertiK 正在積極推進上市計劃，力爭成為“Web3 基礎設施第一股”。

專訪中，顧榮輝還揭秘了 CertiK 在安全技術層面的核心技術——深度集成 AI 的 Spoq 引擎。通過 AI 與形式化驗證體系融合，該引擎大幅提升了形式化驗證的可擴展性與執行效率。

據悉，CertiK 的這一前沿成果已相繼獲得 OSDI 2023 和 ASPLOS 2026 等全球頂尖學術會議的驗證。通過將頂尖學術研究轉化為生產力工具，CertiK 正為全球機構級客戶提供數學級安全保障。