人工知能が、ブロックチェーン上でお金を動かすコードを書き始めている。Artificial Superintelligence Allianceと開発者向けプラットフォームMatterhornは、そのコードを安全なものにしたいと考えているという。 MatterhornとASI Allianceは金曜日、新たな取り組みとして「vibe coding」を中心に据えると発表した。Matterhornプラットフォームの機能で、開発者がアプリを平易な言語で説明すると、AIが瞬時にスマートコントラクトの完全なコードを生成する。この手法は開発を加速し、アプリケーション構築のハードルを下げる一方で、攻撃者が悪用できる欠陥のある、または不十分に安全なコードがAIによって生成されるリスクも生み出す。 「dAppsが『ただのアプリ』になる世界の始まりに私たちはいます。それは、今日私たちが使っているウェブサイトやアプリのように、当たり前になるでしょう」と同社は声明で述べた。「この分野の他のあらゆるツールは、とにかくより速くコードを出荷しようと競争しています。私たちは、その競争は間違っていると思います。実際のお金と実際のユーザーを扱うdAppsを作るビルダーには、信頼できるプラットフォームが必要であり、この提携こそがそれを実現する方法です。」
この脅威を軽減するために、Matterhornの創業者Abhinav Rameshは、同社が外部のセキュリティ監査人と自動化ツールに取り組んでおり、デプロイ前に開発者がAI生成のスマートコントラクトをレビューできるよう支援していると述べた。 「私たちは、Matterhornを通じてMatterhorn上のビルダー向けに監査サービスを提供できるセキュリティ監査会社と提携しています」とRameshは_Decrypt_に語った。「またエージェント型の監査を行うAIエージェントもありますが、メインネットのアプリケーションでは、それだけを行うことは絶対に推奨しません。」 Matterhorn開発プラットフォームは、Artificial Superintelligence Allianceが開発したブロックチェーンネットワークASI:Chainと統合するよう設計されている。Fetch.ai、SingularityNET、CUDOSを含む分散型AIコレクティブであり、開発者が分散型アプリケーションを構築し、監査し、デプロイするための単一の環境を提供する。
「私たちは、ユーザーがMCPを接続し、スキルを構築／利用し、dAppsを構築し、そして単一のプラットフォームからデプロイするのを簡単にしています」とRameshは述べた。「より安全な契約を、特に形式的検証ベースの言語向けに構築しやすくするために、『blessed templates』をASIチームと協働で取り組んでいます。」 同社によれば、開発者はライブのブロックチェーンで契約を立ち上げる前に、プラットフォームを通じてサードパーティの監査人と接続できるという。しかし、Matterhornがプラットフォームによって開発を加速するとしている一方で、セキュリティを保証するものではない。 「私たちは、Web3上で構築したいビルダーにとって強力なイネーブラーです」とRameshは述べた。「安全性やセキュリティに関して、Matterhornチームがあらゆる種類の保証をすることは、まったくありません。」
Rameshは、MatterhornとASI Allianceが、ASI:Cloudを統合して、MeTTaのためのコードを生成し分析するAIシステムに計算能力を提供しつつ、開発者がより安全なスマートコントラクトを構築できるようにする「blessed templates」を開発していると述べた。 この提携は、AIエージェントがますます暗号資産業界へ進出している時期にあたる。そこでは開発者が、ウォレットを管理し、取引を実行し、オンチェーンで金融タスクを遂行できるシステムを試しており、それら自律システムが暗号資産を扱う際のリスクを抑えることを目的とした新しいツールや研究が求められている。
SingularityNETのチーフ・イノベーション・オフィサーであるKhellar Crawfordは、多くのブロックチェーン業界が「パッチして祈る」アプローチ、つまり複雑な並行処理に適していない言語でスマートコントラクトを書き、欠陥を監査人が見つけるのを頼りにする方法に依存していると述べた。一方でF1R3FLYとASI:Chainは、彼が「correct-by-construction」と呼ぶ、Rho calculusに基づくアーキテクチャを用いる。 「アプリケーションが安全かどうかを当て推量するのではなく、空間的な振る舞いの型を使って数学的に証明します」とCrawfordは_Decrypt_に語った。「ライブネットワークに1行のコードさえも触れる前に、数学そのものが、デッドロックが起こらないこと、レースコンディションの悪用ができないこと、資金が漏れないことを保証します。」
