- 协议内精选委派
- 动态解绑期
- 验证器集群的筛选
- 代币的发行
如果某个验证器遭到削减，则其背后的原生代币数量会减少，因此其验证器代币的价值也会降低。然而，验证器代币之间的比例保持不变。例如，假设有一个篮子，其中包含两个比例相等的验证器，如果其中一个验证器遭到完全的社会性削减，篮子代币仍然等同于相同数量的验证器代币，但是被削减的验证器代币背后没有任何原生代币，因此篮子代币的价值现在仅为原来的一半。
为了理解第三方如何更新篮子的组成以及如何在不同的LST之间转换，我们首先必须理解一个新的解绑机制。
动态解绑期即便协议不想添加原生的精选委派工具，他们也需要修改解绑机制以适应LST协议的存在。
LST使得攻击原生协议的成本显著降低。要更改为恶意验证器集合，攻击者不再需要利用原生代币。相反，他们只需针对LST协议发起攻击。
这一点极其关键，因为质押者被激励使用LST，并且无法阻止他们这样做。按照相同的逻辑，也不可能创造一个能使攻击变得昂贵的LST协议。
因为用户被激励使用LST，并且LST实质上允许攻击者绕过通常在解绑期间会发生的削减，原生协议需要重新考虑让攻击变得更加昂贵的机制。
任何使攻击更加昂贵的新机制必须由协议强制执行。如果一个机制可以通过包装一个代币来绕过，并且如果用户被激励这样做，那么他们将会绕过它（注意，并非所有共同作者都同意这一点）。一个这样的机制是限制验证器集合的变化率。
如果LST允许攻击者绕过解绑期间的削减，而且原生协议可以通过限制验证器集合的变化率来使攻击变得更加昂贵，那么改变解绑期以基于验证器集合的变化率是有意义的。解绑期不必对每次解绑都设定一个固定的时间期限，而是可以根据验证器集合的变化程度动态调整。
通过限制验证器集合变化率来增加攻击成本由于网络无法阻止质押者使用LST，他们需要采取其他机制来增加攻击成本。他们可以通过限制验证器集合的变化率来实现这一点。
验证器集合变化的时间越长，攻击网络的成本就越高。限制验证器集合的变化率并不保证攻击不会成功，它只是降低了攻击的潜在利润。
例如，假设有一个LST协议通过自己的代币来决定原生协议的验证器集合。攻击者可以借用LST协议的代币，更改原生协议的验证器集合，然后归还借来的LST协议代币。在当前情况下，这种攻击理论上可以在一个区块时间内完成。
如果限制了验证器集合的变化率，那么，即使是在需要支付借用LST协议代币的溢价的情况下，攻击者也至少需要支付更多的费用。再次强调，这并不保证攻击不会成功，它只是降低了攻击的潜在利润。权益证明（PoS）系统本质上仍然存在漏洞。
解绑队列逻辑通过使用队列，可以实现限制验证器集合变化率的目标。每个区块都处理队列中的变更，直到变化率超过允许的限制为止。如果某个变更不会增加验证器集合的变化率，则队列会被绕过，该变更将立即生效。
变化率的具体曲线有些任意，本文没有对此进行详细讨论。这需要广泛的分析。根据这条曲线，如果在最后一个解绑期间，验证器集合的变化少于10%，所有的转换和解绑都是即时的。一旦超过这个阈值，转换和解绑将进入队列。
因此，所有质押者不需要等待一个固定的超时时间。如果验证器集合在解绑期间没有显著变化，那么队列将为空，委托人将能够在单个区块内安全地解绑。解绑后，变化率增加。如果验证器集合在解绑期间变化过快，则委托人将无法立即解绑。相反，他们将被加入到队列中，直到他们的解绑请求被处理。
一个可能的变化率曲线如下所示，仅供演示之用，尚未证明其安全性：
以下是一段旨在阐明高级队列逻辑的非常基础的伪代码示例。在这个示例中，验证器集合的每一个变动都将被编译成一个Change结构体。这适用于，比如说，当一个委托人想要解绑，或者想在两个LST之间进行转换时。
这种新的解绑机制的另一个主要优势，在于能够最大程度地缩短将一个LST转换成另一个LST所需的时间。这与解绑问题是一致的，因此都必须遵循相同的速率限制并被纳入同一个队列中处理。
不同LST之间的转换
就像解绑操作一样，两个不同LST之间的转换也是通过受到验证器集变化百分比限制的同一队列来管理的。
比如，假设总投票权为100代币，而解绑期间的最大变化率定为33%。那么，在第一个解绑期，能够转换成完全不同LST的最大代币数量将是33代币。为了转换剩余的67代币，委托人必须等待，总共经过3个解绑期。
然而，如果两个LST并非完全不同，情况就会变得更加有趣。
例如，在一个总投票权为100代币，最大变化率为33%的相似场景中，如果我们想将所有100代币转换成另一个LST，但这个转换只导致了50%的投票权变化，那么所需时间会减半，因为验证器集合只变化了50%，而非100%。
同样，每次转换不必然导致验证器集合变化率的提升。也有可能，LST之间的转换实际上减少了验证器集合的变化率，在这种情况下，转换可以立即执行。
更新策展
更新验证器子集的组成与LST之间的转换是同一问题，因此必须采用相同的队列机制进行处理。
通过插队进一步优化队列处理
队列的处理可以通过增加合并相反转换的能力来进一步优化。比如说，如果队列中存在两个相对的转换，且队列顶部的转换（等待时间最长的）与队列底部的转换（将更快被处理的）合并后能够降低验证器集合的总变化率，则这两个转换可以被批处理。这使得位于队列末端的人可以“插队”，通过合并两个转换来缩减队列的总长度，并减少验证器集合的总体变化。
批处理是一个复杂的操作，我们可能并不希望状态机在每个区块上都执行这一操作。由于用户可能希望尽可能快地解绑或转换，这种动机将激励他们手动寻找并支付燃料费用，在队列中批处理他们的解绑/转换操作。
防止队列滥用
为了防止用户或桥接程序通过提交无限量的转换请求来填满队列，从而阻止所有用户能够转换他们的LST或解绑，必须有额外的规则。这个规则规定，用户不能在队列中提交超过他们已委托量的转换或解绑请求。例如，如果用户解绑了一半的委托，但随后尝试将所有委托转换为不同的LST，必须有某种机制来阻止这种情况发生。一种可能的实现是取消最早的解绑/转换请求。
激励空队列
与现有的解绑机制一致，一旦请求进入队列，用户或桥接程序将停止获得奖励。这意味着，他们被激励只有在队列已经空了，或者只有在必要时才改变他们的LST组成或进行转换。
对抗垄断垄断是不利的，主要是因为它们被激励并且完全有能力获取不当的利益份额。在LST的情况下，它们还使攻击原生协议变得更便宜。例如，如果存在许多LST，攻击者至少需要攻击多个LST协议才能足够改变验证器集合来实施攻击。
LST存在成为垄断的动机。实际上，如果LST协议成为垄断，它将能够捕获更多的价值。常见的对LST反对意见是，新代币的网络效应也使得竞争LST难以获得关注。
为了抵抗垄断，协议必须使得分叉和转换LST变得有利可图。
通过前述机制的结合，协议大大降低了分叉和转换LST的成本。第三方可以无需许可和无缝地夺取LST创建者所赚取的利润。
这是因为，转换不同LST所需的时间现在取决于它们的组成和验证器集合的变化量。LST捕获的价值越多，对其进行分叉的动机就越大。虽然垄断仍有可能形成，但只有当垄断所提取的价值低于分叉和转换的成本时，这才可能发生。本文未试图估算这些成本，以量化分叉LST的盈利性。
对流行LST的吸血鬼攻击以下是LST创建者和委托人出现的一些激励措施：
- 选择高质量的去中心化验证器子集，因为这容易操作且他们不想被削减（所有形式的削减，特别是社会性削减）。
- 选择与其他人相似的验证器集合，因为这样可以快速在不同的LST之间转换。
- 控制自己的LST，因为这样可以赚取收入。
- 可以认为，相比于现有机制，新的解绑机制提供了更高的安全性。
- 第三方可以捕获原本由LST协议捕获的价值。
- 轻松委托给大量精选的验证器变得简单。
- 每个桥接都被激励控制自己的LST，这意味着我们将拥有更去中心化的验证器集合控制权。除了避免垄断的外部性，这可能进一步增加攻击的成本和难度。
- LST创建者被激励就高质量的去中心化验证器集合达成共识。
- 虽然拥有无需许可和无缝分叉现有LST的能力在一定程度上抑制了验证器集合的垄断化，但这种程度不清楚。
- 由于这些机制设定了多种新的激励措施，几乎可以保证会有未预料到的，可能是不希望的外部性。
- 这种机制减慢了验证器集合变化的速度，且有激励使LST创建者互相模仿。不限制验证器集合变化率的机制是不安全的，因此我们将不得不转向某种确实限制了变化率的机制。
- 这种机制可能增加了状态机的大小。话虽如此，一些LST逻辑将存在于某个地方，而且由于该逻辑对协议的安全至关重要，将其放在可以通过社会共识进行硬分叉和修复漏洞或社会性削减的地方可能是值得的，这与将委托逻辑保留在协议内的原因相同。还值得注意的是，当前的质押和分配机制是极其低效的。例如，每个委托人不需要频繁领取奖励，奖励可以自动一次性存入每个验证器代币的质押品中，这些机制实际上可能简化并减少状态机的大小。权益证明（PoS）仍然根本上存在缺陷，但如果我们改变解绑机制，我们至少可以争取一些时间来寻找合适的解决方案。
- 可以进行大量工作来找到一个最佳的解绑率。不同的率可能会改变激励措施，这些改变是不清楚的。实际上，虽然拥有分叉现有LST的能力只会损害垄断，但这种程度不清楚。
- 真正修复权益证明问题。
- 更深入地研究MEV部分，并考虑其对整体生态的影响。
