“金星與芒果”利用案揭示了同一個工程問題,只是發生在截然不同的市場環境下。
一個在崩盤期間依賴了過時的預言機底層;另一個則依賴於由流動性過薄所推高的價格。
兩個協議都不是因爲智能合約計算錯誤而失敗。
執行層在內部保持了一致性。
失敗的原因在於:他們將“存在一個有效價格”誤當成了“可信的市場信號”。
一旦市場條件變化的速度快過不可變代碼,分辨這一區別就會變得代價高昂。
大多數協議會通過在執行層嵌入更多保護來應對,例如熔斷器、備用預言機以及額外的校驗邏輯。
每一種防護都會降低某一類風險,同時也會讓系統更難審計、升級,並在出現新的失效模式時更難協調。
這種權衡讓我更關注那些將“策略”與“執行”分離的架構,而不是要求合約去理解每一種市場邊界情況。
Newton Protocol 是一個示例,它通過可編程的 Rego 策略來探索這種方向:在執行之前先對策略進行評估,而不是單純擴展合約邏輯本身。
預言機分歧、脫錨(depeg)情形或流動性質量等因素,變成了策略層面的決策,而不是被永久寫入不可變代碼中的固定前提。
如果這些條件不滿足,就不會產生任何加密證明(attestation),執行也會直接停止。
這種方式是否會變得普遍,仍然不確定。
它增加了另一層協同(coordination)基礎設施,許多團隊可能仍會繼續接受“忽略上下文”的執行,因爲更簡單的架構更容易交付與維護。
但如果自主代理最終在沒有持續的人類監督的情況下分配資本,那麼更難的基礎設施問題可能並不是“無法正確執行交易”,而是“做出怎樣的市場假設應該變成策略,以及哪些永遠不應變成代碼”。
@NewtonProtocol $NEWT #newt $LAB $EVAA
一個在崩盤期間依賴了過時的預言機底層;另一個則依賴於由流動性過薄所推高的價格。
兩個協議都不是因爲智能合約計算錯誤而失敗。
執行層在內部保持了一致性。
失敗的原因在於:他們將“存在一個有效價格”誤當成了“可信的市場信號”。
一旦市場條件變化的速度快過不可變代碼,分辨這一區別就會變得代價高昂。
大多數協議會通過在執行層嵌入更多保護來應對,例如熔斷器、備用預言機以及額外的校驗邏輯。
每一種防護都會降低某一類風險,同時也會讓系統更難審計、升級,並在出現新的失效模式時更難協調。
這種權衡讓我更關注那些將“策略”與“執行”分離的架構,而不是要求合約去理解每一種市場邊界情況。
Newton Protocol 是一個示例,它通過可編程的 Rego 策略來探索這種方向:在執行之前先對策略進行評估,而不是單純擴展合約邏輯本身。
預言機分歧、脫錨(depeg)情形或流動性質量等因素,變成了策略層面的決策,而不是被永久寫入不可變代碼中的固定前提。
如果這些條件不滿足,就不會產生任何加密證明(attestation),執行也會直接停止。
這種方式是否會變得普遍,仍然不確定。
它增加了另一層協同(coordination)基礎設施,許多團隊可能仍會繼續接受“忽略上下文”的執行,因爲更簡單的架構更容易交付與維護。
但如果自主代理最終在沒有持續的人類監督的情況下分配資本,那麼更難的基礎設施問題可能並不是“無法正確執行交易”,而是“做出怎樣的市場假設應該變成策略,以及哪些永遠不應變成代碼”。
@NewtonProtocol $NEWT #newt $LAB $EVAA