CertiK創業者顧栄輝がダボスに登場：AIが形式検証を強化、上場目標を固める

2026年世界経済フォーラム（WEF）年次総会期間中、CertiK創業者顧栄輝氏はダボスでCBSの単独インタビューに応じ、世界最大のWeb3セキュリティ企業としてCertiKが上場計画を積極的に推進し、「Web3インフラ初の株式上場企業」を目指していると明かした。インタビューでは、顧氏はCertiKのセキュリティ技術の中核となるAIを深く統合したSpoqエンジンの技術的秘密も明らかにした。AIと形式検証システムの融合により、このエンジンは形式検証のスケーラビリティと実行効率を大幅に向上させた。CertiKのこの最先端成果は、OSDI 2023やASPLOS 2026など世界トップクラスの学術会議で相次いで検証されている。最先端の学術研究を生産性ツールへと転換することで、CertiKは世界中の機関級顧客に数学レベルのセキュリティ保証を提供している。