CertiK CEO がブロックチェーンの安全性の課題と防御戦略を解析

近日、あるテクノロジーメディアがCertiKの共同創設者兼CEOに対して深いインタビューを行いました。双方は最新の四半期安全報告書を基に、現在のハッカー攻撃手法の進化や安全防御技術の革新パスなどのホットな問題について詳細な議論を行いました。

このCEOは、安全は事後の救済策ではなく、基本的な原則として考えられるべきだと強調しました。彼はプロジェクトの開始時から安全を全体戦略に組み込むことを提唱し、「安全優先」の積極的な戦略が信頼できるWeb3.0アプリケーションの構築に不可欠であると考えています。具体的には、形式的検証、ゼロ知識証明、多者計算などの最先端技術を積極的に活用し、ブロックチェーンプロトコルとスマートコントラクトの防御能力を全体的に向上させることを提案しています。

この安全へのこだわりは短期的な市場トレンドの産物ではなく、CEOが長年にわたって技術的理想を探求し実践してきた結果です。業界から"完璧"と称賛されるオペレーティングシステムの開発に参加したことから、現在は数万億ドルのデジタル資産の安全な壁を築いてきました。彼は業界の安全を守り、全体の信頼度を向上させることに尽力してきました。

このCEOは、安全性は競争優位ではなく、共同の責任であると何度も強調しています。彼は、研究室の学術成果を実際の安全ソリューションに変換するだけでなく、"共同責任"の理念を業界の協力に取り入れています。このトップ大学出身の技術専門家は、数学的論理の検証可能性を用いて、ハッカー攻撃の不確実性に対抗し、Web3.0時代の安全な発展の方向性を示しています。

ブロックチェーンの安全な脅威と防御

急速に発展しているWeb3.0分野では、ブロックチェーンの安全性が注目の焦点となっています。CertiKは、先進技術を通じてブロックチェーンエコシステムの安全防護を包括的に強化することに尽力しており、この分野の業界リーダーとなっています。

最新発表の四半期安全報告は、デジタル資産の盗難と安全脅威の新しいトレンドを明らかにしました。報告はまた、ゼロ知識証明やマルチパーティ計算などの最先端技術の安全分野での適用について探求し、ブロックチェーン開発者に実用的なアドバイスを提供し、AIの安全分野での二面性を分析しました。従来の金融機関が徐々にブロックチェーン分野に参入する中で、安全の課題もアップグレードされ、ユーザーを保護し、エコシステムの完全性を維持するために積極的な措置を講じることがますます重要になっています。

セキュリティレポートの重要な発見

2025年第1四半期、チェーン上の詐欺事件による損失は約166億ドルで、前四半期に比べて303%の急増を記録しました。これは主にある取引所がハッキングされ、約140億ドルの損失を被ったためです。イーサリアムは依然として主要な攻撃対象であり、3件の重大なセキュリティ事件で合計154億ドルの資産損失が発生しました。さらに注目すべきは、本四半期において盗まれた資産のうちわずか0.38%が回収に成功したことです。

攻撃トレンド分析

2025年第一四半期は前年末のトレンドを引き継ぎ、イーサリアムは依然としてハッキング攻撃の重災区である。2024年第四四半期にイーサリアム上で発生したセキュリティ事件は99件であり、2025年第一四半期は93件である。このトレンドは2024年全体にわたって非常に明確で、イーサリアムに基づくプロジェクトは最も多くのセキュリティ事件に見舞われた。

ある取引所がハッキングされた事件は典型的なケースです：Ethereumエコシステムに基づくウォレットが侵害され、巨額の損失をもたらしました。Ethereumが攻撃の焦点となった理由は、そのDeFiプロトコルが多数存在し、ロックされた資産の規模が巨大であるためです。一方で、Ethereum上の多くのスマートコントラクトには、いくつかの脆弱性が存在します。

セキュリティ業界の対応戦略

複雑化する攻撃手法に直面して、攻撃者はますます社会工学、AI技術、スマートコントラクト操作などの複雑な戦略を活用し、既存のセキュリティ防護メカニズムを回避しようとしています。デジタル資産の広範な利用と評価の向上に伴い、業界は新しい状況に適応し、プロジェクトの完全性とユーザー資産の安全を確保する必要があります。

業界はこれらの課題に積極的に取り組んでおり、ゼロ知識証明やオンチェーンセキュリティなどの革新的な技術の開発を進めています。これらの技術は、ますます厳しくなるセキュリティ問題に対して有望な解決策を提供し、プライバシーを保護しながら、取引の監査可能性、攻撃のトレース、資産の回収の可能性を実現します。マルチパーティ計算は、プライベートキーの制御権限を複数の参加者に分散させることによって、キー管理をさらに強化し、単一障害点のリスクを排除し、攻撃者がウォレットに不正アクセスする難易度を大幅に向上させます。

開発者のセキュリティに関する推奨事項

ブロックチェーン開発者とプロジェクトチームに対して、CEOは最初から安全を優先することを提案しました。これは妥協の余地のない原則であるべきです。安全を開発の各段階に組み込むことで、事後的な修正ではなく、潜在的な脆弱性を早期に発見するのに役立ち、長期的には大量の時間とリソースを節約できます。この「安全優先」のプロアクティブな戦略は、信頼できるWeb3.0アプリケーションを構築するための基盤にとって非常に重要です。

さらに、専門のセキュリティ機関による包括的かつ公正な第三者監査を求めることで、内部チームが見落とす可能性のある潜在的なリスクを発見できる独立した視点を提供します。このような外部評価は重要なレビューのステップを提供し、脆弱性を迅速に特定して修正するのに役立ち、プロジェクト全体の安全性を強化し、ユーザーの信頼をさらに高めます。

AIのブロックチェーンセキュリティにおける役割

AIはCertiKのセキュリティシステムの重要なツールとなり、ブロックチェーンシステムの安全を保障する核心的な戦略の一つに組み込まれています。CertiKはAI技術を利用してスマートコントラクト内の脆弱性や潜在的なセキュリティ欠陥を分析し、より効率的に包括的な監査を完了するのを助けますが、それは人間の専門家監査チームを置き換えることはできません。

しかし、攻撃者もAIを利用して攻撃手段を強化することができます。たとえば、AIはコードの脆弱性を特定したり、コンセンサス機構や防御システムを回避したりするために使用される可能性があります。これは、安全対策のハードルが上がり、AIの応用が普及するにつれて、業界はより強力なセキュリティソリューションに投資しなければならないことを意味します。

形式検証技術

形式化検証は、コンピュータプログラムが期待通りに動作することを数学的手段で証明する方法です。それはプログラムの属性を数学的公式として表現し、自動化ツールを使用して検証します。

この技術は、ハードウェア設計、ソフトウェアエンジニアリング、ネットワークセキュリティ、AI、そしてスマートコントラクト監査を含む技術業界のさまざまな分野で広く応用される可能性があります。しかし、形式的検証は人工監査の代わりに使用されるものではないことを強調する必要があります。スマートコントラクトに関して、形式的検証は契約の論理と動作を評価するために自動化された方法に依存していますが、人工監査はセキュリティの専門家によってコード、設計、デプロイメント全体を徹底的に検査し、潜在的なセキュリティリスクを特定します。両者は相互補完的であり、スマートコントラクトの全体的なセキュリティを向上させるために協力します。

伝統的金融機関の参入によるセキュリティの課題

従来の金融機関がブロックチェーン分野に参入するにつれて、ネットワークの完全性に関する安全リスクも新たな段階に入ります。この転換の背後には、プロジェクト資産のボリュームの上昇があるだけでなく、企業向けアプリケーションの独特の安全ニーズや規制要件、そしてブロックチェーンと従来の金融システムの深い統合が関与しています。

ほとんどの伝統的な機関がネットワーク脅威に対処する経験を持っていることを考慮すると、悪意のある行為者も攻撃手段の複雑さを高めると予想されます。これまでの一般的なウォレットの脆弱性への攻撃から、構成ミス、カスタムスマートコントラクトの脆弱性、そして従来のシステム統合インターフェースのセキュリティ欠陥など、よりターゲットを絞った企業レベルの弱点に移行するでしょう。