イーサリアムの共同創設者であるヴィタリック・ブテリン氏は、イーサリアムのコードベースにおける潜在的な欠陥の特定を支援するAIへの熱意を語った。
イーサリアムの共同創設者であるヴィタリック・ブテリン(Vitalik Buterin)氏は、イーサリアムの「最大の技術的」リスクの1つである、コードの奥深くに埋もれたバグを解決するためには、人工知能(AI)が重要な役割を果たす可能性があると述べている。
2月18日のXへの投稿で、ブテリン氏はイーサリアムネットワークのバグだらけのコードを特定し修正するためのAIを活用した監査への興奮を共有し、それをネットワークにとっての「最大の技術的リスク」と表現した。
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.
— vitalik.eth (@VitalikButerin) February 19, 2024
Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
ブテリン氏のコメントは、イーサリアムが待望のDencunアップグレードの実装を間近に控えている中で発表された。
Dencunは1月17日にGoerliテストネットで実装されたが、Prsymのバグにより4時間にわたってテストネット上でネットワークがファイナライズされなかった。
イーサリアムネットワークのアップグレードは、ブロックチェーンの長期的なロードマップにとって極めて重要である。
しかし、AIがイーサリアムベースのコードのバグを検出する信頼できるツールであることに誰もが同意しているわけではない。
2023年7月、OpenZeppelinはイーサリアムのコードのネイティブ言語であるSolidityスマートコントラクトのセキュリティ問題を特定するためにOpenAIのGPT-4を利用した一連の実験を行った。
これらの実験中、GPT-4は28の課題のうち20で脆弱性の特定に成功した。
GPT-4が欠陥の特定に失敗した場合、多くの場合、すぐに間違いを修正するよう促すことができた。
しかし、OpenZeppelinは、AIが実際には存在しなかった脆弱性を生み出していたことを発見したこともあった。
CertiKの最高セキュリティ責任者であるカン・リー氏は、ChatGPTのようなAIを搭載したツールをコーディングに使用することは、解決するよりも多くのセキュリティ問題を引き起こすことが多いと語った。
リー氏は全体として、AIアシスタントは経験豊富なコーダーのアシスタントとしてのみ使用することを推奨している。
ブテリン氏はAIの将来について概ね楽観的だが、ブロックチェーン技術でAIを実装する際、特にオラクルのような "ハイリスク "なアプリケーションと一緒に展開する際には注意するよう、開発者に警告したことがある。
「注意することが重要だ。誰かがAIオラクルを使った予測市場やステーブルコインなどを構築し、そのオラクルが攻撃可能であることが判明した場合、膨大な資金が一瞬にして消えてしまう可能性があるからだ。」
\無料アプリを使って/
投稿日時:
著者: CoinPartner 編集部 News_writer