CertiKの創設者が語るブロックチェーンの安全性：形式的認証から新興の脅威まで

Web3.0の急速な発展に伴い、ブロックチェーンの安全性は業界の注目の話題となっています。最近、有名なブロックチェーンセキュリティの専門家がメディアのインタビューを受け、業界の現状と今後のトレンドについての洞察を共有しました。

この専門家は、ある有名なブロックチェーンセキュリティ会社の創設者兼CEOであり、同時に著名な大学のコンピュータサイエンスの教授でもあります。彼の会社は2017年に設立され、形式的認証技術を活用してブロックチェーンプロトコルとスマートコントラクトのセキュリティを強化することに取り組んでいます。現在、この会社は約5000社の企業顧客にサービスを提供しており、5300億ドル以上のデジタル資産を保護し、11.5万以上のコードの脆弱性を発見しました。

最近のセキュリティ状況について、専門家は2025年第1四半期におけるオンチェーン詐欺による損失が166億ドルに達し、前四半期から303%の急増を示したと指摘しています。その中で、イーサリアムは依然としてハッカー攻撃の主要な標的であり、大部分の損失を占めています。さらに懸念されるのは、盗まれた資産の回収率がわずか0.38%であることです。

複雑化する攻撃手段に直面し、ブロックチェーンセキュリティ業界は積極的に対応しています。ゼロ知識証明やマルチパーティ計算などの革新的な技術が広く利用され、取引のプライバシーとセキュリティを向上させています。専門家は、安全を最優先事項と見なし、それを開発全過程に組み込むことが、信頼できるWeb3.0アプリケーションを構築するために重要であると強調しています。

人工知能はブロックチェーンのセキュリティにおいて両刃の剣の役割を果たしています。一方で、AIはスマートコントラクトの脆弱性を分析し、監査効率を向上させる手助けができます。もう一方では、攻撃者もAIを利用して攻撃手段を強化する可能性があります。これは、セキュリティ対策のハードルがますます高くなっていることを意味します。

形式的認証は、プログラムの正確性を数学的手法によって証明する技術です。ブロックチェーン分野では、人工監査と組み合わせることで、スマートコントラクトの安全性を全面的に向上させることができます。

従来の金融機関がブロックチェーン分野に進出するにつれて、安全の脅威の種類と複雑さも変化しています。専門家は、今後の攻撃はよりターゲットを絞ったものになると予想しており、企業レベルの脆弱性やカスタムスマートコントラクトの脆弱性、従来のシステムとの統合インターフェースのセキュリティ欠陥に集中する可能性があります。

総じて、ブロックチェーン技術の不断の発展と応用範囲の拡大に伴い、安全問題は業界の注目の焦点であり続けるでしょう。持続的な革新と厳格な安全対策を通じてのみ、Web3.0の健全な発展のための堅固な基盤を築くことができます。