CertiK創始人顧榮輝亮相ダボス：AIが形式的検証を支援し、上場目標を掲げる

Odaily星球日报讯 2026 年世界経済フォーラム（WEF）年会期間中、CertiK 創設者の顧榮輝はダボスで CBS のインタビューに応じ、世界最大の Web3 セキュリティ企業として、CertiK は上場計画を積極的に推進しており、「Web3 基盤インフラの第一株」になることを目指していると明らかにした。

インタビューの中で、顧榮輝はまた、CertiK のセキュリティ技術の核心技術である深度統合 AI の Spoq エンジンを明かした。このエンジンは、AI と形式検証体系の融合により、形式検証の拡張性と実行効率を大幅に向上させている。

報告によると、CertiK のこの最先端の成果は、すでに OSDI 2023 や ASPLOS 2026 などの世界トップクラスの学術会議で検証されている。トップクラスの学術研究を生産性ツールに変換することで、CertiK は世界の機関レベルの顧客に数学レベルのセキュリティ保証を提供している。