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