イーサリアムの共同創設者ヴィタリック・ブテリン氏は、AIを活用したコードの正式な検証とバグ発見の可能性について興奮を表明した。
ブテリン氏は月曜のツイートで、イーサリアムの最も重大な技術的リスクはコードのバグに起因しており、その点でゲームを大きく変える可能性があるものはすべて画期的なものになると指摘した。
「私が楽しみにしている AI の応用例の 1 つは、AI を利用したコードの正式な検証とバグの発見です。現時点で、イーサリアムの最大の技術的リスクはおそらくコードのバグであり、その上でゲームを大きく変える可能性のあるものはすべて驚くべきものになるでしょう。」 彼が書きました。
特に、直面している大きな課題の 1 つは、 Ethereum プロトコルはバグの悪用であり、ハッキング事件により投資家に数百万ドルの損失をもたらします。チェイナリシスの報告書によると、2023年に盗まれた暗号資産は1.7億ドルという驚異的な額に達し、盗まれた資金総額の約XNUMX分のXNUMXはDeFiプロトコルを標的としたハッキングに遡るという。また、全体的な盗難件数は前年に比べて減少していますが、DeFi ハッキングの脅威は依然として大きな懸念事項です。
一方、ブテリン氏はAIの可能性について楽観的な見方を示しながらも、慎重な姿勢も示している。イーサリアムの共同創設者は30月XNUMX日付のブログで、AIをブロックチェーン技術と統合する際には慎重になるようアドバイスし、特に重大な価値とリスクを伴う状況でAIを導入する場合には、注意深く慎重なアプローチが不可欠であることを強調した。
注目すべきことに、昨年、スマートコントラクト開発会社OpenZeppelinがOpenAIのGPT-4を使用してSolidityスマートコントラクトのセキュリティ問題を検出した実験では、まちまちの結果が得られた。同社のレポートによると、GPT-4 は 20 件の課題のうち 28 件で脆弱性を正確に特定しましたが、存在しない脆弱性を捏造する場合もありました。
同様に、ブロックチェーンセキュリティ企業CertiKの最高セキュリティ責任者であるKang Li氏は、コーディングをAIを活用したツールだけに依存することに対して警告している。昨年9月の韓国ブロックチェーンウィークで講演したリー氏は、AIツールは注意せずに使用すると、解決できる以上に多くのセキュリティ問題を引き起こす可能性があると述べた。
Li氏はさらに、例えばChatGPTは経験豊富な開発者ほど巧みに論理コードのバグを検出できない可能性があることを強調した。代わりに、専門家は、経験豊富な開発者がコードをより効果的に理解できるようにするためのサポート ツールとして AI アシスタントを利用することを提案しました。
- SEO を活用したコンテンツと PR 配信。 今日増幅されます。
- PlatoData.Network 垂直生成 Ai。 自分自身に力を与えましょう。 こちらからアクセスしてください。
- プラトアイストリーム。 Web3 インテリジェンス。 知識増幅。 こちらからアクセスしてください。
- プラトンESG。 カーボン、 クリーンテック、 エネルギー、 環境、 太陽、 廃棄物管理。 こちらからアクセスしてください。
- プラトンヘルス。 バイオテクノロジーと臨床試験のインテリジェンス。 こちらからアクセスしてください。
- 情報源： https://zycrypto.com/vitalik-buterin-highlights-potential-use-case-of-ai-on-ethereum/
