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