DARPA希望在攻擊者出手之前，先用人工智能攻擊市場規則。加密行業應予以關注。
DARPA的「內在市場韌性計劃」資助相關工具，這些工具利用大型語言模型和自動推理，將市場規則和申報文件轉化爲形式化模型，尋找規則可能遭到利用的方式，並提出修復建議。該計劃涵蓋股票、債券、能源和雲計算資源市場。
目標與通常的目標不同。它不是監管機構通常追查的、爲牟利而操縱市場的惡意行爲，而是以製造破壞爲目的的行爲者。DARPA以2010年的閃電崩盤爲例，指出設計漏洞可能造成巨大影響。如果模型無法證明某個市場符合韌性標準，就應生成一個具體的失效場景。
DARPA的材料並未提及加密行業，初期重點是美國國內的在線股票市場。加密行業與此相關，只是一種推斷。不過，這類問題並不陌生。預言機操縱、連鎖清算，以及手續費或撮合機制的特殊之處，都是對規則的利用，而非代碼攻擊。
這可能意味着：可證明的韌性會成爲一項賣點。能夠證明自身清算邏輯和市場設計經受得住對抗性測試的平臺，或許能贏得信任；而設計不透明的平臺則可能面臨更嚴格的審查。
加密行業還有一項獨特優勢：規則寫在鏈上，任何人——包括人工智能——都能讀取。這讓協議比封閉式交易所繫統更容易建模，但也更容易受到攻擊。
風險在於成本和應用範圍。形式化驗證難度很高，而這項工作目前首先針對美國股票市場。值得期待的是，DeFi團隊能在監管機構提出要求之前，自願採用類似的測試。
在市場中，規則本身就是攻擊面。
$BTC #BTC 價格分析# $ETH #山寨幣季節#
DARPA的「內在市場韌性計劃」資助相關工具，這些工具利用大型語言模型和自動推理，將市場規則和申報文件轉化爲形式化模型，尋找規則可能遭到利用的方式，並提出修復建議。該計劃涵蓋股票、債券、能源和雲計算資源市場。
目標與通常的目標不同。它不是監管機構通常追查的、爲牟利而操縱市場的惡意行爲，而是以製造破壞爲目的的行爲者。DARPA以2010年的閃電崩盤爲例，指出設計漏洞可能造成巨大影響。如果模型無法證明某個市場符合韌性標準，就應生成一個具體的失效場景。
DARPA的材料並未提及加密行業，初期重點是美國國內的在線股票市場。加密行業與此相關，只是一種推斷。不過，這類問題並不陌生。預言機操縱、連鎖清算，以及手續費或撮合機制的特殊之處，都是對規則的利用，而非代碼攻擊。
這可能意味着：可證明的韌性會成爲一項賣點。能夠證明自身清算邏輯和市場設計經受得住對抗性測試的平臺，或許能贏得信任；而設計不透明的平臺則可能面臨更嚴格的審查。
加密行業還有一項獨特優勢：規則寫在鏈上，任何人——包括人工智能——都能讀取。這讓協議比封閉式交易所繫統更容易建模，但也更容易受到攻擊。
風險在於成本和應用範圍。形式化驗證難度很高，而這項工作目前首先針對美國股票市場。值得期待的是，DeFi團隊能在監管機構提出要求之前，自願採用類似的測試。
在市場中，規則本身就是攻擊面。
$BTC #BTC 價格分析# $ETH #山寨幣季節#
