CNBCのインタビューでCertiKの共同創業者である顧栄輝が語る：形式的認証からAIによる強化へ、Web3の信頼の境界を持続的に拡大する

最近、CertiKの共同創設者であり、コロンビア大学の教授である顧栄輝が、世界的に有名な経済メディアCNBCアラビアチャンネルのインタビューを受け、形式的認証の業界応用、AIのブロックチェーンセキュリティにおける役割、そして新興技術リスクなどのトピックについて、Web3セキュリティの未来に関する深い洞察を共有しました。

顧栄輝は、形式的認証がブロックチェーンの安全基盤を構築する上での鍵であり、その役割は数学的手法を用いてコードの動作が期待される論理に合致しているかを検証することにあると述べました。この方法は従来の監査ツールよりも厳密であり、さらに挑戦的です。彼は何度も、ブロックチェーンの本質は単なる技術革新ではなく、信頼の再構築であると強調してきました。そして、本当に信頼できるシステムは検証可能でなければなりません。

! CertiKの共同創設者であるGu Ronghui氏へのCNBCインタビュー:正式な検証からAIエンパワーメントまで、Web3信頼の境界を拡大し続ける

形式的認証：ブロックチェーンの安全基盤を構築する

形式的認証は高いハードルと高強度の監査手法であり、深い技術的蓄積と基礎的な論理の理解を要求します。グー・ロンフェイはインタビューで、この方法は複雑であるものの、ブロックチェーンの安全性と制御性を確保する上で代替不可能な利点があると指摘しました。

彼の形式的認証との関係は、彼の学問の段階にまで遡ることができます。2016年、彼はイェール大学の教授である邵中と協力し、世界初の完全に形式的認証を受けたマルチコアオペレーティングシステムカーネルCertiKOSを成功裏に開発しました。これは、Googleによって完璧（Unbreakable）と評価されました。この成果は、技術が現実世界で果たす役割を証明するだけでなく、業界の実践への道を開く基盤を築きました。

その後、顧栄輝は2017年にCertiKを設立し、形式的認証をブロックチェーンのシーンに導入しました。現在、この技術はZKなどのプライバシーとセキュリティを重視する多くの主要プロジェクトや、アリババグループなどの大手金融機関で広く利用されています。顧栄輝はインタビューで、形式的認証の効率を向上させるために、CertiK内部でAIによるスマート分析などの補助ツールを構築しており、これを利用してコードの特徴を自動的に識別し、論理的証拠を生成しています。

顧栄慧は、学業成績の実施を促進する一方で、業界が直面している新たな脅威に常に細心の注意を払ってきました。 「スーパーコンピューターや量子コンピューティングがブロックチェーンのセキュリティを脅かす可能性がある」という懸念に対して、彼はそのような技術には潜在的なリスクがあることを認めましたが、現段階ではまだ真の脅威をもたらすには十分ではありません。 「スーパーコンピューターの能力は、既存のブロックチェーンシステムを打ち負かすのに十分ではありません。さらに重要なことに、業界はすでに反量子アルゴリズムと防御メカニズムを積極的に構築しており、関連するソリューションを持つことが可能です」とGu氏は述べています。 ”

AI アプリケーション：Web3セキュリティの再構築

顧榮輝はインタビューで特に強調した。AIはブロックチェーンのセキュリティの構造を再形成しており、特にスマートコントラクトの監査やオンチェーン脅威の識別において巨大な潜力を示している。"AIを正しく活用することで、ブロックチェーンのセキュリティシステムに実質的な向上をもたらすことができる。"

彼はさらに、CertiKの研究によると、Web3プロジェクトにおける悪意のある行為の手法がますます複雑化しており、一部のフィッシングプロジェクトは長時間にわたりユーザーを追跡し、ターゲットを絞った詐欺を実施することができると述べました。しかし、AIモデルの迅速な識別能力により、この種の攻撃は現在、数時間以内に識別され、対処されることが多いです。

現在、CertiK は AI を広く活用して脆弱性の発掘と監査プロセスに取り組んでいます。オンチェーンの警告データを解析することにより、脆弱性の原因と攻撃経路を特定するのを支援します。同時に、AI 技術を利用して既知の脆弱性パターンのスキャン、コードの論理分析、報告書の生成を行い、「人間と機械の協力」を中心としたインテリジェントな監査システムを構築し、人工監査チームに信頼できる数学的な支援と効率の向上を提供します。

しかし、AIアプリケーションの普及に伴い、攻撃者もその強化された攻撃手段を利用できるようになります。グー・ロンフェイは、これはセキュリティ対抗のハードルが引き上げられ、業界がより強力なセキュリティソリューションを必要とすることを意味すると考えています。

技術ビジョン：Web3の信頼の境界を拡張する

顧榮輝は常に、Web3の発展の次の段階は「使える」から「信頼できる」へと移行すると考えている。効率性と革新性は終点ではなく、責任と信頼こそが技術進化の核心的価値である。検証可能な安全メカニズムが組み込まれたとき、ブロックチェーンは本当に信頼できるグローバル金融インフラストラクチャーとなる。

これが CertiK が設立以来貫いてきた使命です——形式的認証を中心に、投資インキュベーション、安全監査、コンプライアンスコンサルティングなど、全ライフサイクルをカバーする安全な製品体系を構築し、プロジェクトに検証可能な安全性を提供し、業界により高い安全基準を設けることです。

顧榮輝にとって、これは単なる企業戦略ではなく、人生の選択でもあります。イェール大学で学び、コロンビア大学で教鞭を執り、学術研究から起業実践に至るまで、彼は常に形式的認証を理論から実践の基礎に転換することに焦点を当て、技術によって業界の信頼を推進してきました。

コロンビア大学の教授であり、CertiKのCEOであるRonghui Gu氏は、学術界とビジネス界の両方にまたがっていますが、彼の目標は常にWeb3を保護することでした。 彼は、彼の教育哲学は、現実世界の洞察を学術的な議論に統合することに根ざしており、サイバーセキュリティの分野で次世代の認知的および能力的基盤を構築することを目指していると述べています。

「Web3のセキュリティを確保することは、単なる技術的課題ではなく、社会的責任でもあります。」グー・ロンフェイは何度も公に表明しています。「私たちの目標は、この業界をより安全で、より信頼できるものにすることです。」