<img src="https://img.php.cn/upload/article/000/000/164/171159066812979.png" alt="IOSG：「四問」讓你了解如何在EigenLayer上建構AVS">Source: EigenLayer, IOSG
最近，使用 EigenLayer 来构建基础设施项目在开发者社区中已经变得非常流行。这些项目被称为主动验证服务（AVS），指的是任何需要自己的分布式验证语义以进行验证的系统。这些系统可以包括 DA 层、新的 VM、预言机、桥等等。
但是我们到底如何构建一个 AVS？
为了设置 AVS 的基本规则，您需要回答四个主要问题。
在 EigenLayer 中，任务是 Operator 承诺为 AVS 提供服务的最小工作单位。这些任务可能与AVS 的一个或多个罚没条件相关联。
以下是两个示例任务：
EigenLayer 在以下工作流程中提供了一个更详细的示例。这个 AVS 的任务是计算特定数字的平方。
Task Generator 以固定时间间隔发布任务。每个任务指定了需要计算平方的数字。它还包括法定人数和法定人数的阈值百分比，规定每个列出的法定人数至少需要一定比例的 Operator 签名才能通过此任务。
当前加入 AVS 的 Operator 需要从任务合约中读取任务编号，计算其平方，对计算结果进行签名，并将计算结果和签名发送给 Aggregator。
Aggregator 收集来自 Operator 的签名并进行聚合。如果任何来自 Operator 的响应通过 了 Task Generator 在发布任务时设置的阈值百分比，聚合器将这些响应聚合起来并发布到任务合约中。
在争议解决期间，任何人都可以提出争议。DisputeResolution 合约会处理特定 Operator 的错误响应。（或者该 Operator 在这个时间窗口内没有做出响应）
如果争议被最终验证并处理， Operator 将被冻结在 Registration 合约中，由 EigenLayer 的否决委员决定是否否决冻结请求。
<img src="https://img.php.cn/upload/article/000/000/164/171159066870472.png" alt="IOSG：「四問」讓你了解如何在EigenLayer上建構AVS">Source: EigenLayer, IOSG Ventures
EigenLayer 提供了三种可编程信任。
经济信任
经济信任依赖于人们对质押资产的信心。如果腐败带来的利润低于腐败成本，经济上理性的行为者就不会发起攻击。例如，如果对跨链桥发起攻击的成本为 10 亿美元，但利润仅为 5 亿美元，则从经济上来看，进行攻击是显然不理性的。
作为广泛采用的加密经济学原语，罚没可以大大提高腐败成本，从而强化经济安全。
去中心化信任
去中心化信任的本质是拥有一个庞大且广泛分布的验证者集合，无论是在虚拟上还是在地理上。为了防止在 AVS 中各个节点之间发生串通和 Liveness Attack，最好不要让单一服务提供商运行所有节点。
在 EigenLayer 上，不同的 AVS 可以定制它们的去中心化程度。例如，它们可以为 Operator 设置地理位置要求，或者只允许个人 Operator 提供节点服务，并相应地提供更多的激励来吸引这类Operator。
以下是一个示例：
Shutter 提出了一种通过使用阈值加密来防止 MEV 的解决方案。该过程涉及一组节点，称为Keypers，他们通过分布式密钥生成（DKG）参与计算一组共享的公钥和私钥。这些节点由Shutter DAO 的治理选举产生。
显然，DKG 依赖于诚实多数的假设。
通过借助 EigenLayer 提供的节点运营服务，Shutter 可以获得更广泛的 Kepers 分布。这种方法不仅降低了 Keypers 之间串通的风险，还增强了网络的安全性和弹性。
同样，Lagrange 的 Lagrange State Committee（LSC）由再质押者组成。对于每个状态证明，至少有 2/3 的委员会成员必须签署一个特定的区块头，之后才通过 SNARK 生成一个状态证明。
以太坊“包含”（Inclusion）信任
以太坊驗證者除了透過質押向以太坊作出承諾外，如果進一步在 EigenLayer 上再質押，他們還可以向 AVS 作出可信承諾。這使得提議者可以在以太坊上提供一些服務（例如，透過MEV-Boost 進行部分區塊拍賣），而無需在以太坊的協議層面進行更改。
例如，遠期區塊空間拍賣讓買家提前確保得到未來的區塊空間。參與再質押的驗證者可以對區塊空間作出可信承諾，如果之後他們未包含買家的交易，則會被罰沒。
假設你正在建立一個預言機，你可能需要在一定時間內提供價格。或者假設你正在運行一個L2，你可能每隔幾分鐘就需要向以太坊發布 L2 資料。這些都是遠期區塊空間拍賣的用例。
如果你想要繼承以太坊驗證者的去中心化， AVS 的任務應盡可能設計得輕量級。
如果任務消耗大量運算資源，Solo Operator 可能無法處理它們。
透過再質押到一個特定的服務，再質押者就接受了可能存在的罰沒風險，而這個罰沒條件將由AVS 來指定。
作為 AVS，應設計可在鏈上驗證、可證明、客觀可歸因的罰沒條件。例如，在以太坊中雙重簽署一個區塊，以及一個輕節點跨鏈橋 AVS 中的節點簽署來自另一個鏈的無效區塊。
設計不當的罰沒條件可能導致分歧，進而引發系統性風險。
AVS 還應確保可觀察性，允許跨服務監控、追蹤和記錄請求和回應。
你的 AVS 需要多少信任（再質押的資本、不同的分散式驗證者數量，以及需要實現以太坊驗證者承諾的以太坊驗證者數量），以及你將如何激勵它？
例如，如果一個跨鏈橋每週的交易量為 1 億美元，並租用價值 1 億美元的安全性，用戶可以相信他們是安全的。即使驗證者試圖破壞系統，使用者也會受到保護，因為他們可以透過罰沒重新分配對使用者進行補償。
考慮到跨鏈橋的TVL、再抵押的ETH 數量、選擇加入的Operator 數量和許多其他參數將不斷變化，並可能出現大幅波動，AVS 需要某種方法來調整其安全預算和緩衝空間。
AVS 可以用其總代幣供應的一部分支付經濟安全。
But, do I compromise my token utility by using EigenLayer?
絕對不是！
EigenLayer 支持雙重質押（Dual Staking）。這使您可以同時使用 ETH 和您的原生代幣來保護網絡，並根據需要調整每種代幣的比例。在網路的早期階段，ETH 可能佔據較大比例。隨著網路成熟，您可能希望原生代幣發揮更重要的作用。在這種情況下，AVS 可以透過協議治理增加原生代幣的比例。
此外，當 AVS 的安全需求在短期內迅速增長時，例如，當由 AVS 預言機服務的 DeFi 協議的TVL 迅速增加時，AVS 仍然可以使用EigenLayer 來加固它的經濟安全。
從這個角度來看，EigenLayer 是一個可編程的信任市場，提供「彈性」安全。
以下是一些值得注意的項目。
在 EigenLayer 的三方市場中， Operator 依賴 AVS 開發者正確編碼 AVS 軟體並設定合理的罰沒條件。然而，考慮到 AVS 的多樣性，每個 AVS 與 Operator 之間的互動邏輯可能會有所不同，這創造了一個全新的領域。為了防止意外的罰沒事件，AVS 可以在發布前對程式碼庫進行審核。此外，EigenLayer 設有否決委員會，能夠透過多重簽名否決不正確的罰沒決定。
與此同時，Cubist正在與 EigenLabs 合作開發一個開放的反罰沒框架，利用安全硬體並使用自訂策略在金鑰管理器內簽署交易和驗證訊息。例如，同時簽署兩個不同高度的區塊頭永遠不會被金鑰管理器內的策略引擎所批准。
風險偏好較高的再質押者/ Operator 可能希望參與早期的 AVS 以獲得更高的回報。在這種情況下，Cubist 的 Anti-slasher 可能會很有用。
許多人知道 EigenLayer 可以幫助 AVS 建立信任網絡，但 AVS 需要為經濟安全支付多少費用，以及如何抵禦經濟攻擊？
Anzen Protocol 開發了安全因子（SF），這是衡量 AVS 經濟安全性的通用標準度量。 SF 是基於腐敗成本和腐敗利潤的概念。
Anzen 幫助 AVS 維護最低經濟安全水平，而無需過度支付經濟安全。
EigenLabs 正在開發 EigenSDK，以幫助 AVS 編寫其節點軟體程式碼。該 SDK 包括簽章聚合、與 EigenLayer 合約的互動邏輯、網路、密碼學和事件監視用戶端模組。
同時，Othentic 正在建立一個開發工具，以幫助 AVS 更快地發布產品。
References:
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/
以上是IOSG：「四問」讓你了解如何在EigenLayer上建構AVS的詳細內容。更多資訊請關注PHP中文網其他相關文章！
