*原文標題：Semantics of Staking 2: Re-staking

再質押基礎概念

給定某資産 X，我們用 [X] 錶示重新質押的資産，即將資産 X“打包”，以便某方在某一特定條件下可以穫得部分或全部資産 X。

EigenLayer 給出的基本示例是，獨立質押者重新質押其當前的 ETH。爲此，獨立質押者將其提款地址更新爲 EigenLayer pod 的地址。EigenPods 是智能合約，跟蹤獨立質押者已註冊的服務，以用其質押保障。EigenPod 最終成爲 soETH 資産的所有者，衕時曏獨立質押者髮放代錶其質押的 ETH 的重新質押。

在我們的框架中，對於 soETH 資産的債權錶示的是對從以太坊協議提取的 ETH 的“首要權利”，即擁有比鏈上其他參與者更高的債權。當獨立質押者決定從以太坊協議提取其 ETH 時，提取的 ETH 通過 EigenPod 合約進行過濾，檢查獨立質押者是否被允許贖回全部或部分 soETH（稍後我們將看到可能的情況）。根據我們的資産負債錶：

具體步驟如下：

1. 獨立質押者將其 ETH 存入以太坊協議，從而從以太坊協議穫得虛擬 soETH 倉位。
2. 獨立質押者通過將其提款地址設置爲 EigenLayer pod 的地址，將其虛擬 soETH 存入 EigenLayer。作爲交換，獨立質押者從 EigenLayer 穫得虛擬倉位 [soETH]，這使他們最終可以將操作順序倒轉。

平衡不平衡

從上述資産負債錶中，我們已經可以得出一些有趣的結果。首先是，以太坊協議根本沒有 [soETH] 的概念，因爲這併沒有出現在其資産負債錶中。這個問題在“拆分 PBS：協議強製提議者承諾（PEPC）”中已經討論過：被 EigenLayer 罰沒的驗證者仍在以太坊協議的資産負債錶上擁有完整的質押餘額，這可能導緻道德風險和獎勵不平衡（實際上，隻有一半質押的驗證者仍從以太坊協議穫得完整的獎勵）。我們將在以下的資産負債錶中詳細描述罰沒情況，併使用任意數字來説明該問題。

一旦 EigenLayer 忠實地曏以太坊協議報告驗證者的 EigenLayer 罰沒，併重新平衡負債錶，此問題就會得到解決。通過 EIP-7002 可以實現這一點：執行層可觸髮退出，盡管在粗略層麵上，因爲二進製觸髮器僅退出驗證者，但仍然需要 EigenLayer 中間件或 EigenPod 來觸髮信號到以太坊 PoS 協議。這種行動符合 EigenLayer 的利益，因爲適當的會計會從通過 EigenLayer 提供的服務中收益，併最終使運營者和再質押者更加相信平颱會忠實地執行。

更精細的觸髮器可以強製部分撤回驗證者的餘額，而無需完全退出驗證者。這對於希望對驗證者進行部分懲罰而不觸髮退出的 EigenLayer 服務是理想的。請註意，目前以太坊主網上既沒有 EIP-7002，也沒有執行層觸髮的部分提取功能。另請註意，@mikeneuder/eip-7251-faq">MaxEB（取消單個驗證者質押的 32 ETH 上限）與部分提取結合得很好，消除了驗證者保持分散的額外激勵（例如，運行多個 32 ETH-驗證者而不是單個 2048 ETH-驗證者）。

缺乏這種部分提取功能，而有另一個激勵使 EigenLayer 的會計與以太坊協議的會計保持分開，正如我們上麵指出的可能會導緻錯位。接下來，我們描述了被 EigenLayer 罰沒了 8 ETH 的驗證者，但併沒有退出其共識職責（驅逐餘額爲 16 ETH）的情況。

AVS 權利

在前麵的示例中，人們可能會想知道這 8 [soETH] 去了哪裡。這個決定由 EigenLayer 提供支持的主動驗證服務（AVS）來決定。AVS 是一種需要一些抵押品作爲保證金的服務。抵押品的存在使得服務能夠對某種性能做出可信承諾，因爲如果服務沒有得到妥善執行，抵押品可能會被罰沒。

再質押的驗證者通過他們的 EigenPod 加入 AVS。當他們這樣做時，EigenPod 鑄造新的債權，這些債權被提供給 AVS，代錶了當前由 EigenPod 持有的抵押品。現在我們必鬚區分兩種類型的債權：

1. AVS 債權：我們使用 [soETH] 來錶示這些債權，強調它們是從方括號 [ ] 中的資産價值派生出來的。
2. 再質押者債權：我們現在將使用 [soETH]* 來強調這種債權的特殊性質，即在所有 AVS 債權結算後，重新質押者才能兌現這種債權。換句話説，重新質押者的債權具有最低的優先級，隻有在所有其他 AVS 債權結算後，才能兌現剩餘的資産。

1. 單獨的質押者重新質押。
   1. soETH 置於 EigenPod 的控製之下。
   2. 單獨再質押者收到 [soETH]* ，這是對其再質押資産的一種債權。
2. 單獨的質押者從他們的 EigenPod 中鑄造了一個新的債權 - [soETH]。
3. 該債權作爲 AVS 的抵押品。
   1. [soETH] 被傳輸到 AVS。
   2. 重新質押者將穫得收據 avs.[soETH]。

一旦驗證者的行爲違背了 AVS 的目標（例如，觸髮 AVS 的罰沒條件），AVS 可能會決定銷毀驗證者對其 ETH 的債權，或者保留該權益作爲 AVS 的收入。我們在下麵説明第二種情況，假設以太坊協議隻是在 EigenLayer 罰沒報告之後將 8 ETH 作爲部分提款記入 EigenPod，之後 EigenLayer 將其轉移到 AVS：

1. AVS 罰沒單獨再質押者的抵押品。
   1. AVS 的抵押品由 32 個 [soETH] 組成。一旦報告罰沒，AVS 從抵押品中減去 8 [soETH]，併曏 EigenPod 報告罰沒，這也將其負債減少 8 [soETH]。
   2. AVS 不再將 32 avs.[soETH] 計入單獨再質押者，從而將該債權減少 8 avs.[soETH]。
   3. 被 AVS罰沒後，EigenPod 將單獨再質押者的債權減少 8 [soETH]*。
2. EigenPod 曏以太坊協議報告罰沒情況，觸髮提取 8 ETH。
   1. 以太坊協議中的權益資産債權額降至 24 soETH。
   2. 處理 8 ETH 的部分提款，EigenPod 收到先前鎖定在以太坊協議中的 8 ETH。
3. EigenPod 將 8 ETH 罰金轉髮給 AVS，AVS 可以隨意處置。

再質押

EigenLayer 提供的功能（和風險）代錶再質押者不斷輸入承諾兌現新承諾的能力。換句話説，在再質押之後，再質押的質押可以一次又一次地重新質押……更實際的是，再質押者通過他們的 EigenPod 註冊更多服務來做出新的承諾。

爲了實現完全的通用性，併預見到後續章節中除了 soETH 外其他資産也會被重新質押，我們用 $X$ 錶示再質押者重新質押的資産。讓我們看看多次再質押是如何運作的：

我們用 [�]� 錶示資産 � 被重新質押 � 次。目前，這隻是一個簡單的定義，但在詳細説明這些資産的步驟之後，我們將暗示一些這些資産的屬性。EigenPod 能夠隨意銘刻這些負債，每當再質押者承諾履行新的 AVS 時，就鑄造新的資産。

1. 再質押者將資産 X 置於 EigenPod 的控製之下。該行爲是再質押者的承諾，如果他們未能提供他們所註冊的服務，則他們的部分或全部資産 X 可能會被沒收。收到的債權 [X]* 代錶了這一承諾。
2. 我們在這裡詳細介紹了再抵押者對安全鏈 Y 的承諾。
   1. 再質押者通過進入 AVS“安全鏈 Y”穫得第一個再質押資産 [X]¹。
   2. 再質押者在鏈 Y 下質押 [X]¹，收到 soZ.[X]¹（對其【質押 + 獎勵 - 懲罰】的債權）。 Y 鏈必鬚“理解”再質押的資産目前可以確保其協議的安全，即它必鬚確信這會危及到某人的利益。
3. 我們在這裡詳細介紹了再質押者承諾安全鏈 Z 的情況。
   1. 再質押者通過進入 AVS“安全鏈 Z”穫得再質押資産 [X]²。
   2. 再質押者在 Z 鏈下質押 [X]²，收到 soZ.[X]²（對其【質押 + 獎勵 - 懲罰】的債權）。 Z 鏈必鬚“理解”再質押的資産目前可以確保其協議的安全，即它必鬚確信這會危及到某人的利益。

根據上述資産負債錶，我們現在來回答一些問題。我們觀察到鏈 Y 收到 [X]¹，而鏈 Z 收到 [X]²。這些資産是相衕類型的嗎？我們是否可以説它們都收到了類型爲 [X] 的資産？

如果存在 AVS 債權的層次結構，則答案是否定的。想象一個場景，再質押者在兩條鏈上衕時進行可受到罰沒的違規行爲，而這兩條鏈都希望對整個質押進行罰沒。那麽我們可以考慮兩種情況：

1. 情況1：AVSs（在這裡是鏈 Y 和 Z 的共識機製）簡單地銷毀被罰沒的代幣，這是大多數 PoS 協議所做的。當代幣被銷毀時，債權的層次結構實際上併不重要：如果鏈 Y 和 Z 都想要罰沒再質押者 32 ETH，它們所做的隻是兩次銷毀相衕的質押品。
   1. 註意：Anders 稱這種情況爲“spree-staking”，即多次再質押而不考慮債權的層次結構。😊
2. 情況2：AVSs 希望穫得被質押的代幣，例如，賠償某些受到損失的一方。一個例子是 MEV-Boost+，AVS 運營者是區塊提議者，他們承諾不會明著玩弄區塊內容，如果他們這樣做了，他們承諾賠償構建者和中繼的損失。在這種情況下，假設衕一再抵押者髮生了多個AVS的併行偏差，且多個AVS在衕一時間贖回其索賠，而且抵押的資産不足以支付所有債務。那麽債權的優先順序或支付的分配就變得相關了。

分拆 AVS

在前麵的部分中，我們介紹了 AVSs，這些是再質押驗證者承諾提供的服務。這種承諾是通過 EigenLayer 來保證的，它接管了驗證再質押者的抵押，併解決了 AVSs 提出的債權。

但是 AVS 究竟是什麽呢？就像我們在上麵分離了 LST 協議和 LST 運營者一樣，這裡將兩個功能角色分開討論，併分配不衕的資産和債權，這才行得通。

簡而言之，AVS 需要抵押品來提供服務，例如，AVS 提出了這樣一個可信的債權，即對 AVS 的攻擊將導緻當前由 AVS 持有的一部分抵押品的損失。因此，在這裡 AVS 被視爲一個爲服務招募運營者的協議。然後我們明確了再抵押者可能與 AVS 互動的兩種方式：

1. 重新抵押者作爲 AVS 運營者：AVS 包含一個尋找運營者執行功能的協議，而重新抵押其 soETH 的節點運營商本身成爲 AVS 協議的運營者。
2. 重新抵押者作爲 AVS 運營者的資本提供者：在這種情況下，AVS 運營者接受（重新）抵押的資産來代錶提供資金的委托者執行其運營者功能。然後，重新抵押者將其重新抵押的資産委托給 AVS 運營者，後者代錶重新抵

在前麵的部分中，我們確定了驗證重新抵押者既是資本提供者（他們自己的抵押品被重新抵押）又是 AVS 運營者（他們被期望提供某種服務）。然而，我們可以考慮一種不衕的構造，在這種構造中，驗證重新抵押者不自己運行 AVS，而是將這個功能委托給某個運營者。這可以使獨立的重新抵押者與集成的抵押服務提供者（SSP）/運營商在收益上相競爭。以下示例介紹了一種情況，其中單個 AVS 運營者代錶重新抵押者在某些鏈 Y 和 Z 上進行驗證。我們假設所有 AVS 的債權類型都相衕（沒有債權層次結構）。

1. 重新抵押者將資産 X 置於 EigenPod 的控製之下。這一行爲錶明重新抵押者承諾，如果他們未能提供他們簽約的服務，資産 X 的一部分或全部可能被沒收。債權 [X]* 被接收來代錶這一承諾。
2. 我們在這裡詳細説明重新抵押者承諾保護鏈 Y，將驗證職責委托給 AVS 運營者。
   1. 重新抵押者通過進入“保護鏈 Y”的 AVS，穫得重新抵押資産 [X]。
   2. 重新抵押者將重新抵押資産 [X] 給 AVS 運營者，穫得“收據” noY.[X]。
   3. AVS 運營者在鏈 Y 下抵押 [X]，穫得 soY.[X]（錶示他們的【抵押 + 獎勵 - 處罰】的債權）。鏈 Y 必鬚“理解”一個再質押的資産當前保護著它的協議，即，它必鬚確信這會危及到某人的利益。
3. 我們在這裡詳細説明重新抵押者承諾保護鏈 Z，將驗證職責委托給 AVS 運營者。
   1. 重新抵押者通過進入“保護鏈 Y”的 AVS，穫得重新抵押資産 [X]。
   2. 重新抵押者將重新質押資産 [X] 給 AVS 運營者，穫得“收據” noZ.[X]。
   3. AVS 運營者在鏈 Z 下質押 [X]，穫得 soZ.[X]（錶示他們的【抵押 + 獎勵 - 處罰】的債權）。鏈 Z 必鬚“理解”一個重新抵押的資産當前保護著它的協議，即，它必鬚確信這會危及到某人的利益。

在這種範式下，我們恢覆了熟悉的構造。再質押者不會收到任何資産，這已經暗示了這種倉位的可能性被清算。我們將在下一篇文章中討論這些高級構造，但在此之前，讓我們提一下關於“AVS 的 PBS”正在進行的研究，這是減少運營者中心化的一種方法。

根據 Drew Van der Werff 提出的樂觀委托框架（也可以參見 0xKydo 最近的哥倫比亞加密經濟學研討會演講），再質押者能夠在一個“協處理器”開放市場上與其註冊的 AVS 的運營簽訂合約。協處理器可以被識別爲 PBS 的“構建者”角色，這是一個專門的實體，能夠運行可能對非覆雜或計算能力有限的個體（如獨立質押者）不可訪問的密集型操作。協處理器曏再質押者提交競標，採用採購拍賣式機製，使得再質押者能夠確定能帶來最佳盈利的運營者。爲了進一步保證性能，協處理器是經過保證金擔保的參與者，如果他們在運營過程中提交了可以證明是無效的工作，就會麵臨失去保證金的風險。

聲明：

1. 本文轉載自【mirror】，著作權歸屬原作者[The price of agency]，如對轉載有異議，請聯繫Gate Learn團隊，團隊會根據相關流程盡速處理。
2. 免責聲明：本文所錶達的觀點和意見僅代錶作者個人觀點，不構成任何投資建議。
3. 文章其他語言版本由Gate Learn團隊翻譯， 在未提及Gate.io的情況下不得覆製、傳播或抄襲經翻譯文章。