CertiK CEOがブロックチェーンのセキュリティ状況と対応策を解説

最近、ある有名なテクノロジーメディアがCertiKの共同創設者兼CEOにインタビューを行いました。双方は最新の四半期安全報告の主な発見、ハッキング手法の進化、安全防御技術の革新などのトピックについて深く議論しました。

このCEOは、安全は事後的な対策ではなく、基本的な原則として考えられるべきだと強調しています。彼は、安全の考え方をプロジェクト全体の戦略に組み込み、プロジェクトの初めから「安全第一」の理念を貫くべきだと主張しています。具体的には、形式的検証、ゼロ知識証明、マルチパーティ計算などの最先端技術を積極的に活用し、ブロックチェーンプロトコルとスマートコントラクトの防護能力を全面的に強化することを提唱しています。これこそがCertiKの設立の初衷とビジョンであり、厳密な形式的検証技術を通じて、より安全で信頼できるWeb3.0の世界を構築することです。

この安全へのこだわりは短期的な市場のトレンドに基づくものではなく、技術的理想の長期的な探求と実践に基づいています。イェール大学での博士課程中に「完璧」と称されるオペレーティングシステムの開発に参加したことから、現在では数兆ドルのデジタル資産の安全防御を構築するまで、彼は常に業界の安全を守り、全体のエコシステムの信頼性を高めることに尽力しています。

このCEOは、安全は競争優位ではなく、共通の責任であると何度も強調しています。彼は学術的成果を実際の安全ソリューションに転換するだけでなく、「共通の責任」という理念を業界の協力に取り入れています。トップクラスの大学を卒業した技術リーダーとして、彼は数学的論理の検証可能性を用いてハッキング攻撃の不確実性に立ち向かい、Web3.0時代の安全な発展への道を示しています。

Web3.0の最前線を守る: ブロックチェーンのセキュリティ脅威と防御戦略の深堀り解析

Web3.0分野の急速な発展の背景の中で、ブロックチェーンの安全性は注目の焦点となっています。CertiKは業界のリーディングセキュリティ企業として、形式的検証技術を通じてブロックチェーンエコシステムの安全性を包括的に強化することに尽力しており、Web3.0の安全分野での先駆者となっています。

最新の四半期セキュリティレポートは、デジタル資産の盗難とセキュリティ脅威の新たなトレンドを明らかにしました。レポートはまた、ゼロ知識証明やマルチパーティ計算などの最先端技術のセキュリティ分野での応用について探求し、ブロックチェーン開発者に実用的なアドバイスを提供し、人工知能のセキュリティ分野における二重の影響を分析しています。従来の金融機関が徐々にブロックチェーン分野に進出する中で、セキュリティの課題も同様にエスカレートしており、ユーザーを保護し、エコシステムの完全性を維持するために積極的な対策を講じることが特に重要になっています。

CertiKの使命と実績

CertiKは2017年に設立され、コア理念は形式検証技術を利用して、ブロックチェーンプロトコルとスマートコントラクトの安全性を継続的に監視・強化し、その安全で正しい運用を保証することです。会社は学界と産業界の最前線のソリューションを統合し、Web3.0アプリケーションが安全性を保障しながら持続可能な発展を実現するのを支援します。現在、CertiKは約5000社の企業顧客にサービスを提供しており、累計で5兆ドル以上のデジタル資産を保護し、11万以上のコードの脆弱性を特定しています。

2025年第1四半期の治安状況

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

目標と戦術の進化

2025年第一四半期のトレンドは2024年末の状況を引き継いでおり、イーサリアムは依然として攻撃の重災区である。2024年第四四半期にはイーサリアム上で99件のセキュリティ事件が発生し、第一四半期には93件であった。このトレンドは2024年全体にわたって持続しており、2025年まで続くように見える。

イーサリアムが攻撃の焦点となる理由は、そのDeFiプロトコルが多数あり、ロックされた資産の規模が巨大であるためです。一方で、イーサリアム上の多数のスマートコントラクトには、いくつかの脆弱性が存在しています。

複雑な攻撃に対処するための戦略

複雑化する攻撃手法に直面して、ブロックチェーンセキュリティ業界は積極的に対応しています。攻撃者はますます社会工学、AI技術、スマートコントラクト操作などの複雑な戦略を利用して、既存のセキュリティ防御メカニズムを回避しようとしています。業界はゼロ知識証明(ZKP)やオンチェーンセキュリティなどの革新的技術の開発を推進しており、これらの技術はますます深刻化するセキュリティ問題に対して有望な解決策を提供しています。

多者計算(MPC)は、プライベートキーの管理権限を複数の参加者に分散させることで、キー管理をさらに強化し、単一障害点のリスクを排除し、攻撃者が無断でウォレットにアクセスする難易度を大幅に向上させました。これらのセキュリティ技術の進化に伴い、ハッカー攻撃に対抗し、分散型エコシステムの完全性を維持する上で重要な役割を果たすでしょう。

ブロックチェーン開発者へのアドバイス

開発の各段階に安全を組み込むことは、事後の修正ではなく、潜在的な脆弱性を早期に発見するのに役立ち、長期的には大量の時間とリソースを節約できます。この「安全優先」のプロアクティブな戦略は、信頼できるWeb3.0アプリケーションを構築するための基盤にとって非常に重要です。

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

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

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

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

形式検証の役割

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

この技術は、ハードウェア設計、ソフトウェアエンジニアリング、ネットワークセキュリティ、AI、スマートコントラクト監査など、技術業界のさまざまな分野に広く応用できます。形式的検証は、人間の監査を置き換えるためのものではなく、相互に補完するものです。スマートコントラクトに関しては、形式的検証は契約のロジックと動作を評価するための自動化された方法に依存し、人間の監査はセキュリティ専門家がコード、設計、展開を徹底的にチェックして潜在的なセキュリティリスクを特定します。

伝統的金融機関がブロックチェーン分野に参入する影響

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

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