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