最近,使用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/
資訊來源:0x資訊編譯自網際網路。版權歸作者IOSG所有,未經許可,不得轉載