人工智慧正開始撰寫能在區塊鏈上轉移資金的程式碼。人工超級智能聯盟以及開發者平台 Matterhorn 表示，他們希望確保這些程式碼是安全的。 Matterhorn 和 ASI 聯盟於週五宣布新的計畫，核心圍繞「vibe coding」（氛圍式編碼）——Matterhorn 平台的一項功能，可讓開發者用純語言描述一個應用，AI 隨即生成完整的智慧合約程式碼。雖然這種技術能加速開發並降低建立應用程式的門檻，但也引入了風險：AI 可能生成有瑕疵或不安全的程式碼，而攻擊者能加以利用。 「我們正處在一個世界的起點：dApps 變成『只是 Apps』，就像今天我們使用的網站與應用程式一樣，變得隨處可見，」該公司在一份聲明中表示。「這個領域裡其他任何工具都在競相更快地交付程式碼。我們認為這不是該跑的競賽。那些打造可處理真實資金與真實使用者的 dApps 的建構者，需要一個他們信得過的平台，而這項合作正是我們要怎麼做到。」
為了減輕這項威脅，Matterhorn 創辦人 Abhinav Ramesh 表示，公司正在與外部資安稽核者以及自動化工具合作，協助開發者在部署前審查由 AI 生成的智慧合約。 「我們會與資安稽核公司合作，讓這些公司能透過 Matterhorn，為在 Matterhorn 上的建構者提供稽核服務，」Ramesh 對 Decrypt 表示。「我們也有 AI 代理來進行代理式稽核（agentic audits），但我們絕對不建議只做這一件用於主網（mainnet）應用程式。」 Matterhorn 開發平台旨在與 ASI:Chain 整合；ASI:Chain 是由人工超級智能聯盟所開發的區塊鏈網路。人工超級智能聯盟是一個分散式的 AI 協作體，包含 Fetch.ai、SingularityNET 和 CUDOS，讓開發者能在單一環境中建立、稽核並部署去中心化應用程式。
「我們讓使用者能夠很容易地連接 MCPs、建立/使用技能、建立 dApps，並從單一平台部署，」Ramesh 表示。「我們正與 ASI 團隊合作『已核准的範本（blessed templates）』，讓為特定基於形式化驗證（formal verification） 的語言建立更安全的合約變得更容易。」 該公司表示，開發者在於實際區塊鏈啟動合約之前，可以透過平台連接第三方稽核者。然而，儘管 Matterhorn 表示其平台可加速開發，但它不保證安全性。 「我們是一個能強力推動、協助想在 Web3 上建立的建構者的角色，」Ramesh 表示。「Matterhorn 團隊在安全或資安方面，絕對沒有任何形式的保證。」
Ramesh 表示，Matterhorn 和 ASI 聯盟正在開發「已核准的範本（blessed templates）」，以協助開發者在整合 ASI:Cloud 的同時，建立更安全的智慧合約；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），」Crawford 對 Decrypt 說。「在任何一行程式碼尚未碰觸到實際網路之前，數學本身就保證不會出現死結（deadlocks）、不會有競態條件（race-condition）被利用的情形，以及不會洩漏資金。」
