コードの検証やバグ発見に役立つか

イーサリアム（Ethereum）の共同創業者であるヴィタリック・ブテリン（Vitalik Buterin）氏は、AI（人工知能）はコードの検証やバグの発見に貢献する可能性があると見ているようだ。同氏が自身のXにて2月19日ポストしている。

ヴィタリックは、現在のイーサリアムにおける最大の技術的リスクはおそらくコードのバグだと報告。「この点に関してゲームを大きく変えることができるものはどんなものでも素晴らしいだろう」と述べ、AIを応用したコードの検証やバグの発見に期待していると伝えている。

ヴィタリックは先月末、クリプト（ブロックチェーン・暗号資産の総称）とAIの交わりは課題があるにせよ、可能性はあるとの見方を示すブログを発表。

同ブログでヴィタリックはAIの潜在的な役割を4つに分けて考察し、AI活用によるメリットとリスクについての考えを述べた。

その中でヴィタリックは特記すべきリスクとして、ユーザーがオープンソースのウォレット内のAIアシスタントにアクセスできる場合、攻撃者もそのAIアシスタントにアクセスできるため、ウォレット防御を発動させないハッキングや詐欺を仕掛ける機会が無制限に与えられる点を挙げていた。

「暗号技術ではオープンソースが真に安全なものを作る唯一の方法だが、AIではモデル（あるいはその学習データでさえ）をオープンにすることによって、敵対的な機械学習攻撃に対する脆弱性が大幅に増加する」とヴィタリックは述べている。

ヴィタリックは「これらのすべての分野でAIの建設的なユースケースの試みが増えることを期待している」と同ブログを結んでおり、AIへの関心の高まりを示していた。

One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.

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.

— vitalik.eth (@VitalikButerin) February 19, 2024

関連ニュース

• ヴィタリック、クリプトとAIの交わり方の課題や将来性を考察
• ヴィタリック、プルーフオブステーク（PoS）の簡素化を提案
• ヴィタリック、リキッドステーキングの中央集権リスクについて言及
• トランプ前大統領、AIは「危険で恐ろしい」と指摘。改めてCBDCへの反対姿勢示す＝FOX
• アプトスラボ、MicrosoftのAIサービス搭載「アプトスアシスタント」一般公開

images:Reuters

参照元：ニュース – あたらしい経済