摘要：隨著去中心化人工智能的興起，與協處理器一起，我們正在進入“智能DeFi”的新時代。如果計算涉及高安全性任務，例如計算Beacon鏈上驗證者的余額，涉及數十億美元的流動性質押，ZK協處理器是最合適的選擇。...
原文標題：Unveiling Intelligent DeFi: The Coprocessor Revolution
原文作者：lukewasm.eth
原文來源：Mirror
編譯：Lynn，火星財經
特別感謝@0xkrane、@atiselsts_eth、Avi（來自@nil_foundation）、@ChundaMcCain、@IsdrsP、@Li_Steven1、Maki 和@Phil_Kelly_NYC（來自@o1_labs和@yilongl_megaeth）對本文的寶貴討論、見解和反饋！
介紹
由于區塊鏈處理能力有限，當今的去中心化應用程序在執行復雜的鏈上計算時面臨著限制。然而，隨著區塊鏈協處理器等技術的快速發展，結合博弈論和機制設計，出現了新一波用例，極大地改善了用戶體驗。
本文探討了協處理器的設計空間，重點關注它們所支持的潛在用例。
要點：
- 區塊鏈計算成本昂貴且有限；一種解決方案是將計算移至鏈外，并通過協處理器驗證鏈上結果，從而實現更復雜的 dapp 邏輯。
- 根據其安全假設，協處理器可以分為無信任（ZK）、信任最小化（MPC/TEE）、樂觀和加密經濟。這些解決方案還可以組合起來，以實現所需的安全性與效率的權衡。
- 不同類型的協處理器適合 DeFi 中的不同任務。潛在用例涵蓋 DEX（AMM 和訂單簿）、貨幣市場、質押、重新質押等。
- 隨著去中心化人工智能的興起，與協處理器一起，我們正在進入“智能 DeFi”的新時代。
協處理器的作用
區塊鏈通常被視為通用 CPU 虛擬機 (VM)，可能不適合繁重的計算。涉及數據驅動分析和密集計算的任務通常需要鏈下解決方案。例如，像 dydx v3 這樣的訂單簿交易所利用在中心化服務器上??運行的鏈外匹配和風險引擎，僅在鏈上進行資金結算。
在計算中，引入協處理器來協助處理器執行特定任務，如前綴“co-”所示。例如，GPU 充當 CPU 的協處理器。它們擅長處理 3D 渲染和深度學習等任務所需的并行計算。這種安排允許主 CPU 專注于通用處理。協處理器模型使計算機能夠處理更復雜的工作負載，而使用單個通用 CPU 是無法實現的。
通過利用協處理器和訪問鏈上數據，區塊鏈應用程序可以提供高級功能并做出明智的決策。這為進行額外計算創造了機會，能夠執行更復雜的任務，并使應用程序變得更加“智能”。
不同類型的協處理器
基于信任假設，協處理器主要可以分為三種不同類型：零知識（ZK）、樂觀和加密經濟。
ZK 協處理器如果實現正確，理論上是無需信任的。他們執行鏈下計算并提交鏈上證明進行驗證。雖然它們提供了速度，但在證明成本方面需要權衡。隨著定制硬件的進步和加密技術的發展，轉嫁給最終消費者的最終成本可能會降低到更可接受的水平。
Axiom和RISC ZeroBonsai 是 ZK 協處理器的示例。它們允許訪問鏈上狀態的任意計算在鏈外運行，并提供計算執行的證據。
為了更清楚地了解典型 ZK 協處理器的運行方式，讓我們檢查一下RISC Zero Bonsai 的工作流程。
應用程序將協同處理請求發送到 Bonsai Relay，然后將證明請求轉發到 Bonsai 證明服務。RISC Zero zkVM 執行程序并生成證明來驗證代碼的正確執行，任何人都可以驗證。隨后，Bonsai Relay 在鏈上發布證明，應用程序通過回調函數接收結果。
以太坊上的盆景
雖然 ZK 協處理器是實現可驗證的鏈外計算的一種方法，但 MPC 和 TEE 等替代方案提供了不同的方法。MPC 支持對敏感數據進行協作計算，而 TEE 則提供基于硬件的安全飛地。每個選項都需要在安全性和效率之間進行權衡。在本文中，我們將重點關注 ZK 協處理器。
樂觀協處理器提供了經濟高效的解決方案，但它們存在嚴重的延遲問題（通常為數周）。他們要求誠實的各方在具有挑戰性的窗口內通過欺詐證據有效地挑戰他們。因此，安全保障的時間被推遲。
加密經濟協處理器是樂觀的協處理器，在執行時具有足夠大的經濟債券和鏈上保險系統，允許其他人獲得錯誤計算的補償。這種經濟債券和保險可以通過 Eigenlayer 等共享安全提供商購買。優點是即時結算，但缺點是購買保險的成本。
各種協處理器類型的特征
*現有的證明生成時間不到一秒（誠然，對于小型、優化的證明），而且它們正在迅速改進。
不同類型的協處理器表現出不同的成本、延遲和安全特性。組合不同類型的協處理器可以帶來優化的用戶體驗。一個突出的例子是布雷維斯。Brevis 最初推出的是 zk 協處理器，現在推出了Brevis coChain。這項創新將加密經濟學和 ZKP 結合在 ZK 協處理器中，從而降低了成本、最小化了延遲并增強了用戶體驗。
純 ZK 協處理器在當前狀態下仍然面臨諸如高證明生成成本和可擴展性問題等挑戰。這是因為數據訪問和計算結果的 ZK 證明總是預先生成的。利用 Eigenlayer 的重新抵押基礎設施，Brevis coChain 使 dapp 能夠定制他們想要的加密經濟安全級別，從而賦予他們更大的靈活性來增強用戶體驗。以下是其運作方式的簡單說明。
Brevis coChain 首先會根據 PoS 共識“樂觀”地生成協處理請求的結果。然后，啟動兩個挑戰窗口，一個是特定于應用程序且由開發人員配置的，另一個是較長的全局 coChain 削減窗口。
Brevis coChain 工作流程
在應用程序挑戰窗口期間，觀察者可以提交與協處理結果相矛盾的 ZKP。成功的挑戰會削減提議者并獎勵挑戰者。失敗的提案會導致挑戰者的保證金被沒收。
如果沒有挑戰，應用程序將認為結果有效。全球 coChain 削減窗口是為了增強安全性。即使應用程序接受了錯誤的結果，只要 coChain 削減窗口打開，惡意驗證器就可以被削減，并且可以糾正錯誤的結果。
由于不同類型的協處理器表現出不同的成本、延遲和安全特性，因此應用程序必須評估其需求以確定所需的協處理器類型。如果計算涉及高安全性任務，例如計算 Beacon 鏈上驗證者的余額，涉及數十億美元的流動性質押，ZK 協處理器是最合適的選擇。它們提供了最大的安全性，因為結果可以不受信任地驗證。此外，在這種情況下，延遲不是問題，可以在可接受的時間范圍內生成證明。
對于對延遲不太敏感且不涉及重大財務價值的任務，例如在社交資料上展示鏈上成就指標，提供最低鏈下計算的樂觀協處理器可能更可取。
對于其他任務，當購買的保險涵蓋風險價值時，加密經濟協處理器被證明更具成本效益。保險成本的分析應根據具體情況進行，很大程度上受到應用程序所帶來的價值的影響。這些任務通常需要不同的分析和風險建模。
對協處理器進行分類的另一種方法是按計算類型，例如：
- RiscZero，簡潔且=nil；對于一般計算，
- AI 的儀式和模塊，
- 數據庫操作的空間和時間，
- 用于 EVM 計算的MegaETH等。
協處理器在 DeFi 中的使用是一個具有巨大潛力的新興領域。接下來，我將概述如何在 DeFi 的各個領域（包括 DEX、貨幣市場、質押、重新質押等）使用協處理器的現有想法和實現。
地塞米松
DEX 涉及多個利益相關者。其中包括交易者、流動性提供者、做市商、流動性管理者、解決者/填充者等。協處理器有潛力通過不同級別的信任假設有效地簡化復雜任務，最終增強這些利益相關者的體驗。
降低成本
在基本的 AMM 中，一項重要功能是在用戶發起交換時計算必要的參數。這些參數包括轉入和轉出的金額、費用以及轉入后的價格。在維持信任保證的同時利用 zk 協處理器的計算能力的一個簡單用例是在鏈外執行部分交換功能，然后在鏈上完成其余步驟。zkAMM 是自動做市商 (AMM) 的一種變體，它在協議中集成了零知識證明。Diego ( @0xfuturistic) 引入了基于 Uniswap v3 的 zkAMM (zkUniswap) 實現，其中一部分 AMM 交換計算被卸載到 Risc Zero zkVM。用戶通過在鏈上發出請求來啟動交換，交換輸入由中繼器拾取，并且計算在鏈外進行。然后中繼者發布輸出和證明。AMM 驗證證明并結算交換。
雖然現階段計算成本仍與 EVM 相當，但由于 RiscZero 的延續特性，可以通過獨立路徑并行計算交換來實現更高的效率。本質上，交換的執行可以在鏈上按順序完成，但實際的交換步驟可以使用這種方法在鏈外并行計算。這使得批次中最重的部分能夠并行化，這在 EVM 中本身是不可能的。驗證成本也可以通過將多個交易分批在一起來攤銷。
用戶還可以選擇使用替代數據可用性層來發送交換請求。另一種方法是利用EIP712簽名進行鏈下傳播，這可以進一步降低交換成本。
動態參數
協處理器還可以用于動態控制 AMM 池的交換費用。動態費用的概念是在市場波動期間提高費率，并在市場平靜時降低費率。這對被動流動性提供者來說是一個好處，因為他們始終站在交易的不利一邊，并通過損失與再平衡（LVR）經歷價值泄漏。動態費用的實施旨在通過充分補償有限合伙人來解決這個問題。
一些 AMM 已經具備此功能。例如，Ambient利用外部預言機每 60 分鐘監控不同費用級別的 Uniswap v3 池并拍攝快照，以選擇性能最佳的池。
為了進一步了解調整費率，可以利用鏈上和鏈下的額外數據。這包括針對該特定 AMM 池或針對不同流動性池（例如 Ambient 解決方案）甚至不同網絡上的池的同一貨幣對進行的鏈上歷史交易。如果允許某些信任假設，還可以引入來自 Chainlink 或 Pyth 等信譽良好的預言機的鏈下數據（例如 CEX 交易數據）。
使用哪種類型的協處理器的決定受到費用調整頻率的影響。如果池需要非常頻繁的動態費用變化，加密經濟協處理器可能更合適。這是因為證明成本可能超過保險成本，保險成本可以通過費率差異乘以平均數量來估計。如果發生任何錯誤的計算，有限合伙人可以輕松地索賠 Eigenlayer 提供的保險，以補償他們的費用損失。
另一方面，有些礦池更喜歡不太頻繁的費率變化。然而，這些池處理的數量非常大，這可能會增加保險購買成本。在這種情況下，ZK協處理器更適合，因為它提供了最強的保障。
主動流動性管理器（ALM）
對于經驗不足的用戶來說，被動流動性提供可能是一個有吸引力的選擇，他們希望從閑置流動性中賺取費用，而不必過度擔心價格偏差。然而，一些流動性提供者（LP）更容易受到價格偏差和統計套利造成的損失。我們之前討論過如何動態調整費用來緩解這個問題。但為什么不更進一步，徹底改變流動性曲線的形狀呢？這是一種更復雜的流動性管理方法，稱為主動流動性管理器（ALM）。
遺憾的是，現有的ALM大多只提供再平衡等基礎策略，對費用收取的影響有限。另一方面，可以使用稍微更先進的技術，例如使用貨幣市場或衍生品進行對沖。然而，它們要么在鏈上頻繁執行時會產生高昂的成本，要么依賴集中式鏈下黑盒計算。
協處理器有潛力解決成本和信任問題，從而能夠采用先進的策略。通過與Modulus Labs等尖端零知識機器學習 (ZKML) 解決方案和Ritual等去中心化人工智能平臺集成，流動性管理者可以利用基于歷史交易數據、價格相關性、波動性、動量等的復雜策略，同時享受隱私和無需信任的優點。
高頻交易策略需要精確的時機和快速的執行。雖然 ZK 解決方案可能并不總能滿足必要的速度，但加密經濟協處理器在這一領域表現出色。這些協處理器允許快速執行人工智能算法，并在塊時間允許的情況下盡可能頻繁地更新參數。然而，使用這種方法會產生保險費用。由于管理者不當處理資金或進行反向交易等潛在風險，準確估計這些成本可能具有挑戰性。決策過程涉及平衡額外回報與保險費用，這最終取決于協處理器測量的時間范圍內發生的總量。根據單個 AVS 中可用的資本以及在任何給定時刻預測風險價值的能力，擴展此流程也可能很困難。
基于指標的獎勵分配
雖然每筆交易都記錄在區塊鏈上，但智能合約在確定這些交易所代表的指標方面面臨著挑戰，例如交易量、交互次數、每??單位時間的 TVL 等。人們可能會建議使用 Dune Analytics 等索引解決方案，該解決方案提供有價值的信息。然而，依賴鏈外索引引入了額外的信任層。這就是協處理器成為一種有前途的解決方案的地方。
一項特別有價值的鏈上指標是交易量。例如，與某些塊內的特定地址相關聯的特定 AMM 池內的累積量。這個指標對于 DEX 非常有利。一種用例是允許根據用戶的交易量為其設置不同的費用等級。這種方法類似于動態費用，但它不依賴一般數據，而是查看特定地址的數據。
Brevis提供了一個有趣的例子，其中交易量證明可以與定制的費用回扣 Uniswap 掛鉤相結合，以提供類似于 CEX 上的 VIP 交易者的基于交易量的費用回扣。
具體來說，Uniswap v4可以讀取用戶過去30天內的歷史交易，用定制的邏輯解析每個交易事件，并使用Brevis計算交易量。然后，交易量和 Brevis 生成的 ZK Proof 在 Uniswap v4 Hook 智能合約中進行可信驗證，該智能合約異步確定并記錄用戶的 VIP 費用等級。驗證通過后，符合條件的用戶未來的任何交易都會觸發 getFee 函數，簡單地查詢 VIP 記錄并相應減少交易費用。
獲得“VIP”認證的成本也很便宜（根據其性能基準結果，大約 2.5 美元）。使用NEBRA等解決方案聚合多個用戶可以進一步降低成本。唯一的代價是延遲，因為訪問和計算 2600 個鏈上 Uniswap 交易大約需要 400 秒。然而，對于時間不敏感的功能來說，這不太重要。
為了解決延遲問題，dapp 可以利用 Brevis 的 coChain。通過 PoS 共識機制快速計算和交付結果，以最大程度地減少延遲。如果出現惡意活動，可以在挑戰窗口期間使用 ZKP 來懲罰流氓驗證者。
例如，在前面提到的 VIP 費用場景中，如果超過 2/3 的 coChain 驗證者在鏈接到動態費用掛鉤的“VIP 等級查找表”中欺騙性地為某些用戶分配更高的 VIP 等級，則某些用戶最初可能會獲得更大的費用折扣。然而，當在削減窗口期間出示 ZK 證明，證明 VIP 等級不正確時，惡意驗證者將面臨處罰。然后，可以通過啟用質詢回調來更新 VIP 等級查找表來糾正錯誤的 VIP 等級。對于更謹慎的場景，開發人員可以選擇實施擴展的應用程序級挑戰窗口，提供額外的安全性和適應性層。
流動性挖礦
流動性挖礦是一種旨在引導流動性的獎勵分配形式。DEX 可以通過協處理器更深入地了解其流動性提供者的行為，并適當分配流動性挖礦獎勵或激勵。重要的是要認識到并非所有 LP 都是一樣的。有些人充當雇傭兵，而另一些人則仍然是忠實的長期信徒。
最佳的流動性激勵應該回顧性地評估有限合伙人的奉獻精神，特別是在市場大幅波動期間。那些在此期間持續為礦池提供支持的人應該獲得最高的獎勵。
求解器/填充器聲譽系統
在關注用戶意圖的未來，求解器/填充器通過簡化復雜的交易并實現更快、更便宜或更好的結果來發揮至關重要的作用。然而，對于求解器的選擇過程一直存在批評。目前的解決方案包括：
- 利用荷蘭式拍賣或費用自動扶梯的無需許可的系統。然而，這種方法在確保競爭性和無需許可的拍賣環境方面面臨挑戰，可能導致延遲問題甚至用戶無法執行。
- 無需許可的系統需要抵押代幣才能參與，這會造成進入的財務障礙，并且可能缺乏明確的削減/懲罰條件，或透明且無需信任的執行。
- 或者，可以根據聲譽和關系建立解決者白名單。
前進的道路應該是無需許可和無需信任的。然而，為了實現這一目標，有必要建立區分優秀求解器和一般求解器的準則。通過利用 ZK 協處理器，可以生成可驗證的證明，以確定某些求解器是否滿足或不滿足這些準則。根據這些信息，求解器可能會受到優先順序流、削減、暫停甚至列入黑名單的影響。理想情況下，更好的求解器將收到更多的訂單流，而較差的求解器將收到更少的訂單流。定期審查和更新這些評級非常重要，以防止鞏固和促進競爭，為新來者提供平等的參與機會。
抗操縱價格預言機
Uniswap 已經在其 v2 和 v3 版本中引入了嵌入式預言機。隨著 v4 的發布，Uniswap 通過引入更高級的預言機選項，為開發人員擴展了可能性。然而，鏈上價格預言機仍然存在局限性和約束。
首先，有成本的考慮。如果協處理器計算的價格預言機可以提供成本改進，那么它可以作為更實惠的替代方案。價格預言機的設計越復雜，節省成本的潛力就越大。
其次，鏈上價格預言機池仍然容易受到操縱。為了解決這個問題，通常的做法是匯總不同來源的價格并進行計算，以創建更具抗操縱性的價格預言機。協處理器能夠從各種池中檢索歷史交易，甚至跨不同協議，從而能夠生成具有競爭性成本的抗操縱價格預言機，以便與其他 DeFi 協議集成。
DIA Data正在與Mina 生態系統的O(1) Labs合作開發基于 ZK 的預言機。這種方法是類似的——獲取市場數據并在鏈外執行更復雜的計算，不受天然氣成本和其他執行限制的影響，但能夠在結果在鏈上提供時驗證計算的完整性。這使得用其他市場數據（例如深度）補充簡單的價格信息變得可行，以幫助評估清算影響，以及元數據以使協議能夠定制其信息。
保證金制度
為了克服區塊鏈技術的計算限制，許多衍生品平臺經常將某些組件（例如風險管理系統）移至鏈外。
@0x_emperor和@0xkrane提出了一個有趣的協處理器用例，其中裕度邏輯是透明且可驗證的。許多交易所都設有風險管理系統來防止杠桿過高。其中一個例子是自動減倉系統（ADL），該系統戰略性地將損失分配給盈利的交易者，以抵消清算交易者所遭受的損失。本質上，它在盈利的交易者之間重新分配損失，以彌補因這些清算而產生的未償債務。
用戶可能對強行平倉有疑問。為了解決這個問題，交易所可以利用協處理器使用鏈上數據執行保證金引擎邏輯，并生成證明來驗證計算是否正確。由于 ADL 很少發生，因此對延遲和證明成本的擔憂很小。然而，使用無需信任且可驗證的 Zk 協處理器可以增強透明度和完整性，這對交易所及其用戶都是有利的。
貨幣市場
通過利用歷史鏈上數據的見解，協處理器有可能增強有限合伙人和借貸協議的風險管理。此外，協議可以基于數據驅動的分析提供改進的用戶體驗。
幾個月前，當 Curve 遭遇漏洞攻擊時，人們的注意力轉向了貨幣市場，數以百萬計的 CRV 代幣面臨清算風險。當貸款價值 (LTV) 比率變得不健康時，Frax 貸方在協議大幅加息中找到了一些安慰。這激勵 Curve 創始人更快地償還債務。然而，AAVE 利益相關者表達了擔憂，并發起了關于減少抵押品容量和可能停止市場的討論。他們的擔憂源于流動性不足以成功清算的可能性，這可能導致壞賬和易受市場條件影響。
幸運的是，危機已經解決。定期審查貨幣市場上列出的資產非常重要，特別要關注其在市場上的流動性，尤其是在清算事件期間。非流動資產應被分配較低的貸款價值（LTV）比率和抵押品能力。
然而，正如我們在 CRV 情況中觀察到的那樣，貨幣市場風險參數變化的決策過程通常是反應性的。我們需要更加迅速和主動的措施，包括去信任的解決方案。關于使用反饋控制根據鏈上指標（例如流動性利用率）動態調整參數，而不是依賴預先確定的曲線，已經存在討論。一個有趣的概念涉及一個貸款池，用于驗證特定市場的鏈上流動性證明。控制器接收 ZK 協處理器根據鏈上指標計算得出的證據，表明資產何時不再具有足夠的流動性超過特定閾值。根據這些信息，控制者可以采取各種措施，例如調整利率、設定貸款價值上限、暫停市場，甚至完全停止市場。
更先進的策略可能包括根據前一周的鏈上流動性定期調整抵押品借貸能力或利率曲線。確切的門檻將通過 DAO 內部的討論來確定。它可以通過考慮歷史鏈上交易量、代幣儲備、一次性互換的最小滑點等因素來確定。
對于貸款人和借款人來說，貨幣市場可以提供增強的服務和體驗，類似于 DEX 中 VIP 交易者的費用回扣計劃。現有的信用評分解決方案旨在創建鏈上用戶的全面檔案。目標是激勵良好的行為，例如通過避免清算事件、維持健康的平均貸款價值比率、穩定的大額存款等來證明有效的風險管理。這些積極行為可以得到無需信任的獎勵，包括與普通用戶相比更好、更平滑的利率、更高的最大LTV和清算比率、清算緩沖時間、更低的清算費用等等。
質押和重新質押
信任最小化的預言機
自合并和上海/沙佩拉升級以來，流動性質押市場已成為 DeFi 最大的市場。值得注意的是，Lido 的 TVL 已超過 290 億美元，而 Rocketpool 的 TVL 超過 36 億美元。
鑒于涉及大量資金，值得注意的是，用于報告信息的預言機（例如信標鏈上相關驗證器的準確余額）仍然值得信賴。這些預言機在向執行層的涉眾分配獎勵方面發揮著至關重要的作用。
目前，Lido 采用 9 中 5 的法定人數機制，并維護一份受信任的成員列表，以防范惡意行為者。同樣，Rocketpool 使用僅限邀請的 Oracle DAO 進行運營，該 DAO 由節點運營商組成，這些節點運營商受信任更新執行層智能合約中的獎勵信息。
然而，必須認識到，如果大多數受信任的第三方受到損害，可能會嚴重損害流動質押代幣（LST）持有者以及建立在 LST 之上的整個 DeFi 生態系統。為了降低錯誤/惡意預言機報告的風險，Lido在協議的執行層代碼中實施了一系列健全性檢查。
隨著 EIP-4788“EVM 中的信標塊根”的引入，協處理器可以更輕松地訪問和計算共識層上的數據。=無；Foundation、Succint和 DendrETH 都在為 Lido 開發自己的 ZK-proof TVL 預言機。為了確保最大程度的安全性，Lido 可以利用多重防護架構。
以 =nil; 的設計為例，在較高的層面上，預言機從共識層和執行層獲取基本信息，例如 Beacon 區塊頭、Beacon 狀態、Lido 合約地址等，然后計算出一份報告所有 Lido 驗證器的總鎖定值和驗證器計數。這些數據以及其他必要的信息被傳遞給證明生成者并在專用電路上運行以生成 ZK 證明。預言機檢索證據并將證據及其報告提交給智能合約進行驗證。請注意，這些預言機設計仍處于測試階段，可能會發生變化。
然而，值得注意的是，由于通過 4788 發送的內容有限，總會有一些數據可能無法在 EL 端得到證明，并且該數據子集可能仍然需要預言機。
此外，信任最小化的 ZK 證明預言機仍處于起步階段。Lido 貢獻者提出的方法是使用 ZK 預言機提供的信息作為對可信預言機所做工作的“健全性檢查”，直到這些 ZK 實現可以進行戰斗測試。現階段將預言機系統中的信任全部轉移到 ZK 系統風險太大。
此外，這種大小的數據的證明計算量非常大（例如，甚至可能需要 30-45 分鐘）并且非常昂貴，因此，在目前技術成熟的情況下，對于諸如每日甚至日內之類的事情，它們并不是合適的替代品報告。
驗證者風險和績效分析
驗證者在質押生態系統中發揮著至關重要的作用。他們在信標鏈上鎖定 32 ETH 并提供驗證服務。如果他們表現得當，他們就會得到獎勵。然而，如果他們行為不端，他們將面臨砍伐。驗證器由具有不同風險狀況的節點運營商運行。它們可以是策劃的（例如 Lido 的策劃驗證器集）、綁定的（例如 Rocket pool、Lido 的CSM）或單獨的質押者。他們可能會選擇在云數據中心或家里運行他們的服務，在加密貨幣監管友好或不友好??的地區。此外，驗證者可以利用 DVT 技術來拆分內部節點或加入集群以增強容錯能力。隨著 Eigenlayer 和各種 AVS（主動驗證服務）的出現，驗證器可能會提供除以太坊驗證之外的其他服務。毫無疑問，驗證者的風險狀況將很復雜，因此準確評估其風險狀況至關重要。憑借良好的驗證者風險和性能分析，它打開了無限可能性的大門，包括：
首先，風險評估在建立無需許可的驗證器集方面發揮著至關重要的作用。在 Lido 的背景下，質押路由器的引入和未來的 EIP-7002“執行層可觸發退出”可以為驗證者的無許可加入和退出鋪平道路。加入或退出的標準可以根據驗證者過去驗證活動得出的風險狀況和性能分析來確定。
其次，DVT中的節點選擇。對于單獨的質押者來說，選擇其他節點來創建 DVT 集群可能是有益的。這有助于實現容錯并提高產量。節點的選擇可以基于各種分析。此外，集群的形成可以是無需許可的，允許具有強大歷史性能的節點加入，同時可以刪除性能不佳的節點。
第三，重新賭注。Liquid 重新抵押協議使重新抵押者能夠參與 Eigenlayer 重新抵押市場。這些協議不僅產生稱為流動性重新抵押代幣（LRT）的流動性收據，而且旨在為重新抵押者確保最佳的風險調整回報。例如，Renzo 的策略之一是構建具有最高夏普比率的 AVS 投資組合，同時遵守指定的最大損失目標，通過 DAO 調整風險承受能力和權重。隨著越來越多的 AVS 項目啟動，優化對特定 AVS 的支持以及選擇最合適的 AVS 運營商變得越來越重要。
到目前為止，我們強調了驗證者風險和性能分析的重要性，以及它所支持的廣泛用例。然而，問題仍然存在：我們如何準確評估驗證者的風險狀況？Ion Protocol正在開發一種潛在的解決方案。
Ion Protocol 是一個利用可證明的驗證器支持的數據的借貸平臺。它使用戶能夠以其質押和重新質押頭寸借入 ETH。貸款參數，包括利率、LTV 和頭寸健康狀況，由共識層數據確定，并由 ZK 數據系統保護。
Ion 正在與 Succinct 團隊合作開發Precision，這是一個無需信任的框架，用于驗證以太坊共識層上驗證器的經濟狀態。其目的是創建一個可驗證的系統，準確評估抵押資產的價值，減輕任何潛在的操縱或削減風險。一旦建立，該系統可以促進貸款發放和清算流程。
Ion 還與 Modulus Labs 合作，利用 ZKML 對借貸市場進行去信任分析和參數化，包括利率、LTV 和其他市場細節，以最大限度地減少異常削減事件時的風險暴露。
結論
DeFi 確實非常了不起，因為它徹底改變了金融活動的進行方式，消除了對中介機構的需求并降低了交易對手風險。然而，目前 DeFi 在提供良好的用戶體驗方面還存在不足。令人興奮的消息是，隨著協處理器的引入，這種情況即將發生變化，協處理器將使 DeFi 協議能夠提供數據驅動的功能，增強用戶體驗并完善風險管理。此外，隨著去中心化人工智能基礎設施的進步，我們正在邁向智能 DeFi 的未來。
參考
A Brief Intro to Coprocessors
Off-Chain Compute Is All You Need
Uniswap V4 Hook + Brevis ZK Coprocessor = Data-driven DEX Experiences
Introducing Brevis coChain: The Fusion of Crypto-Economics and ZK Proof in a ZK Coprocessor
RISC Zero documentation
Trustless, ZK-proof based Total Value Locked oracle
[ZKLLVM] Trustless ZK-proof TVL oracle
Dynamic Fees
