最近、CertiKの共同設立者でありコロンビア大学教授のRonghui Gu氏が、世界的に有名な金融メディアであるCNBC Arabiaのインタビューを受けました。彼は、形式検証の業界への応用、ブロックチェーン セキュリティにおける AI の役割、新興技術のリスクなどのトピックを中心に、Web3 セキュリティの将来についての深い洞察を共有しました。
顧栄輝氏は、形式検証がブロックチェーンのセキュリティ基盤を構築する鍵となると述べた。その役割は、数学的手法を使用して、コードの動作が期待されるロジックに準拠しているかどうかを確認することです。このアプローチは、従来の監査ツールよりも厳格かつ困難です。彼は、ブロックチェーンの本質は技術革新だけではなく信頼の再構築であり、真に信頼できるシステムは検証可能でなければならないと繰り返し強調してきました。
形式検証：ブロックチェーンの安全な基盤の構築
形式検証は、徹底的な技術的蓄積と基礎となるロジックの理解を必要とする、ハードルが高く、強度の高い監査方法です。顧栄輝氏は独占インタビューで、この方法は複雑だが、ブロックチェーンの安全性と制御性を確保する上でかけがえのない利点があると指摘した。
彼と形式検証との関わりは学生時代にまで遡ります。 2016年、イェール大学のShao Zhong教授と共同で、世界初の完全に形式検証されたマルチコアオペレーティングシステムカーネルであるCertiKOSの開発に成功し、Googleによって破られないと評価されました。この成果は、この技術の現実世界への応用を検証するだけでなく、産業界への導入の基盤を築くものでもあります。
その後、Gu Ronghui 氏はブロックチェーンのシナリオに形式検証を導入するために 2017 年に CertiK を設立しました。現在、この技術は、ZK などのプライバシーとセキュリティに重点を置いた多くの主要プロジェクトや、Ant Group などの大手金融機関で広く使用されています。顧栄輝氏は独占インタビューで、形式検証の効率を高めるために、CertiKは現在、コードの特徴を自動的に識別し、論理的証拠を生成するAIインテリジェント分析などの補助ツールを構築していると語った。
顧栄輝は学術成果の実現を推進する一方で、業界が直面する新たな脅威にも細心の注意を払っている。 「スーパーコンピューターや量子コンピューターがブロックチェーンのセキュリティを脅かす可能性がある」という懸念に対して、彼はそのような技術には潜在的なリスクがあることを認めたが、現段階ではまだ実際の脅威をもたらすほどではないと述べた。 「スーパーコンピューターは既存のブロックチェーンシステムに侵入できるほど強力ではない」と顧栄輝氏は語った。さらに重要なのは、業界が反量子アルゴリズムと防御メカニズムを積極的に構築しているため、適切なソリューションを用意できる可能性があるということです。
AIアプリケーション：Web3セキュリティ環境の再構築
顧栄輝氏はインタビューの中で、AIが特にスマートコントラクトの監査とオンチェーンの脅威の特定においてブロックチェーンのセキュリティ環境を再形成しており、大きな可能性を示していると強調した。 「AIを正しく適用することで、ブロックチェーンのセキュリティシステムに大きな改善をもたらすことができます。」
さらに、CertiKの調査によると、Web3プロジェクトにおける悪意のある行為はますます巧妙化しており、一部のフィッシングプロジェクトはユーザーを長期間にわたって追跡し、精密な詐欺を実行できることが明らかになったと述べた。しかし、AI モデルの迅速な認識機能により、今ではそのような攻撃を数時間以内に特定して対処できるようになりました。
現在、CertiK は脆弱性の検出と監査のプロセスに AI を広く適用しています。オンチェーン警告データを分析することで、脆弱性や攻撃経路の原因の特定を支援できます。同時に、AIテクノロジーを活用して既知の脆弱性パターンをスキャンし、コードロジックを分析してレポートを生成し、「人間と機械のコラボレーション」を中核とするインテリジェント監査システムを構築し、手動監査チームに信頼性の高い数学的サポートと効率ボーナスを提供します。
しかし、AI アプリケーションの人気が高まるにつれて、攻撃者はそれを利用して攻撃手法を強化することもできます。顧栄輝氏は、これは安全保障上の対決の敷居が引き上げられ、業界はより強力なセキュリティソリューションを必要としていることを意味すると考えている。
技術的ビジョン: Web3の信頼境界の拡大
Gu Ronghui 氏は、Web3 開発の次の段階は「使用可能」から「信頼できる」段階になるだろうと常に信じています。効率性と革新は目的ではありません。責任と信頼は技術進化の中核となる価値観です。検証可能なセキュリティ メカニズムを組み込むことによってのみ、ブロックチェーンは真に信頼できるグローバル金融インフラストラクチャになることができます。
これはまさに、CertiK が設立以来堅持してきた使命であり、形式検証を中核として、投資インキュベーション、セキュリティ監査、コンプライアンス コンサルティングなどライフサイクル全体をカバーするセキュリティ製品システムを構築し、プロジェクトに検証可能なセキュリティを提供し、業界に高いセキュリティ基準を設定することです。
顧容輝にとって、これは単なるビジネス戦略ではなく、人生の選択でもあります。イェール大学で学んだ後、コロンビア大学で教鞭をとり、学術研究から起業の実践に至るまで、彼は常に形式検証を理論から実践的基盤へと変革し、テクノロジーを活用して業界の信頼を高めることに注力してきました。
コロンビア大学の教授であり、CertiK の CEO でもある Gu Ronghui 氏は、学術とビジネスという 2 つの主要分野にまたがっていますが、彼の目標は常に Web3 のセキュリティを保護することです。彼はかつて、自身の教育哲学は現実世界の洞察を学術的な議論に統合することに根ざしており、サイバーセキュリティ分野の新世代の認知および能力の基盤を構築することを目指していると述べました。
「Web3のセキュリティを確保することは技術的な課題であるだけでなく、社会的責任でもあります」と顧栄輝氏は何度も公に述べており、「私たちの目標は、この業界をより安全で信頼できるものにすることです」。
