原文作者： @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生態將率先迎來隱私運算賽道的爆發，由於筆者非相關密碼學方向，行文過程中難免出現紕漏，也希望專家指正。
