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

WEEX 唯客博客， 作者：@Web3Mario 引言：EigenLayer AVS上線已經有一段時間了，除了其官方引導已久的EigenDA以及Layer2等相關用例之外，筆者發現了一個非常有趣的現象，就是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訓練等場景。 而將共識層與執行層解耦，一方面可以允許應用開發者通過設計專用的執行環境，通常也被稱為應用鏈或者說Layer3等，使其使用者擺脫與其他應用的使用者的競爭關係，降低使用成本，另一方面可以讓開發者根據應用場景的不同開發出更適應的執行層，提升執行效率。   * 共識即服務，通過將共識產品化或資源化，充分發掘市場的潛在需求：我想經歷了Layer1的百家爭鳴時代洗禮過的人都會有一個統一的感嘆，大浪淘沙，共識層的建立通常是昂貴且困難的，各家為了維護自己的共識安全性保證，可能是算力或者是質押的資金，在未產生足夠的盈利能力之前均處於補貼階段，且成本不可謂不高，通常情況下補貼的標的物即為挖礦所得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的核心團隊來自於一個古老的明星項目Celer Network，均為一眾華人技術大咖。在經歷一番掙扎後於2023年初推出了Brevis，那是其定位還是ZK 全鏈數據計算和驗證平台，當然這於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生態將率先迎來隱私計算賽道的爆發，由於筆者非相關密碼學方向，行文過程中難免出現紕漏，也希望專家指正。 WEEX唯客交易所官網：weex.com