學習如何在EigenLayer上搭建AVS,通過四個問題帶您探索構建AVS的方法。
最近,使用EigenLayer構建基礎設施的項目在開發者社區中變得流行。這些項目被稱為主動驗證服務(AVS),需要全局驗證語義。AVS包括DA層、新的VM、預言機等。為構建AVS,需要回答四個問題:任務定義、信任繼承、操作員工作重量級或輕量級、處罰條件。AVS還需設定可觀察性、監控和記錄響應。AVS需要信任和激勵,同時可以調整安全布局。 EigenLayer支持雙重質押,維護代幣實用性。外部工具如Cubist和Anzen可幫助AVS建立信任網路和抵禦經濟攻擊。EigenLayer正在開發EigenSDK幫助AVS編寫節點軟體代碼。
資料來源:EigenLayer、IOSG
最近,使用 EigenLayer 來構建基礎設施的項目在開發者社區中已經變得非常流行。這些項目被稱為主動驗證服務(AVS),指的是任何需要自己的全局驗證語義來進行驗證的系統。系統可以包括DA層、新的VM、預示機、橋等等。
但是我們到底如何構建AVS?
為了設置 AVS 的基本規則,您需要回答四個主要問題。
Q1:AVS 中的任務定義是什麼?
在 EigenLayer 中,任務是操作員承諾為 AVS 提供服務的最小工作單位。這些任務可能與 AVS 的一個或多個罰條件沒有相關聯。
以下是兩個示例任務:
- 在 EigenDA 的中託管並提供「DataStore」
- 為跨鏈橋發布另一個區塊鏈的狀態根
EigenLayer 在以下工作流程中提供了一個更詳細的示例。這個 AVS 的任務是計算特定數字的平方。
任務生成器以固定的時間間隔發布任務。每個任務指定了需要計算四分之一的數字。它還包括步兵和步兵的四分之一值,規定每個批量的步兵至少需要一定比例的操作員簽名才能通過此任務。
當前AVS的操作員需要從任務約定中讀取任務編號,計算其平方,對計算結果進行簽名,將計算結果加入並將簽名發送給聚合器。
聚合器收集來自操作員的簽名並進行聚合。如果有來自操作員的響應,則通過任務生成器在發布任務時設置的閾值百分比,聚合器將這些響應聚合起來並發布到任務合約中。
在爭議解決期間,任何人都可以提出爭議。DisputeResolution 約定會處理操作員特定的錯誤響應。(或者該操作員在這段時間內窗口內沒有做出響應)
如果爭議被最終驗證並處理,操作員將被凍結在註冊合約中,由 EigenLayer 的否決委員決定是否否決凍結請求。
Q2:您的AVS希望繼承什麼樣的信任?
資料來源:EigenLayer、IOSG Ventures
EigenLayer 提供了極大的信任。
經濟信任
經濟信任依賴於人們對質押資產的信心。如果腐敗帶來的利潤低於成本,經濟上理性的行為者就不會發起攻擊。例如,如果對跨鏈橋發起攻擊的成本為10億美元,但利潤預算5億美元,則從經濟上看,進行攻擊顯然是不理性的。
廣泛採用加密貨幣經濟學原語,罰款並不能大幅提高犯罪成本,從而強化經濟安全。
去中心化信任
去中心化信任的本質是擁有一個龐大且廣泛分布的驗證者集合,無論是在虛擬上還是在地理上。為了防止在AVS中各個節點之間發生串通和Liveness攻擊,最好不要讓單一服務提供商運行所有節點。
在允許EigenLayer上,不同的AVS可以定製它們的去中心化程度。例如,它們可以為運算元設置斷層要求,只或者個人運算元提供節點服務,並相應地提供更多的刺激來吸引此類運算元。
以下是一個示例:
Shutter 提出了一種通過利用閾值加密貨幣來防止 MEV 的解決方案。該過程涉及一組節點,稱為 Keypers,他們通過密鑰生成(DKG)參與計算一組共享的端點和私鑰。節點由Shutter DAO 的治理選舉產生。
顯然,DKG 依賴於大部分的負擔。
通過藉助 EigenLayer 提供的節點運營服務,Shutter 可以獲得更廣泛的 Kepers 分配。這種方法不僅降低了 Keypers 之間串通的風險,還增強了網路的安全性和彈性。
,拉格朗日的拉格朗日州委員會(LSC)由再質押者組成。對於每個相同的狀態證明,至少有 2/3 的委員會成員必須簽署一個特定的區塊頭,之後才通過 SNARK 生成一個狀態證明。
以太坊「包含」(Inclusion)信任
以太坊驗證者除了通過質押向以太坊做出承諾外,如果進一步在EigenLayer上再質押,他們還可以向AVS做出可信承諾。這使得提議者可以在以太坊上提供一些服務(例如,通過MEV- Boost++進行部分區塊拍賣),從而在以太坊的協議層面進行更改。
例如,遠期區塊空間拍賣允許買方提前確保獲得未來的區塊空間。參與再質押的驗證者可以對區塊空間作出可信的承諾,如果此後他們未包含買方的交易,則被罰款沒。
假設你正在構建一個前置機,你可能需要在一定的時間段內提供價格。或者假設你正在運行一個 L2,你可能每隔幾分鐘就需要以太坊向坊發布 L2 數據。這些都是遠期區塊空間拍賣的例子。
Q3:操作者要做的工作是輕量級的還是重量級的?
如果你想要繼承以太坊驗證者的去中心化,AVS的任務應要求設計得輕量級。
如果任務消耗大量計算資源,單獨操作員可能無法處理它們。
Q4:削減條件是什麼?
通過再質押到一個特定的服務,再質押者就接受了可能存在的處罰沒風險,並且該處罰沒條件將由 AVS 來指定。
AVS,應設計可在鏈上驗證、可證明、偵查可高精度的罰沒條件。例如,在以太坊中作為雙重簽名一個區塊,以及一個輕節點跨鏈橋 AVS 中的節點承載來自另一個鏈的無效塊。
設計不當的處罰沒條件可能導致封閉,進而引發系統性風險。
AVS還應確保可觀察性,跨服務監控、追蹤和記錄請求和響應。
如何量化?
的 AVS 需要多少信任(再質押的資本、不同的驗證者數量,以及需要實現以太坊驗證者承諾的以太坊驗證者數量),以及你將如何激勵它?
例如,如果一個跨鏈橋每周的交易量為 1 億美元,並租用價值 1 億美元的安全性,用戶可以相信他們是安全的。即使驗證者試圖破壞系統,用戶也受到保護,因為他們可以通過罰款重新分配對用戶進行補償。
考慮到跨鏈橋的 TVL、再質押的 ETH 數量、選擇加入的運算元數量和眾多參數將不斷變化,並可能出現大幅波動,AVS 需要某種方法來調整其安全布局和緩衝空間等。
AVS可以用其總代幣供應的一部分支付經濟安全。
但是,使用 EigenLayer 是否會損害我的代幣實用性?
絕對不是
EigenLayer 支持雙重質押(Dual Stake)。這使您可以同時使用 ETH 和您的原始代幣來保護網路,並根據需要調整艾米代幣的比例。在網路的早期階段,ETH 可能會擴大比例。著網路成熟,您可能希望原生代幣發揮更重要的作用。在這種情況下,AVS 可以通過協議治理增加原生代幣的重要比例。
另外,當 AVS 的安全需求在短期內迅速增長時,例如,當由 AVS 預測機服務的 DeFi 協議的 TVL 急劇增加時,AVS 仍然可以使用 EigenLayer 來保證其經濟安全。
從這個角度來看,EigenLayer是一個快捷的信任市場,提供「彈性」安全。
我可以使用哪些外部工具?
以下是一些值得注意的項目。
在 EigenLayer 的三方市場中,運營商依賴於 AVS 開發者正確編碼 AVS 軟體並設置合理的罰沒條件。然而,考慮到 AVS 的多樣性,每個 AVS 與運營商之間的交互邏輯可能會有所不同,這創造了一個全新的領域。為了防止意外的罰沒事件,AVS 可以在發布前對代碼庫進行審核。此外,EigenLayer 設立否決委員會,能夠通過按鈕簽名否決不正確的罰沒。
同時,Cubist正在與EigenLabs合作開發一個開放的反罰沒框架,利用安全硬體並在密鑰管理器內部使用自定義策略來簽署交易和驗證消息。例如,同時簽署兩個不同高度的區塊頭永遠不會被密鑰管理器內部策略的引擎所批准。
風險偏好最高的再質押者/幹員可能希望參與早期的AVS連接更高的回報。在這種情況下,Cubist的反slasher可能會有用。
很多人知道 EigenLayer 可以幫助 AVS 建立信任網路,但 AVS 需要為經濟安全支付多少費用,以及如何抵禦經濟攻擊呢?
Anzen Protocol 開發了安全因子(SF),這是緩慢 AVS 經濟安全性的通用標準。SF 基於腐敗成本和腐敗利潤的概念。
Anzen 幫助 AVS 維護最低經濟安全水平,而消耗過度支付經濟安全。
EigenLabs正在開發EigenSDK,以幫助AVS編寫其節點軟體代碼。該SDK包括簽名聚合、與EigenLayer合約的交互邏輯、網路、密碼學和事件監視客戶端模塊。
同時,Othentic正在構建一個開發工具,以幫助AVS更快地發布產品。
參考:
https://medium.com/@lagrangelabs/state-committees-on-eigenlayer-via-lagrange-7752f1916db4
https://www.blog.eigenlayer.xyz/ycie/
https://www.blog.eigenlayer.xyz/eigenlayer-universe-15-unicorn-ideas/
https://github.com/Layr-Labs
https://docs.eigenlayer.xyz/eigenlayer/overview/