樂觀去信任：EigenLayer AVS將憑藉“廉價的安全性”率先引爆Web3隱私計算賽道

原文作者：@Web3 Mario

引言：EigenLayer AVS 上線已經有一段時間了，除了其官方引導已久的 EigenDA 以及 Layer 2 等相關用例之外，筆者發現了一個非常有趣的現象，就是 EigenLayer AVS 似乎對隱私計算賽道里的項目極具吸引力，在已經上線的 9 個 AVS 中，竟有三個均屬於此賽道，包括兩個 ZK 協處理器項目 Brevis 和 Lagrange，以及一個可信執行環境項目 Automata。因此決定詳細調研一下，以探究 EigenLayer AVS 對相關產品的意義以及未來的發展趨勢。

“廉價安全性”的吸引力是 EigenLayer AVS 生態成敗的關鍵

隨着 TVL 已經正式超過了 150 億美金，EigenLayer 有了一個非常夢幻的開端，當然我認爲其中大部分資金的目的還是爲了獲得潛在的空投收益，但這無疑爲 EigenLayer 邁入下一個階段打好了堅實的基礎，而下一個階段的關鍵就在於 AVS 生態的成敗，因爲 AVS 的手續費收入規模決定了 EigenLayer 從補貼期向成熟期過渡的時機。

已經有非常多的文章介紹 EigenLayer 的相關的技術細節，在此不再贅述。簡單來講，EigenLayer 通過複用以太坊 Pos 的共識能力，也就是所謂的 Restaking，打造了一個廉價的共識層協議。首先我希望探討一下 EigenLayer 的核心價值，在我看來 EigenLayer 的核心價值主要有三個：

* 將共識層與執行層解耦，使其可以更好的應對大規模的，或執行成本較高的數據處理與共識：通常情況下主流的區塊鏈協議被人們認爲是一種執行成本較高但較低執行效率的解決方案。其執行成本高的原因在於“對區塊空間的競爭”，這是一個時髦的詞，我們知道基於區塊鏈的執行環境通常採用市場機調整其節點計算資源的分配，即出價更高者優先獲得執行，待執行者們屬於競爭關係，在需求走高時，公允價格將不斷攀升，這時執行成本必然走高。而執行效率較低則源自於區塊鏈技術的設計初衷是爲了成爲一個電子貨幣的結算系統，對交易數據的處理是時序敏感的。因此不得不採用了串行的方式設計執行層，這讓其在應對大部分的時序不敏感的場景時顯得效率較低，例如社交網絡、AI 訓練等場景。

而將共識層與執行層解耦，一方面可以允許應用開發者通過設計專用的執行環境，通常也被稱爲應用鏈或者說 Layer 3 等，使其使用者擺脫與其他應用的使用者的競爭關係，降低使用成本，另一方面可以讓開發者根據應用場景的不同開發出更適應的執行層，提升執行效率。

* 共識即服務，通過將共識產品化或資源化，充分發掘市場的潛在需求：我想經歷了 Layer 1 的百家爭鳴時代洗禮過的人都會有一個統一的感嘆，大浪淘沙，共識層的建立通常是昂貴且困難的，各家爲了維護自己的共識安全性保證，可能是算力或者是質押的資金，在未產生足夠的盈利能力之前均處於補貼階段，且成本不可謂不高，通常情況下補貼的標的物即爲挖礦所得 Token 收益。只有少數成功的協議可以成功過度到依靠自身的營收能力，即手續費收益，就可維護足夠充足的共識能力。例如 Ethereum 經濟模型的轉變。這種高昂的啓動成本讓很多創新應用望而卻步，因爲建立一個適合自己應用的執行環境，或者說自建一條應用鏈的成本過高，面臨着極大的風險。這就讓Web3行業的馬太效應非常明顯，當前的Web3技術方案的演進已經基本被 Ethereum 的技術路線裹挾。

而通過將共識服務化或產品化，創新應用有了另一個選擇，即根據需求採買共識服務。舉個簡單的例子，對於一個創新應用來說，假設前期整個應用託管的資金量爲 100 萬美元，那麼這就意味着只要採買超過 100 萬美元的 PoS 共識，即可保證其執行環境的安全性，因爲作惡的經濟成本爲負。隨着應用的發展，可以靈活的定量採買共識服務。這就降低了創新應用的啓動成本，降低其風險，充分發掘市場潛力。

* 廉價的共識來源：最後一點在於 EigenLayer 的共識來源採用了複用 Ethereum 的 PoS 資金，這也就意味着對於本來只能捕獲一層收益的 PoS 質押着來說，參與 EigenLayer 就可以多一層收益，這就讓 EigenLayer 巧妙的將自己與行業龍頭 Ethereum 之間從競爭關係轉變爲共生關係，降低了自己吸引共識資金的成本。這也就讓其在定價上，例如 AVS 協議的共識採買費用，比其他協議更具優勢，使其更對創新應用更具吸引力，不得不說實在是高明的手段

以上三點讓 EigenLayer 相比其他Web3執行環境，爲Web3應用提供了“更廉價的安全性”來源，使其具有了更低的執行成本，更好的可擴展性，以及更靈活的商業模式，。因此我認爲 EigenLayer AVS 生態活躍的關鍵在於Web3應用是否能夠被這廉價的安全性打動，大批量的遷移到該生態中。

使用成本是制約Web3隱私計算賽道發展的根本原因

在討論完 EigenLayer 的核心價值後，我們來看一下Web3隱私計算賽道的困境。筆者並不是相關領域的專家，因此着重研究了當前已上線的 AVS 中與隱私計算相關的項目所在的賽道的現狀。即所謂 ZK 協處理器，我相信在大多數利用了零知識證明算法的密碼學產品中，均面臨同樣的困境，那就是使用成本高昂阻礙了使用場景的推廣。

ZK 協處理器的概念從哪裏來似乎已經顯得不太重要了，顧名思義，這個賽道的相關產品的初衷是希望利用零知識證明算法爲當前主流的區塊鏈系統提供協處理器的服務，使其可以將複雜且昂貴的計算操作卸載在鏈下執行，並且通過零知識證明保證了執行成果的正確性。這個模塊化思想最經典的例子就是 CPU 與 GPU 的關係。通過將 CPU 架構不擅長的圖像處理 AI 訓練等並行計算的操作交由另一個獨立模塊 GPU 來處理，提升執行效率。

一個經典的 ZK 協處理器項目的技術架構基本如下，這是 Axiom 的簡化技術架構，Axiom 是該賽道的龍頭之一。簡單來講，當用戶對某個複雜計算有訴求時，你可以利用 Axiom 的鏈下服務計算結果並生成相關的 ZK Proof 證明，然後 Axiom 會將結果與證明作爲參數調用 Axiom 的鏈上驗證合約，該合約憑藉着執行結果，執行證明，和由 Axiom 官方向鏈上提供的全鏈的區塊關鍵信息，例如 transaction merkle root 等（維護全鏈關鍵信息的過程也是去信任的）這三部分數據，通過鏈上的驗證算法驗證結果的正確性。當通過驗證後將通過回調函數將結果通知目標合約以觸發後續的操作。

一般認爲證明生成的過程是計算密集型的操作，而證明的驗證則相對較輕，通過 Axiom 的文檔我們可知一次鏈上 ZK Proof 驗證操作大致需要設置的驗證用 Gas 費用在 420000 ，這就意味着假設 Gas Price 爲 10 Gwei 時，用戶需要爲此付出 0.0042 ETH 的驗證成本。假設 ETH 市價爲$ 3000 ，則成本爲 12 美金左右。這樣的成本對於普通 C 端用戶來說還是太高，這極大的限制了該產品潛在的使用場景的搭建。

參考一個 ZK 協處理器項目經常宣傳的使用場景，Uniswap VIP 計劃，即 Uniswap 可以通過 ZK 協處理器爲自己的交易者設置一個類似與 CEX 的忠誠度計劃，交易者在過去一段時間的累計交易量達到某個量級後，協議對該交易者的手續費進行反傭或減免。考慮到累計交易量的計算屬於複雜操作，Uniswap 可以採用 ZK 協處理器方案將計算卸載到鏈下，降低計算成本的同時避免了鏈上協議的大規模修改，

可以簡單算一筆帳，假設 Uniswap 設置了只要能證明自己在過去 1 個月中累計交易額超過$ 1000000 時可以享受手續費全免的 VIP 活動，某交易者選擇的是 Uniswap 0.01% 手續費池子進行交易，該用戶的單筆成交量爲$ 100000 時，手續費爲$ 10 ，然而驗證的成本卻在$ 12），這就打擊了該用戶參與這個服務動力，提高了活動參與的門檻，到頭來也只能更有利於巨鯨。

類似的案例在相關純 ZK 架構的產品中應該不難找到，用例與技術架構都很棒，但我認爲使用成本是阻礙相關產品拓展使用場景的核心制約。

從 Brevis 的轉型看 EigenLayer“廉價安全性”對相關產品的虹吸效果

那麼讓我們看一下首批上線 AVS 之一的 Brevis 是如何受 EigenLayer 影響的，我希望藉此說明 EigenLayer 憑藉着“廉價的安全性”對相關的密碼學產品有明顯的吸引力，

Brevis 自身的定位是 ZK 協處理器，在 2023 年初上線之初的定位還是全鏈數據計算和驗證平臺，當然這於 ZK 協處理器本質沒有什麼區別，只不過後者顯得更酷一些。在過去很長一段時間裏 Brevis 都是採用了上述的所謂“Pure-ZK”方案運營的。這就讓其在使用場景的推廣上顯得力不從心，而在 4 月 11 日的博文中宣佈與 EigenLayer 的合作，以及一個全新的“加密經濟學+ZK 證明”解決方案 Brevis coChain。在這個方案中，驗證層從 Ethereum 主網下沉到了一個由 AVS 維護的被稱爲 coChain 中。

當用戶產生計算需求時通過客戶端電路計算結果並生成相關的 ZK Proof 證明，並通過鏈上智能合約向 Brevis coChain 發送計算請求，在監聽到該請求後，AVS 驗證計算的正確性，並在通過後將相關數據打包進行某種壓縮處理發送到 Ethereum 主網，並斷言該結果的正確性。接下來的一段時間，和其他“樂觀驗證”方案一樣，將進入到挑戰期，屆時挑戰者可以通過提交對應的 ZK 欺詐證明來對某結果提出異議並爭取罰沒作惡者。當過了罰沒期後，AVS 將通過鏈上合約利用目標合約的 callback 完成後續操作。考慮到大部分隱私計算的課題時考慮如何通過數學來去信任，因此我希望稱這種方案爲“樂觀去信任”。

與之類似 Lagrange 和 Automata 一定也經歷了一樣的心路歷程，最後轉而推出利用 AVS 的樂觀去信任的解決方案。這種方案的好處在於大大降低了驗證成本。因爲在取得正確結果的過程中不再需要成本較高的鏈上驗證計算，轉而樂觀的信任 EigenLayer 的共識層的處理結果與 ZK 欺詐證明帶來的安全性。當然從對數學的信任轉向對人性的信任，在Web3領域一定會受到一些挑戰。但是我認爲與其帶來的實用性相比，這是一個可接受的結果。而且這個方案將有效打破驗證成本對使用場景推廣帶來的制約，我相信要不了多久就會有很多更有趣的產品推出。

這種方案也爲其他的隱私計算賽道產品形成示範效應，考慮到該賽道目前還處在藍海階段，相比於競爭激烈的 rollup 相關賽道，應該更有利於新範式的推廣，相信 AVS 生態將率先迎來隱私計算賽道的爆發，由於筆者非相關密碼學方向，行文過程中難免出現紕漏，也希望專家指正。