CertiK創業者ロンフイ・グー、Web3インフラ拡大へIPO計画を発表

CertiK創業者ロンフイ・グー、Web3インフラ拡大へIPO計画を発表

2026年ダボスの世界経済フォーラムでグー氏は、形式的検証技術を備えたAI駆動のSpoqエンジンを発表し、ブロックチェーンのスケーラビリティと信頼性向上を目指すと述べた。

ファクトチェック
この声明が「おそらく真実である」と評価されるのは、複数の独立した信頼性の高い情報源の間で強いコンセンサスが存在するためである。最も権威ある情報源であるDL Newsの記事は、IPO計画を報じるだけでなく、ロンフイ・グーがそれを確認した直接の引用も掲載している。これは提示された証拠の中で最も強力なものである。この中心的な主張は、CoinCodex、CryptoRank、AInvestなど、他の仮想通貨および金融ニュースメディアによって裏付けられている。これらの情報源は一貫した報道を行い、発表者をロンフイ・グーと特定し、発表の場をダボスでの世界経済フォーラムと報じている。提供された情報源のうち2つは、CertiKのIPOに関する情報を含んでいないため、関連性がないとして却下された。権威の低い2つの情報源に「2026年」という年が記載されているという小さな不一致が見られたが、これは単なる誤記の可能性が高く、広く報じられている発表の核心的事実を損なうものではない。重要なのは、提供された情報源の中に矛盾する証拠が一切存在しないという点である。複数の信頼できる報道機関による一貫した報道の累積的な重みが、この声明の真実性に対する高い信頼性を裏付けている。
要約

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

用語解説
  • Web3: ブロックチェーン技術を活用し、データの所有権とセキュリティを確保する分散型インターネットの形態。
  • Formal Verification: ソフトウェア工学において、アルゴリズムやスマートコントラクトの正確性を数学的に証明する手法。
  • Spoq Engine: 形式的検証を用いてブロックチェーンのスケーラビリティと効率を向上させるためにCertiKが開発したAIベースのシステム。