EigenLayer ：Slashing （罚没）的加密经济学

原文来自：a16zcrypto，作者 Sreeram Kannan & Soubhik Deb （EigenLayer）

为权益证明（PoS）协议设计的机制中，没有哪一种像 Slashing （罚没）一样具有争议。罚没提供了一种方法，以有针对性的方式对不采取协议一致行动的任何特定节点进行经济惩罚。它通过拿走部分或全部验证器质押权益来实现这一点，而不会对按照协议行事的其他节点施加外部性。Slashing （罚没）是权益证明（PoS）协议所独有的，因为它需要区块链能够执行惩罚。这种强制执行在工作量证明（PoW）系统中显然是不可行的，这类似于烧掉行为不端的节点所使用的挖矿硬件。这种应用惩罚性激励的能力，在区块链机制设计中开辟了一个新的设计空间，因此值得仔细考虑。

尽管它以“业力”的形式带来了明显的好处，但对罚没的主要反对意见是，由于运行过时的软件等无心之失，节点可能会被过度罚没。因此，很多协议都避免采用 Slashing （罚没），而是依赖于所谓的代币毒性（即如果协议被成功攻击，底层代币将失去价值）。很多人认为，质押者会将这种毒性视为对损害协议安全性的威胁。在我们的评估中，代币毒性不足以阻止某些典型场景中的对抗性攻击。事实上，在这种情况下，对手攻击和破坏协议所产生的成本（称为贿赂成本）基本上为零。

在本文中，我们将展示如何将 Slashing （罚没）纳入 PoS 协议的机制设计中，从而大大增加任何对手可能招致的贿赂成本。在存在贿赂的情况下，对于去中心化协议以及不满足代币毒性假设的协议（中心化或去中心化），罚没保证了高且可衡量的贿赂成本。

可能导致贿赂以及缺乏代币毒性的情况无处不在。很多 PoS 协议通过拥有一个紧密结合的社区来避免落入这两个类别之一，这只有在规模较小时才可行。（1）通过依靠强大的领导力引导他们朝着正确的方向前进，将验证委托给一小部分知名且受法律监管的节点运营商；（2）或者依靠在一个小组内集中质押代币。这些解决方案都不能完全令人满意地发展大型和去中心化的验证节点社区。如果 PoS 协议的特点是只有几个验证者（或者，在极端情况下，只有一个验证者），那么最好有一种方法来惩罚这些大型验证者，以防他们参与敌对行为。

在本文的其余部分，我们：

1. 提出一个模型来分析复杂的贿赂攻击；

2. 表明没有罚没机制的 PoS 协议容易受到贿赂攻击；

3. 表明带有罚没机制的 PoS 协议对贿赂攻击具有可量化的安全性；

4. 以及讨论了罚没的一些缺点，并提出了缓解措施；

一、模型

在介绍罚没案例之前，我们首先需要一个模型，我们将在该模型下进行分析。目前分析 PoS 协议的两个最流行的模型（拜占庭模型和博弈论均衡模型），未能捕捉到一些最具破坏性的真实世界攻击，而罚没对这些攻击起到了强大威慑作用。在本节中，我们将讨论这些现有模型以了解它们的缺点，并提出第三个模型（我们称之为贿赂分析模型）。尽管贿赂分析模型能够模拟大量攻击，但它尚未用于分析很多协议。

现有模型

在本节中，我们将简要描述拜占庭和博弈论均衡模型以及它们的缺点。

拜占庭模型

拜占庭模型规定，至多一定比例（?）的节点可以偏离协议规定的动作并执行他们选择的任何动作，而其余节点仍然遵守协议。证明一个特定的 PoS 协议能够抵抗敌对节点可以采取的拜占庭式行动，这是一个非常重要的问题。

例如，考虑最长链的 PoS 共识协议，其中活性（liveness）优先于安全性。对最长链共识安全性的早期研究，侧重于展示针对一种特定攻击的安全性（即私密双花攻击，所有拜占庭节点私下串通构建一条替代链，然后在它比最长链更长的时候才公开它）。不过，nothing-at-stake 现象提供了一个机会，可以使用相同的质押权益来提议很多区块，并使用独立的随机性来增加构建更长私有链的可能性。直到很久以后，人们才进行了广泛的研究，以表明最长链 PoS 共识协议的某些结构可以针对某些 ? 值来抵御所有攻击。

整个拜占庭容错（BFT）共识协议类别，优先考虑安全性而不是活性。他们还需要假设一个拜占庭模型来证明，对于 ? 的上限，这些协议对于任何攻击都是确定性安全的。

尽管拜占庭模型很有用，但它没有考虑任何经济激励因素。从行为角度来看，这些节点中的 ? 部分在本质上是完全对抗的，而 (1-?) 部分节点完全符合协议规范。相比之下，PoS 协议中的很大一部分节点可能会受到经济收益的驱动，并运行有利于自身利益的协议修改版本，而不是简单地遵守完整的协议规范。举一个突出的例子，考虑以太坊 PoS 协议的情况，今天大多数节点并没有运行默认的 PoS 协议，而是运行 MEV-Boost 修改协议，这是因为参与 MEV 拍卖市场会产生额外的奖励，而运行确切的规范协议则没有这额外的奖励。

博弈论均衡模型