ETHPrague 活动期间，Scroll 的研究员 Toghrul Maharramov 发表了关于 zkRollup 中的排序器和证明者分离的演讲。

以下是演讲全文和听录部分：

排序器和证明者

排序器按顺序处理交易，证明者负责计算零知识证明

排序器去中心化：经典共识机制

在 zkRollup 中使用经典共识机制可以快速确认，保留 MEV。但为 Rollup 实现弹性机制很复杂，需要在排序器故障时，可以确保交易连续性的备份机制。    

排序器去中心化：Based Rollup

Based Rollup 使用 L1 排序器来构建和提交交易批次到 L1，与以太坊紧密整合，但确认时间较慢，取决于以太坊的最终确定性，并且 MEV 将存留在以太坊主网上。

证明者去中心化：Nakamoto 机制

在 zkRollup 中可以通过实现竞争机制激励证明者，来防止中心化和维护协议的弹性。但 Nakamoto 共识机制中的零知识证明缺乏随机性，导致效率最高的证明者总是胜出，可能危及协议的弹性。

证明者去中心化：插槽分配

在 zkRollup 中，提出了类似以太坊 Gasper 的插槽分配方案，其中使用伪随机函数和计时器来决定每个插槽的证明者，并在所分配的证明者计时器失效后可以无需许可地回退。

PBS 方案

在无需许可的系统中，激励区块提议者和构建者参与，需要采用提议者和构建者分离的方案（PBS）。区块提议者是插槽的 Leader，区块构建者在最高价拍卖机制下出价，由区块提议者选择相应的区块构建者。

排序器和证明者分离

在 zkRollup 中，排序器将作为插槽初始阶段的区块构建者角色，证明者将作为插槽初始阶段的区块提议者角色。

排序器构建区块并参加拍卖，证明者选择出价最高的区块并传播其签名，确保协议激励的公平分配。

随后排序器签署并揭示区块内容，确保协议激励由自由市场决定了公平分配。

该协议设计的优势是，允许通过将不同的证明者分配到不同的插槽并允许它们并行计算证明来增加 TPS，并且通过自由市场决定了收益分配的比例。

在排序器和证明者分离的方案下，我们的目标是构建一个简明、通用、高效、中立和去中心化的协议，其中验证者的成本更高，考虑到激励和去中心化的问题。

近期虚假账号泛滥，请认准下方官方链接

📜    Scroll

Website: https://scroll.io/
Twitter: 

- https://twitter.com/Scroll_ZKP

- https://twitter.com/BuildWithScroll

Discord: https://discord.com/invite/scroll
Github: https://github.com/scroll-tech
Youtube: https://www.youtube.com/@Scroll_ZKP

🇨🇳 Scroll CN

Linktree: https://linktr.ee/scrollcn

WeChat: Scroll CN

Twitter: https://twitter.com/Scroll_CN

Github: https://github.com/Scroll-CN
Mora: https://mora.app/planet/gltju-4iaaa-aaaan-qdcnq-cai