CertiKの創設者であるグ・ロンフイ氏は、2026年のダボス世界経済フォーラムで新規株式公開（IPO）の計画を発表し、CertiKを初のWeb3インフラストックとして位置づけることを目指しています。独占インタビューで、グ氏はAIと形式的検証を統合してスケーラビリティと効率性を向上させるCertiKのSpoqエンジンを強調しました。この技術はOSDI 2023やASPLOS 2026などの主要な学術会議で検証されており、機関投資家に対して強固なセキュリティ保証を提供しています。