CertiK創設者グー・ロンフェイ、ダボスで登場：AIが形式検証を強化し、上場目標を固める

Odaily 2026年世界経済フォーラム（WEF）年次総会の期間中、CertiK創設者グー・ロンフェイはダボスでCBSの独占インタビューを受け、世界最大のWeb3セキュリティ企業として、CertiKは積極的に上場計画を推進し、「Web3インフラ第一号」となることを目指していると明らかにした。

インタビューで、グー・ロンフェイはまた、CertiKのセキュリティ技術における中核技術——AIを深く統合したSpoqエンジンについて明らかにした。AIと形式検証システムの融合を通じて、このエンジンは形式検証の拡張性と実行効率を大幅に向上させた。

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