IOSG:“四问”让你了解如何在EigenLayer上构建AVS资料来源:EigenLayer、IOSG

最近,使用 EigenLayer 来构建基础设施的项目在开发者社区中已经变得非常流行。这些项目被称为主动验证服务(AVS),指的是任何需要自己的全局验证语义来进行验证的系统。系统可以包括DA层、新的VM、预示机、桥等等。

但是我们到底如何构建AVS?

为了设置 AVS 的基本规则,您需要回答四个主要问题。

IOSG:“四问”让你了解如何在EigenLayer上构建AVS

Q1:AVS 中的任务定义是什么?

在 EigenLayer 中,任务是操作员承诺为 AVS 提供服务的最小工作单位。这些任务可能与 AVS 的一个或多个罚条件没有相关联。

以下是两个示例任务:

  • 在 EigenDA 的中托管并提供“DataStore”
  • 为跨链桥发布另一个区块链的状态根

EigenLayer 在以下工作流程中提供了一个更详细的示例。这个 AVS 的任务是计算特定数字的平方。

IOSG:“四问”让你了解如何在EigenLayer上构建AVS

任务生成器以固定的时间间隔发布任务。每个任务指定了需要计算四分之一的数字。它还包括步兵和步兵的四分之一值,规定每个批量的步兵至少需要一定比例的操作员签名才能通过此任务。

当前AVS的操作员需要从任务约定中读取任务编号,计算其平方,对计算结果进行签名,将计算结果加入并将签名发送给聚合器。

聚合器收集来自操作员的签名并进行聚合。如果有来自操作员的响应,则通过任务生成器在发布任务时设置的阈值百分比,聚合器将这些响应聚合起来并发布到任务合约中。

在争议解决期间,任何人都可以提出争议。DisputeResolution 约定会处理操作员特定的错误响应。(或者该操作员在这段时间内窗口内没有做出响应)

如果争议被最终验证并处理,操作员将被冻结在注册合约中,由 EigenLayer 的否决委员决定是否否决冻结请求。

IOSG:“四问”让你了解如何在EigenLayer上构建AVS

Q2:您的AVS希望继承什么样的信任?

IOSG:“四问”让你了解如何在EigenLayer上构建AVS资料来源:EigenLayer、IOSG Ventures

EigenLayer 提供了极大的信任。

经济信任

经济信任依赖于人们对质押资产的信心。如果腐败带来的利润低于成本,经济上理性的行为者就不会发起攻击。例如,如果对跨链桥发起攻击的成本为10亿美元,但利润预算5亿美元,则从经济上看,进行攻击显然是不理性的。

广泛采用加密货币经济学原语,罚款并不能大幅提高犯罪成本,从而强化经济安全。

去中心化信任

去中心化信任的本质是拥有一个庞大且广泛分布的验证者集合,无论是在虚拟上还是在地理上。为了防止在AVS中各个节点之间发生串通和Liveness攻击,最好不要让单一服务​​提供商运行所有节点。

在允许EigenLayer上,不同的AVS可以定制它们的去中心化程度。例如,它们可以为算子设置断层要求,只或者个人算子提供节点服务,并相应地提供更多的刺激来吸引此类算子。

以下是一个示例:

IOSG:“四问”让你了解如何在EigenLayer上构建AVS

Shutter 提出了一种通过利用阈值加密货币来防止 MEV 的解决方案。该过程涉及一组节点,称为 Keypers,他们通过密钥生成(DKG)参与计算一组共享的端点和私钥。节点由Shutter DAO 的治理选举产生。

显然,DKG 依赖于大部分的负担。

通过借助 EigenLayer 提供的节点运营服务,Shutter 可以获得更广泛的 Kepers 分配。这种方法不仅降低了 Keypers 之间串通的风险,还增强了网络的安全性和弹性。

,拉格朗日的拉格朗日州委员会(LSC)由再质押者组成。对于每个相同的状态证明,至少有 2/3 的委员会成员必须签署一个特定的区块头,之后才通过 SNARK 生成一个状态证明。

以太坊“包含”(Inclusion)信任

IOSG:“四问”让你了解如何在EigenLayer上构建AVS

以太坊验证者除了通过质押向以太坊做出承诺外,如果进一步在EigenLayer上再质押,他们还可以向AVS做出可信承诺。这使得提议者可以在以太坊上提供一些服务(例如,通过MEV- Boost++进行部分区块拍卖),从而在以太坊的协议层面进行更改。

例如,远期区块空间拍卖允许买方提前确保获得未来的区块空间。参与再质押的验证者可以对区块空间作出可信的承诺,如果此后他们未包含买方的交易,则被罚款没。

假设你正在构建一个前置机,你可能需要在一定的时间段内提供价格。或者假设你正在运行一个 L2,你可能每隔几分钟就需要以太坊向坊发布 L2 数据。这些都是远期区块空间拍卖的例子。

IOSG:“四问”让你了解如何在EigenLayer上构建AVS

Q3:操作者要做的工作是轻量级的还是重量级的?

如果你想要继承以太坊验证者的去中心化,AVS的任务应要求设计得轻量级。

如果任务消耗大量计算资源,单独操作员可能无法处理它们。

IOSG:“四问”让你了解如何在EigenLayer上构建AVS

Q4:削减条件是什么?

通过再质押到一个特定的服务,再质押者就接受了可能存在的处罚没风险,并且该处罚没条件将由 AVS 来指定。

AVS,应设计可在链上验证、可证明、侦查可高精度的罚没条件。例如,在以太坊中作为双重签名一个区块,以及一个轻节点跨链桥 AVS 中的节点承载来自另一个链的无效块。

设计不当的处罚没条件可能导致封闭,进而引发系统性风险。

AVS还应确保可观察性,跨服务监控、追踪和记录请求和响应。

IOSG:“四问”让你了解如何在EigenLayer上构建AVS

如何量化?

的 AVS 需要多少信任(再质押的资本、不同的验证者数量,以及需要实现以太坊验证者承诺的以太坊验证者数量),以及你将如何激励它?

例如,如果一个跨链桥每周的交易量为 1 亿美元,并租用价值 1 亿美元的安全性,用户可以相信他们是安全的。即使验证者试图破坏系统,用户也受到保护,因为他们可以通过罚款重新分配对用户进行补偿。

考虑到跨链桥的 TVL、再质押的 ETH 数量、选择加入的算子数量和众多参数将不断变化,并可能出现大幅波动,AVS 需要某种方法来调整其安全布局和缓冲空间等。

AVS可以用其总代币供应的一部分支付经济安全。

但是,使用 EigenLayer 是否会损害我的代币实用性?

IOSG:“四问”让你了解如何在EigenLayer上构建AVS

绝对不是

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/