
2026年ダボスの世界経済フォーラムでグー氏は、形式的検証技術を備えたAI駆動のSpoqエンジンを発表し、ブロックチェーンのスケーラビリティと信頼性向上を目指すと述べた。
2026年にダボスで開催された世界経済フォーラム年次総会において、CertiK創業者ロンフイ・グー氏は、同社を世界初の上場Web3インフラ企業として位置付けることを目標に、新規株式公開(IPO)計画を発表した。さらに、人工知能によって駆動し形式的検証を組み込むことでスケーラビリティと運用効率を高めるSpoqエンジンを紹介した。この技術はOSDI 2023およびASPLOS 2026での学術的査読を通じて検証されている。