近一年以来，EigenLayer已经发布了他们的白皮书、完成了5000万美金的A轮融资，并且上线了第一阶段的主网。在此期间，以太坊社区围绕EigenLayer及其用例也展开了广泛的讨论。本文将围绕这些讨论进行跟踪和梳理。在以太坊生态中，一些中间件服务（例如预言机）不完全依赖链上逻辑，因此无法直接借助以太坊的共识和安全，需要重新引导信任网络。通常做法是先由项目方进行运营，再引入代币激励，吸引系统参与者，逐渐实现去中心化。这样做至少有两个难点。一是引入激励机制需要额外成本：参与者购买代币参与质押的机会成本，以及项目方维持代币价值的运作成本。二是即便付出了上述成本并构建了一个去中心化网络，其安全性、持续性如何，仍然是未知数。对于初创项目而言，这两点显得尤其棘手。EigenLayer的想法是：由现有的以太坊质押者进行再次质押(Restaking)，从而为这些中间件(ActivelyValidatedServices,AVS)提供经济安全。如果这些再质押者诚实工作可以获得奖励，若作恶则会导致原有的以太坊质押敞口被罚没。这样做的好处是：其一，项目方不需要自己引导新的信任网络，而是外包给以太坊验证者，尽可能地降低了资金成本；其二，以太坊验证者集合的经济安全非常牢固，使安全性也得到了一定的保证。从以太坊质押者的角度看，再质押为他们提供了额外收益，只要没有主观作恶意图，整体风险可控。EigenLayer的创始人Sreeram曾在推特和播客提及EigenLayer的三种用例和信任模型：经济信任。即以太坊质押敞口的重用，更高价值代币的质押意味着更健壮的经济安全，上文已有讨论。去中心化信任。一些服务（例如秘密共享）的恶意行为可能无法归因，也就无法依赖于罚没机制。需要足够去中心化、独立的群体来做某件事情，以防范共谋和串通风险。以太坊验证者承诺。区块生产者以质押敞口为抵押，做出某些可信承诺。下文我们会列举一些例子进一步说明。系统参与者EigenLayer作为开放市场，连接三方的主要参与者。再质押者。如果拥有以太坊质押敞口，可以通过将提款凭证转移到EigenLayer来参与再质押，或简单地存入stETH等LST来参与。如果再质押者自己无法运行AVS节点，亦可将其敞口委托给操作员。操作员。操作员接受再质押者的委托，并运行AVS节点。他们可以自由选择为哪些AVS提供服务。
一旦为AVS提供服务，就需要接受其定义的罚没规则。AVS。AVS作为需求方/消费者，需要向再质押者付费，并获得其提供的经济安全。有了这些基本概念之后，我们来看EigenLayer的具体用例。EigenDAEigenDA是EigenLayer推出的旗舰产品，解决方案源自于以太坊扩容方案Danksharding。其中的数据可用性采样(DataAvailabilitySampling,DAS)也被广泛应用于Celestia、Avail等DA项目中。本章我们将快速介绍DAS，随后看看EigenDA的实现方式及其创新之处。DAS作为Danksharding的前置方案，EIP-4844引入了「Blob-carryingTransaction」，每笔交易将额外携带约125kb大小的数据。在数据分片扩容路线的背景下，新增的数据无疑加重了节点的负担。那么，有没有一种办法使得节点只下载小部分数据，也可以验证所有数据是可用的？DAS的做法是，让节点对小部分数据进行多次随机采样。每次成功采样都会增加节点认为数据可用的置信度，一旦达到某个预设水平，就认为数据可用。然而，攻击者仍然有可能隐藏一小部分的数据——我们还需要某种容错机制。DAS采用了纠删码(ErasureCoding)。纠删码的主要思想是将数据分成多个块，然后对这些块进行编码，生成额外的冗余块。这些冗余块包含了原始数据块的部分信息，使得当一些数据块丢失或损坏时，可以通过冗余块来恢复丢失的数据块。这样，纠删码为DAS提供了冗余性和可靠性。此外，我们还需要验证得到的冗余块是否被正确编码，因为使用错误的冗余块无法重建原有的数据。Danksharding采用了KZG(Kate-Zaverucha-Goldberg)承诺。KZG承诺是一种用于验证多项式的方法，能够证明多项式在特定位置的值与指定的数值一致。证明者选择一个多项式p(x)，并使用p(x)计算对每个数据块的承诺，称为C1、C2、...、Cm。证明者将承诺与数据块一起发布。为了验证编码，验证者可以随机采样t个点x1,x2,...,xt，并要求证明者在这些点上打开承诺：p(x1),p(x2),...,p(xt)。使用拉格朗日插值，验证者可以从这些t个点重建多项式p(x)。验证者现在可以使用重建的多项式p(x)和数据块重新计算承诺C1'、C2'、...、Cm'并验证它们是否与已发布的承诺C1、C2、...、Cm匹配。简而言之，使用KZG承诺，验证者只需要一小部分的点即可验证整个编码的正确性。这样，我们就得到了完整的DAS。HowEigenLayer借鉴了DAS的思路，并把它应用于EigenDA中。
首先，EigenDA的节点在EigenLayer合约中进行再质押并注册。其次，Sequencer在拿到数据之后，把数据切分成多个块，使用纠删码生成冗余块，并计算每个数据块对应的KZG承诺。Sequencer把KZG承诺逐一发布到EigenDA合约作为见证。随后，Sequencer把数据块连同其KZG承诺逐一分发给各个EigenDA节点。节点拿到KZG承诺后，与EigenDA合约上的KZG承诺进行比较，确认无误后存储数据块，并进行签名。之后再由Sequencer收集这些签名，生成聚合签名并发布到EigenDA合约，由EigenDA合约验证签名。签名验证无误后，就完成了整个流程。在上述流程中，由于EigenDA节点仅仅通过签名来声称自己对数据块进行了存储。我们还需要一种方法来确保EigenDA节点没有撒谎。EigenDA采用了托管证明(ProofofCustody)。托管证明的思路是在数据中放一个「炸弹」，一旦节点对它进行签名，就会被罚没。为了实现托管证明，需要设计：一个秘密值，用于区分不同的DA节点，防止作弊；一个特定于DA节点的函数，以DA数据和秘密值作为输入，以有无炸弹作为输出。如果节点没有存它该存的完整数据，就无法计算这个函数。Dankrad曾经在博客上分享过托管证明的更多细节。如果出现懒惰节点，任何人可以提交证明给EigenDA合约，合约会验证这个证明，若验证通过则对懒惰节点进行罚没。在硬件要求方面，在1秒内计算32MB数据的KZG承诺大约需要32-64核CPU，但这个要求仅针对Sequencer一方，并不会对EigenDA节点施加负担。在EigenDA的测试网中，100个EigenDA节点的吞吐量达到了15MB/s，而对节点下载带宽的需求仅为0.3MB/s（远低于运行以太坊验证者的要求）。综上所述，我们可以看到EigenDA实现了数据可用性与共识的解耦，数据块的传播不再受限于共识协议和P2P网络吞吐量低的瓶颈。因为EigenDA相当于搭了以太坊共识的便车：Sequencer发布KZG承诺和聚合签名、由智能合约验签、对恶意节点进行罚没的过程都在以太坊上发生，由以太坊提供共识保证，因此无需重新引导信任网络。ProblemsofDAS当前，DAS作为技术本身也存在一些局限性。我们需要假设恶意的对手方会尽可能采取各种手段来愚弄轻节点，使其接受虚假的数据。Sreeram曾在他的推文里作了如下阐述。为了让单个节点有足够高的概率认为数据可用，需要满足以下要求：随机采样：要求每个节点独立且随机地选择一堆样本进行采样，而对手方不知道谁请求了哪些样本。这样，对手方就无法相应地改变策略来欺骗节点。并发采样：要求DAS由多个节点同时进行，使得攻击者无法区分一个节点的采样与其他节点的采样。私有IP采样：意味着为每个查询的数据块使用一个匿名IP。否则对手可以判别进行采样的不同节点，选择性地向节点提供其已经查询过的部分，而不提供其他部分的数据。我们可以让多个轻节点进行随机采样来满足并发性和随机性，但目前没有好的方法来满足私有IP采样。
因此仍然存在针对DAS的攻击向量，使DAS目前只提供较弱的保证性。这些问题仍在被积极解决中。EigenLayer&MEVSreeram在MEVconomicsSummit中谈到了EigenLayer在MEV堆栈中的应用。围绕质押和罚没的加密经济原语，提议者可以实现如下四种特性，也即上文提到的第三点——验证者承诺用例。Event-drivenActivation诸如Gelato的协议可以实现对特定链上事件的进行反应。即对链上事件进行持续监听，一旦某个事件发生，随即触发一些预定义的操作，这些任务通常由第三方的监听器/执行者来完成。之所以称其为「第三方」是因为，监听器/执行者和实际上处理区块空间的提议者之间并无联系。假设监听器/执行者触发了某一笔交易，但（由于某些原因）没有被提议者包含到区块中，这是无法被归因的，因此无法带来确定性的经济保证。如果由参与再质押的提议者提供这项服务，他们就可以对操作的触发做出可信承诺，如果最终这些交易没有被包含在区块中，则提议者被罚没。这样相较于第三方监听器/执行者而言，提供了更强的保证。在实际应用中（例如借贷协议），设置超额抵押率的目的之一是为了覆盖一定时间范围内的价格波动。这与清算前的时间窗口相关，更高的超额抵押率意味着更长的缓冲期。如果有大部分的交易采取事件驱动反应的策略，且拥有提议者提供的强保证，那么（对于流动性高的资产而言）超额抵押率的波动性就可能被限制在几个区块间隔内，从而降低超额抵押率并提高资本效率。PartialBlockAuction在当前MEV-Boost的设计中，提议者把区块空间完全外包给构建者，只能被动接收并提议构建者提交的整个区块。相较于分布更加广泛的提议者而言，构建者只有极少数，他们可能串通起来，对特定交易进行审查和勒索——因为提议者无法在MEV-Boost中包含自己想要的交易。EigenLayer提出了MEV-Boost++对MEV-Boost进行升级，在区块中引入了Proposer-part，提议者可以在Proposer-part中包含任意交易。提议者也可以同时构建一个替代区块B-alt，在中继没有释放Builder_part的情况下提议这个替代区块B-alt。这种灵活性既确保了抗审查，又同时解决了中继的活跃性问题。这与协议层设计——ePBS提出的crList的目的是一致的，即我们需要确保广泛的提议者可以参与决定区块的构成，以实现抗审查。ThresholdEncryption在基于阈值加密的MEV解决方案中，由一组分布式的节点管理加解密密钥。用户对交易进行加密，在交易被包含在区块中后才会被解密并执行。然而阈值加密依赖于多数诚实假设。如果大多数的节点作恶，有可能导致解密后的交易没有被包含在区块中。进行再质押的提议者可以对加密后的交易进行可信承诺，以确保其被包含在区块中。如果提议者没有包含解密后的交易，那么会被罚没。当然，如果恶意的多数节点没有释放解密密钥，那么提议者可以提议一个空块。Long-termBlockspaceAuction长期区块空间拍卖允许区块空间的买家提前预定某个验证者未来的区块空间。参与再质押的验证者可以做出可信承诺，如果到期没有包含买家的交易，则会被罚没。
这种获得区块空间的保证有一些实用的案例。例如，预言机需要在一定的时间周期进行喂价；Arbitrum上每1-3分钟、Optimism每30秒-1分钟向以太坊L1发布L2数据等等。PEPC我们再说回最近被以太坊社区广泛讨论的PEPC(Protocol-enforcedProposerCommitment)。PEPC实际上是ePBS的推广或者说通用化(Generalization)。让我们来逐一拆解这个逻辑链。首先，以协议外PBSMEV-Boost为例，目前MEV-Boost依赖于以太坊协议级别的罚没机制，即如果提议者在同一区块高度对两个不同的区块头进行签名，他们会被罚没。因为提议者需要对中继提交的区块头进行签名，相当于该区块头与该提议者两者形成绑定，故使中继有理由相信，构建者的区块是会被提议的。否则提议者只能被迫放弃这个Slot，或者提议一个不同的区块（这会导致罚没）。此时提议者的承诺由质押/罚没这个经济安全来保证。近似地，设计ePBS的一个重要原则是「honestbuilderpublicationsafety」，即确保以诚实的构建者发布的区块会被提议。ePBS作为协议内PBS，将被纳入到以太坊的共识层中，由协议提供保证。PEPC是ePBS的进一步推广。ePBS承诺了「构建者的区块会被提议」这件事情，如果把这件事情扩展到部分区块拍卖、平行区块拍卖、未来区块拍卖等等，我们就可以让提议者做更多的事情——而协议层会确保这些事情被正确执行。PEPC与EigenLayer之间有着微妙的关系。不难发现，上述PEPC的用例与EigenLayer的区块生产者用例之间有几分相似之处。然而，EigenLayer和PEPC的一个重要区别是：参与再质押的提议者理论上仍然可以违背他们的承诺，尽管会因此受到经济上的惩罚；而PEPC的重点在于「Protocol-enforced」，即在协议层上实现了强制性，如果承诺无法被执行，则区块无效。（PS：粗略地来看，容易发现EigenDA类似于Danksharding、MEV-Boost++类似于ePBS，这两项服务就像是协议层设计的opt-in版本，对比协议层而言更快推出市场的解决方案，和以太坊未来要做的事情保持同步，并通过再质押保持EthereumAlignment）。Don'tOverloadEthereumConsensus?数月前，Vitalik的文章Don'tOverloadEthereumConsensus被多数人认为是对Restaking的批评。笔者认为这只是一种对维护社会共识的提醒或警告，重点在于社会共识，而非对再质押的否定。在以太坊的婴儿时期，TheDAO攻击事件曾引发巨大争议，社区就是否硬分叉进行了激烈的讨论。而如今，包括Rollup在内的以太坊生态已经承载了庞大的应用。因此，避免在社区内引起极大分歧，保持社会共识的一致性是非常重要的。Hermionecreatesasuccessfullayer2andarguesthatbecauseherlayer2isthelargest,itisinherentlythemostsecure,becauseifthereisabugthatcausesfundstobestolen,thelosseswillbesolargethatthecommunitywillhavenochoicebuttoforktorecovertheusers'funds.High-risk.回归到EigenLayer的讨论上，管控风险的重点是AVS需要定义客观的、链上可查的、可归因的罚没规则，以避免产生分歧。例如，在以太坊上对区块进行双重签名；在基于轻节点的跨链桥中对另一条链的无效区块进行签名；上述讨论的EigenDA托管证明等等。诸如此类都属于清晰的罚没规则。EigenLayer的信任革命结语EigenLayer预计将于明年年初完成主网上线，并推出其旗舰产品EigenDA。目前已有许多基础设施项目宣布了他们和EigenLayer的合作。我们在上文讨论了EigenDA、MEV和PEPC，围绕不同的用例，许多有趣的讨论还在进行中。再质押正在成为市场的主流叙事之一。我们会持续跟进EigenLayer的进展并分享任何观点！