可信中立的预确认抵押品：预确认注册表 - Layer 2
- 以太坊中文
- 发布于 2024-05-25 18:47
- 阅读 104
本文介绍了一种可信中立的预确认注册表的设计，旨在解决solo-staker在通过预确认赚取额外收益时面临的抵押品问题，并提高大型运营商选择加入预确认的资金效率。
可信中立的预确认抵押品
由 mteam from Spire Labs 撰写
受 Justin Drake 启发并审阅。
.
.
tl;dr
我们介绍了一种可信中立的预确认注册表的设计，该设计解决了希望从 preconfs 获得额外收益的单独质押者的抵押品问题，同时提高了希望选择加入预确认的大型运营商的资本效率。
.
.
介绍
任何提议者承诺设计都有一项基本要求，即 L1 提议者必须抵押一定数量的抵押品。对于基于预确认 (即使有委托) 和其他系统来说，都是如此。这种抵押品是必要的，因为根据 Ethereum 协议，L1 提议者始终可以选择自行构建区块。他们构建的区块可能违反他们已经做出的承诺 (或其他委托实体已经做出的承诺)。
在接下来的几段中，我们将介绍一个简单的系统，供提议者以 ETH (最具可信中立性的抵押品) 的形式抵押这些抵押品。该系统还使大型运营商和单独质押者都能以有效的方式抵押抵押品。
请参阅我的演示文稿介绍此主题以获得另一个介绍。
链上结构
链上结构非常简单：
我们引入 PreconfirmationRegistry L1 智能合约，该合约用作支持预确认的抵押品来源。
该合约提供 4 个功能：
惩罚
PreconfirmationRegistry 促进惩罚的应用（即，罚没、冻结）。
委托人可以选择加入哪些罚没条件。这些罚没条件可以使用 EVM 字节码函数来描述。
注册
PreconfirmationRegistry 提供了一种供注册人发布 ETH 作为抵押品的方法。注册人可以是任何实体，它在注册表中表示为 Ethereum 地址。
让注册人的抵押品余额 = 已存入的 ETH - 当前已惩罚的 ETH - 已提取的 ETH。
委托
允许注册人将其抵押品委托给提议者。
可以用于委托给任何提议者。
让提议者的抵押品余额为已委托给他们的所有注册人的注册人抵押品余额之和。
如果提议者的抵押品余额高于参数 MINIMUM_COLLATERAL，那么他们就是 preconfer。如果提议者的抵押品余额低于 MINIMUM_COLLATERAL，那么他们将不再被视为 preconfer。
当对 preconfer 处以惩罚时，该惩罚将应用于委托给违规 preconfer 的任何注册人的注册人抵押品。惩罚在委托给提议者的抵押品之间按比例分配。
注意：委托可以在链下完成，并在发生罚没事件时在链上验证。链下签名需要公开共享，以便其他人（网关）可以验证给定的提议者是否为 preconfer。
领导者选举
PrceonfirmationRegistry 还为当前的 L1 插槽选举一个领导者。它通过检查前瞻来确定下一个符合 preconfer 条件的提议者（满足 MINIMUM_COLLATERAL 阈值）。Based Rollup 可以选择这个被选举的领导者作为他们的链的排序器，以通过共享排序来实现可组合性。
我们称这个领导者为注册表赞助的领导者。任何对可组合性感兴趣的 rollup 都可以使用这个领导者。对领导者有其他要求的 Rollup（监管、财务）可以使用他们自己的领导者选举系统，但可以使用注册表赞助的领导者作为起点。
\
image1658×948 110 KB链下结构
承销商
我们引入的最重要的链下结构是承销商。承销商充当注册人，并代表一组提议者将至少 MINIMUM_COLLATERAL ETH 作为抵押品发布到 PreconfirmationRegistry 合约。承销商以任何形式（流动性质押代币、股权、声誉）接受提议者的抵押品。
承销商可以是无需信任的 DeFi 应用程序、链下做市商等。
提议者池
虽然大型质押运营商在许多提议者之间形成大型信任网络，并且可以自行提供抵押品，但单独质押者无法获得相同的资源。
单独质押者可以形成“提议者池”，将所有 ETH 重新质押到单个注册人（通过承销商）以达到 MINIMUM_COLLATERAL 或更高的注册人余额。
注意：提议者池具有 1/n 信任模型：单个提议者可能会为了获得可观的利润而违背预确认承诺，但整个池将受到惩罚。为了抑制这种情况，提议者池可以设计成 EL 奖励在池中的所有提议者之间分配（类似于平滑池）。随着 MaxEB 增加到 MINIMUM_COLLATERAL 以上和 DVT，信任模型变为 n/3。
\
image1521×1672 280 KB考量因素
- 可信中立性：
PreconfirmationRegistry仅接受最纯粹的抵押品形式：ETH。这避免了对任何 LST/LRT 的依赖，并最大限度地降低了智能合约风险。 - 中心化：
PreconfirmationRegistry不引入任何需要许可的角色。承销商中心化对协议没有危险。 - 抵押品脱钩风险：外部抵押品脱钩 不会影响支持 preconfer 的抵押品。承销商仅容易受到永久性脱钩的影响，因为他们不会在临时脱钩事件中被迫出售。
- 智能合约风险：
PreconfirmationRegistry是一个非常简单的合约，但应该经过广泛的审计。承销商特别有动力审计PreconfirmationRegistry合约。 - 路线图兼容性： 提议者池在 MaxEB 增加 (如 EIP-7251) 和 DVT 的情况下具有更好的信任模型。 凭借 ePBS, 执行凭证, 执行拍卖 / APS-Burn 或任何其他提议者不担任垄断排序器的升级，
PreconfirmationRegistry不再有用。 - 大规模退出： 为了避免注册人撤回主动支持预确认的抵押品的情况，必须延迟退出。 这要求提议者可以存在三种状态：
[INCLUDER, EXITING, PRECONFER]。 新的预确认不应得到EXITING提议者的抵押品的支持。 - 强制驱逐： 在惩罚事件中，某些 preconfer 可能不再有足够的未受惩罚的抵押品来支持他们的预确认。 如果这些 preconfer 位于前瞻中并主动提供预确认，则必须立即退出并被视为
INCLUDER提议者。 希望避免强制驱逐其委托的提议者的注册人应将其注册人余额充值到远高于MINIMUM_COLLATERAL的水平。 - Preconf 链接： 大多数预确认仅由单个提议者（因此是单个抵押品余额）支持，这使注册人可以同时委托给多个提议者。 在某些情况下，预确认由多个提议者支持（考虑有条件的预确认或多区块预确认）。 在这些情况下，支持预确认的抵押品是所涉及提议者的组合唯一提议者抵押品余额。 对于具有更多委托人的注册人，使用相同抵押品的 preconf 链应用于提议者的可能性更高，因此注册人能够负担得起发布额外的抵押品。
奖励：动态抵押品要求
MINIMUM_COLLATERAL 参数是预确认安全性和引导强大的 Preconfer 集的关键参数。 事先为所有预确认设置 MINIMUM_COLLATERAL 可能会导致效率低下。 例如，许多零售用户不需要数千个 ETH 支持他们的预确认。 事实上，许多类型的交易（ETH/ERC20 转账）对时间不敏感； 这些交易的预确认不需要大量的抵押品。
解决这种低效问题的方法是设置较低的 MINIMUM_COLLATERAL 参数，并允许用户设置自己的抵押品要求（类似于 用户定义的惩罚：确保诚实的 Preconf 行为 by 来自 Blockchain Capital 的 Jonah）。
请注意，仍然有必要设置一个重要的 MINIMUM_COLLATERAL 值（可能超过 32 个 ETH）以避免不利的选择问题：如果低抵押 Preconfer 首先出现在前瞻中，即使高抵押 Preconfer 是下一个，用户可能也无法获得具有高抵押支持的预确认。 需要进行更多研究来确定此参数。
奖励：罚没条件
罚没条件代表提议者和用户之间的一般协议。 委托人（提议者）可以选择使用哪些罚没条件。 为了声明他们的偏好，委托人可以签署代表函数的 EVM 字节码。 执行时，此字节码返回应应用的惩罚：
struct Penalty {
uint weiSlashed,
uint weiFrozen,
uint blocksFrozen,
// other penalties //
}
希望激励提议者采用其罚没条件的 Rollup 可以设置激励措施（代币、费用等）（在注册表之外）。
注意：注册人也可以为其委托人选择罚没条件。 例如，承销商可以接受运营商的抵押品，并注册运营商想要的罚没条件。 这只是一种让运营商管理他们需要考虑的罚没条件的方式。
参考资料+资源
所有使用的文件都可以在这里找到。
特别有用：
- Justin's Based Rollup 文章
- Justin’s 基于预确认 文章
- Jonah’s 用户自定义的惩罚... 文章
- Limechain's 基于预确认研究 仓库
类似（不相关）的工作：
- 原文链接： ethresear.ch/t/credibly-...
- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～
