人工智能正開始編寫在區塊鏈上轉移資金的代碼。人工智能超級智能聯盟和開發者平臺Matterhorn表示，他們希望確保這些代碼的安全。
Matterhorn 和 ASI 聯盟於週五宣佈了一項以“ vibe coding”（感知編碼）為核心的新計劃。“vibe coding ”是 Matterhorn 平臺的一項功能，它允許開發者用簡單的語言描述應用程序，人工智能即可立即生成完整的智能合約代碼。雖然這項技術加快了開發速度並降低了應用程序的構建門檻，但也帶來了人工智能生成有缺陷或不安全代碼的風險，攻擊者可以利用這些漏洞。
該公司在一份聲明中表示：“我們正處於一個dApp成為‘普通應用’的開端，它將像我們今天使用的網站和應用一樣普及。該領域的其他工具都在競相加快代碼交付速度。我們認為這是錯誤的競賽。那些開發處理真實資金和真實用戶的dApp的開發者需要一個值得信賴的平臺，而此次合作正是我們構建這一平臺的方式。”
為了減輕這種威脅，Matterhorn 創始人 Abhinav Ramesh 表示，該公司正在與外部安全審計人員和自動化工具合作，以幫助開發人員在部署之前審查 AI 生成的智能合約。
Ramesh告訴Decrypt ：“我們與一些安全審計公司合作，他們可以通過Matterhorn為Matterhorn上的開發者提供審計服務。我們也有人工智能代理可以進行代理審計，但我們絕對不建議僅對主網應用程序這樣做。”
Matterhorn 開發平臺旨在與ASI:Chain集成，ASI:Chain 是由人工智能超級智能聯盟開發的區塊鏈網絡，該聯盟是一個去中心化的 AI 組織，其中包括Fetch.ai、 SingularityNET和 CUDOS，它為開發人員提供了一個統一的環境來構建、審核和部署去中心化應用程序。
Ramesh表示：“我們讓用戶能夠輕鬆地從單一平臺連接多級證書（MCP）、構建/使用技能、構建去中心化應用（dApp）並進行部署。我們正在與ASI團隊合作開發‘認證模板’，以便更輕鬆地構建更安全的合約，特別是針對基於形式化驗證的語言。”
該公司表示，開發者可以通過該平臺在正式上線區塊鏈合約之前與第三方審計機構對接。然而，儘管Matterhorn聲稱其平臺能夠加速開發，但並不保證安全性。
“我們為希望基於 Web3 進行構建的開發者提供了強有力的支持，”拉梅什說道。“但 Matterhorn 團隊絕對不對安全性或可靠性做出任何形式的保證。”
Ramesh 表示，Matterhorn 和 ASI 聯盟正在開發“受祝福的模板”，以幫助開發人員構建更安全的智能合約，同時集成 ASI:Cloud，為生成和分析 MeTTa（ASI:Chain 編程語言）代碼的 AI 系統提供計算能力。
此次合作正值人工智能代理越來越多地進入加密貨幣行業之際，開發人員正在試驗能夠管理錢包、執行交易和在鏈上執行金融任務的系統，這促使人們開發新的工具和研究，旨在控制這些自主系統處理加密貨幣時的風險。
SingularityNET的首席創新官 Khellar Crawford 表示，區塊鏈行業的大部分都依賴於“修補和祈禱”的方法——用不適合複雜併發的語言編寫智能合約，並依靠審計人員來發現缺陷——而 F1R3FLY 和 ASI:Chain 則使用他稱之為基於 Rho 演算的“構造正確”架構。
“我們不靠猜測來判斷一個應用程序是否安全，而是用空間行為類型從數學上證明它的安全性，”克勞福德告訴Decrypt 。“在任何一行代碼接觸到實時網絡之前，數學本身就能保證不會出現死鎖、競態條件攻擊和資金洩露。”
