共享排序器正在飞速发展，是时候对它是什么及其存在的原因进行深入分析了。这篇文章分析的对象仅限于OptimisticRollup，欢迎ZK关注者前来指教。排序器是什么？
排序器是OptimisticRollup中的半信任化角色。虽然交易可以由主链本身进行排序，但这并不经济，用户必须单独提交其Rollup交易对应的主链交易，并支付主链上费用。排序器通过允许Rollup交易共享单个主链交易来为用户解决这些问题。排序器聚合链下的多笔用户交易来补充主链的排序，并将它们作为单个交易集合提交到主链，交易成本在用户间分摊。排序器还可以压缩交易集合，进一步节省主链数据可用性成本。与依赖排序器的用户相比，自主排序的用户将为包含在Rollup中的交易支付更多费用。但是，排序器可以对交易集合中的交易排序进行控制。它可以选择不包含用户交易，从而迫使用户自行排序，支付更高的主链成本。它还可以通过重新排序和插入提取的方法在交易集合中提取MEV。它们实际上拥有对Rollup的优先写入权限。值得注意的是，因为排序器可以与合约交互，所以只有绝对可靠的交易才能通过链上机制可靠地强制执行，不可靠的交易在强制排序时很可能会失败。这使得排序器成为Rollup用户的半信任方。虽然排序器无法阻止用户访问Rollup，但他们可以延迟用户的访问，导致用户承担额外的费用，并从用户的交易中提取价值。通过去中心化进一步约束排序器的行为是一个活跃的研究课题。排序和执行有什么区别？
排序器是主链排序的补充，它不计算Rollup的状态，实际上它可能会选择对无效交易进行排序。Rollup节点必须解析和清理排序数据，导出Rollup的有效历史记录，并执行历史记录以生成最新状态。排序器则完全不参与此过程。不过，正如我的朋友Fred不断提醒我的那样，一旦交易被排序，结果就是确定的。这意味着所有Rollup节点将根据排序器生成的顺序达成一致结果。给定已知历史，Rollup有一个正确的状态。一旦节点找到这个状态，一个或多个提议者会将其提交给主链的Rollup合约。理论上，任何节点都可以是提议者，不需要任何权限。提议者将状态连同保证金一起提交给主链。如果欺诈证明结果是状态无效，保证金就会被没收。该合约在计时器结束后接受证明，然后其中包含的用户交易在主链上执行。执行节点通过欺诈游戏确保提议者诚实，我们倾向于将执行节点称为「Rollup全节点」或「验证者」。换句话说，一旦排序被提交到主链，状态就变成最终的和不可变的。提议者计算并报告最终状态给Rollup合约，以维护Rollup到主链的资产桥的利益。提议者不会创造状态，他们只是计算并证明它。Rollup合约不会创建或最终确定Rollup，它只是从提议者那里获得Rollup状态。为什么要将排序和提议分离？
消息：摩根大通报告解释ETH为何会跑赢大市场:4月28日，加密交易所Gemini商业开发部门亚洲地区主管Eugene Ng在推特上发布消息称，当华尔街的银行开始使用像ETH这样的竞争币时，您就会知道我们很快就会进入竞争币季节。他推文中还包括了一种来自摩根大通的截图。该截图来自摩根大通于4月27日发布的《北美固定收益策略》报告，该部分讲到了ETH为何跑赢大市场。[2021/4/28 21:08:22]
这是一个复杂的问题。从根本上说，将它们分开是因为它们本身是分开的。这听起来像是同义反复，但似乎每个人都花了很长时间才意识到这一点。我们蓦然回首，才发现Rollup的思想历史多年来一直在Plasma和状态通道中曲折发展。在基于比特币的proto-Rollup早期，并没有排序器，用户只需将他们的交易发布到主链。之后，这种设计消失多年，最终因为Barry的工作重新出现。在Barry和Celestia之间，Rollup的研究主要集中在Rollup桥与主链的交互上。在SovereignRollup出现之前，甚至没有人意识到我们其实在构建更好的Mastercoin。抛开出处不谈，排序器解决了一个特定的问题：用户交易成本最小化。然而，这个过程中又引入了一个新问题：排序器可以同时对同一交易产生多个排序结果。如果排序完全由主链完成，将会有一个单一的规范排序，但用户交易费用会更昂贵。我们选择使用排序器来改善Rollup中的用户体验。假设存在很多个排序器，因为有多个提议者。排序器们可以提交相互冲突的排序，我们现在需要一种机制来「规范」主链上的特定排序批次。当前的Rollup通过一个单一的、特定的、已知的、半可信的排序器来实现这一点。选择单个排序器使我们能够解决这个问题，直到去中心化排序器到来。因为我们想要多个提议者，但只需要一个排序器，所以必须将这两个角色分开。数据依赖性是另一个重要的原因：提议者需要排序，但是排序器不需要状态。提议者依赖于排序器工作的输出，但是排序器不依赖于提议者。因为数据依赖是单向的，所以需要在角色之间划定界限，并允许参与者专注于单一角色。为了回答最初的问题，我们将提议者和排序器分开，因为它们本身是分开的。提议者在排序器的下游工作。Rollup将信任和权威授予了排序器，而提议者只是一个普通工作人员。排序器、提议者和验证者现状
动态 | 智能投顾公司Wealthfront创始人解释为何其投资服务不包含加密货币:智能投顾公司Wealthfront创始人Andy Rachleff称，公司聚焦于千禧一代投资者，应用程序链接到Coinbase，用户可查看加密货币余额，但在Wealthfront的投资服务不包含加密货币。
其表示，公司曾发文解释关于比特币的立场。公司专注于经时间考验、学术验证的投资方法，这就是为何Wealthfront提供基于多元化和再平衡的低成本指数基金投资组合的投资服务。这项研究清楚表明，从长远来看，人们（甚至专业人士）不擅长超越市场，实际上远不如市场表现。Robinhood等公司为那些自己动手、试图挑战研究结论的人服务。我敢打，如果你评估Robinhood客户表现，那将特别糟糕。因此，我们正努力为客户做长期来看最好的事情，作为前专业投资者，我学到的一件事是，为了让某样东西成为投资，必须有现金流。如果没有现金流，那就是投机。比如贵金属是投机，而不是投资。你不会看到老练的投资公司会购买贵金属。那只是投机。这就是为何加密货币不是我们投资服务的一部分。我们告诉人们，“听着，如果你想用游戏费来做这件事，我们欢迎你这么做，但应该控制在净资产的10%以下。”（The Block）[2019/12/4]
Arbitrum和Optimism是两种常见的ORU方案。我想简要介绍一下他们中的主要角色，不会涉及到代码，只是规范和文档。Optimism的讨论将仅限于Bedrock设计。Arbitrum
除了批处理和压缩用户交易外，Arbitrum排序器还运行一个完整的节点。交易被直接发送到排序器，它在交易排序时创建一个可信的WebSocket提要。Arbitrum将此提要作为「软」确认来源。排序器对排序结果作出承诺，用户通常可以依赖该排序。节点、MEV搜索者或其他参与者可以使用此提要来预先计算Rollup状态。排序器会定期将经过排序的压缩交易发布到主链。主链最终确定代表Rollup的「硬」确认。一旦主链确定了排序，它就成为Arbitrum链上不可更改的部分，其中排序的所有交易都成为最终状态，结果状态也成为最终状态。自然地，因为排序器设置交易顺序，所以它具有优先写入权限。排序器可以控制排序的内容，从而控制Rollup历史中交易的排序。当然，用户可以通过主链上的delayedinbox强制包含交易。搜索者已经竭尽全力将WebSocket交易提要的延迟降到最低，因此他们很可能会形成一个强大的MEV市场来对Arbitrum交易进行排序。有13个经过许可的Arbitrum提议者，他们中每一个都在名为「RBlock」的特定承诺中托管了ETH。用户可以选择依赖一定比例的质押来做出关于Rollup的最终决定，而无需运行Rollup完整节点。虽然Arbtirum验证者可以识别欺诈，但只有提议者可以通过欺诈证明质疑承诺的有效性。实际上，只有提议者可以成为完整的验证者。
动态 | 李启威连发数十条推文释疑：为何看起来Litecoin Core在GitHub没有更新:刚刚莱特币创始李启威连发数十条推文，介绍了莱特币的代码更新情况和开发进展。他表示在8年来，只有少于开发人员致力于Litecoin Core。Adrian Gallagher目前正在领导Litecoin Core的开发，并且已经进行了几年，大家可能不太了解Adrian，因为他不在推特上，但他很棒，他正在悄悄地做Litecoin Core开发的幕后工作。
最近有很多人质疑莱特币在2019年没有更新任何代码，从GitHub上看似乎这样，但这里有两个原因：第一个是莱特币的更新要比比特币滞后几个月，我们发布了几个月前在比特币中发布的代码，这些代码是在2018年编写的。GitHub的有趣之处在于，它使提交的时间保持不变，不管是谁写的，还是什么时候提交到代码库的。因此，比特币开发者因在莱特币代码库中的工作而受到好评。这就会让人看起来，尽管在2019年5月开发并发布了最新的Litecoin Core，但在GitHub你会发现大多数提交都是在2018年完成的。第二个原因是我们没有在主要项目的主分支上工作，将非发布代码签入主分支通常不是好的开发实践。事实上，Adrian一直在他的个人分支上积极地开发Litecoin核心版本0.18.1。
以上是Litecoin Core开发多年来的运作方式，我们去年甚至遇到了用户相同的担忧，有人去年看了我们的主分支工作并声称Litecoin在2018年停止了开发。我打即使在这个解释之后，我们也会在2020年让人感到困惑。
另外，李启威还表示Litecoin Foundation的目的有两个方面：致力于LTC的推广和开发。“在过去的几个月里，我认为一直认为推广比开发更重要，但从长远来看，这两者同样重要。我会努力与社区进行更好的沟通，并提供更频繁的消息同步。”[2019/8/11]
声音 | 亿万富翁Druckenmiller：不理解为何需要比特币:据华尔街见闻消息，亿万富翁Stanley Druckenmiller表示，并不理解美联储为何被困在2%这一通胀目标。目前并没有陷入衰退，但必须保持警惕。此外，Druckenmiller还称不理解为何需要比特币，他既不会沽空、也不会做多比特币。[2019/6/4]
正义，就像一个排序器，是盲目的，它必须带着剑Optimism
与Arbitrum一样，除了批处理和压缩用户交易外，Optimism排序器也运行一个完整的节点。交易直接发送到排序器，排序器在排序时创建可信的预确认。Optimism用户可以使用这些确认作为最终软确认的来源。排序器对排序作出承诺，用户通常可以依赖该排序。节点、MEV搜索者或其他参与者可以使用这些确认来预先计算Rollup状态。排序器会定期将经过排序的压缩交易发布到主链。主链最终确定代表Rollup的「硬」确认。一旦主链确定了序列，它就成为Optimism链历史中不可更改的一部分。其中排序的所有交易都成为最终状态，结果状态也成为最终状态。自然地，因排序器设置交易顺序，所以它具有优先写入权限。排序器可以控制排序的内容，从而控制Rollup历史中交易的排序。当然，用户可以通过在主链强制包含交易。作为MEV拍卖概念的发起者，一个用于排序Optimism交易的强大MEV市场似乎将要形成。Optimism有1个经过许可的提议者。该提议者签署了对主链的特定承诺，称为「状态输出」或「L2输出根」。用户在做出关于Rollup的最终决定时可以选择依赖提议者，而无需运行Rollup全节点。虽然Optimism验证者可以识别欺诈，但只有一个经过许可的挑战者可以通过签名来挑战承诺的有效性。挑战者可以随时删除一个L2输出根，无需欺诈证明。实际上，只有获得许可的挑战者才能成为完整的验证者。小结
说唱歌手Akon与社交加密平台Roll达成合作:金色财经报道，说唱歌手及加密货币企业家Akon今天宣布与社交货币平台Roll建立合作伙伴关系。Akon团队将为在Roll上创建自己的加密货币的非洲影响者提供支持。新创作者还可以选择将部分收入捐赠给Akon的企业。此前消息，美国歌手Akon旗下加密货币项目Akon City将于2021年开始建设。[2020/10/22]
当前两个主要的Rollup都集中在同一种设计上，它可能会变得非常混乱。他们经常对同一个概念使用不同的名称，但他们的设计几乎相同。
共享排序器
在对排序器有了新的理解后，让我们继续讨论我真正想谈的内容：共享排序器。当Rollup共享同一个排序器时会发生什么？不同的Rollup是什么意思？
借用Ben的定义，我们应该将Rollup视为状态、状态转换函数和证明系统。Rollup有合约和账户，它有一个虚拟机来处理交易以更新这些合约和账户，而非主权Rollup有一个证明系统来运行与主链的桥接。每个组件有多种设计，它们可以在一定程度上混合搭配。但是，有些组件比其他组件更平等。总的来说，我们大概应该把状态看作是链的本质。链不倾向于改变它们的状态。毕竟，以太坊开发者多次更改虚拟机，多次更改共识机制，但只更改过一次状态。状态即是Rollup，虚拟机和证明系统的存在是为了支持它。因此，不同的Rollup具有不同的状态。它们可能共享一个证明系统或一个STF，但两个Rollup永远不可能共享相同的状态。提取、检查和过滤
Rollup从主链历史中获取它们的状态。为了做到这一点，每个Rollup都必须定义一个「提取」函数。提取函数将主链历史分为Rollup历史和non-Rollup历史。STF处理Rollup历史以创建Rollup状态。实际上，提取功能变成了一个「镜头」，Rollup通过它检查主链。Rollup使排序器能够选择提取函数下一次运行的输出。排序器选择Rollup节点下一步将看到和处理的数据，因此对STF的操作和下一个状态有一定的控制。在排序器创建主链数据视图后，Rollup节点运行过滤功能。因为排序器不一定知道它所服务的Rollup的状态，所以允许在其排序中包含无效交易。提取后，Rollup节点会看到这些无效交易，并将其删除。当给定无效交易时，Rollup节点不会出错，而是简单地忽略它并继续。L1必须禁止垃圾信息以保持共识，而Rollup则不需要。共享排序器
共享排序器为两个或多个Rollup的提取函数提供输入。因此，它为两者设置新的历史记录，控制STF的输入。它可以单独为每个Rollup执行此操作，也可以同时为两者执行此操作。单独设置历史记录时，它的工作方式与未共享的排序器完全相同。然而，当同时为两个Rollup创建新的历史记录时，共享排序器可以通过原子「链接」两个Rollup的历史记录来行使一些额外的权力。排序器同时为每个Rollup生成序列，并确保两者都确认或都不确认。这允许排序器对两条链的历史进行控制，因此对Rollup的下一个状态有一定程度的控制。原子包含
在这一点上，我必须重申，排序器可以对其产生的排序行使很大的自由裁量权。这意味着虽然用户可以使用共享排序器在多个Rollup上进行交易，而无需与主链进行交互，但他们不一定依赖排序器在这些交易之间产生任何特定的关系。共享排序器的支持者设想了一种新结构，用户可以在其中指定包含的原子性，即可以强制排序器通过共享强制排序机制同时对多个Rollup中的一组交易进行排序。这将允许用户确保所有这些原子交易都包含在Rollup历史中，或者全部不包含。这并不像看起来那么好。因为只有绝对可靠的交易才能强制排序，只有绝对可靠的交易集才能保证在原子包含时原子执行。正如我们之前所说，包含和执行是分开的。Rollup在包含之后和执行之前通过过滤器功能过滤掉无效交易。假设排序器获取用户的原子集，并导致一个交易失败或失效。该交易将在排序后被过滤，并且不会执行。这意味着原子包含不足以保证原子执行，除非涉及的所有交易都是绝对可靠的。具体而言，可以原子执行简单的发送和取款，但任何容易出错的东西，如交换或DeFi交互，都不能。不幸的是，大多数高价值交互都包含1个或多个容易出错的交易，因此似乎很难使原子包含发挥作用。这有效地排除了通过共享排序器进行交叉Rollup的DeFi可组合性。共享排序器不是灵丹妙药，用户的资产可能被锁定在异步跨链模型中，直到流程结束。Rollup组合的原子执行
还记得之前谈到的排序器如何在将排序发布到主链之前提供可信的执行保证吗？您可以设想一个共享排序器针对多Rollup系统做同样的事情。共享排序器可以运行每个Rollup的完整节点，并使用它们来确定交易是否成功。然后它可以承诺它不会产生原子交易集不全部成功的排序。当然，这个系统是值得信任的。你会相信排序器不会说谎。您现在可能在想「我们可以通过限制排序器的行为将其转换为免信任的系统吗？」我很高兴/悲伤/困惑地说答案是「是的，但是」。是的，但我们这样做的方法是组合每个Rollup的STF，以创建一个执行所有组合Rollup交易的单个STF。也就是说，我们必须使所有Rollup之间的所有虚拟机原子化。这相当于使它们成为相同的Rollup。所以是的，我们可以实现不受信任的原子执行，方法是通过将多个Rollup合并为一个。这可能是个好主意1,但我怀疑它的可行性。偶然性关系的原子执行
我在别处写过这个，另一个可靠的选择是在交易和Rollup状态之间集成显式的偶然关系。这会将评估突发事件的负担转移到提议者身上，因为他们必须根据他们对远程Rollup的信任来计算和提议状态根。但是，我认为我们可以通过重复应用过滤器功能来简化它。假设偶然性在某个交易和区块中是明确的，我们可以运行两次过滤器，一次假设预测的状态有效，一次假设预测的状态无效。这可以扩展到n个预测状态，代价是对过滤器函数进行2^n次评估.在这个世界上，提议者可以证明2^n个根，每个根都有明确的偶然关系。例如，提议者可以证明「根是X取决于远程Rollup状态A，否则是Y」，而不是说「根是X」。这样，提议者就不会永远评估远程Rollup区块。相反，他们会根据来自其他状态的假设信息，多次评估自己的过滤函数和状态。这真的很酷，因为它保留了Rollup的分离，同时仍然允许复杂的即时交叉Rollup通信。结论
排序器是钟表匠巧夺天工之作，它设置Rollup历史记录，然后看着它滴答滴答地走到它的命定状态。Optimism和Arbitrum并无多大差别，但两者安全性确有不同。没有人知道排序器是做什么的。共享排序器可以进行原子包含，但不能进行原子执行，如果没有Rollup组合或其他一些执行机制，就无法将原子包含纳入原子执行。所有这些关于共享排序器实现无缝互操作性的吹嘘都是垃圾科学。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。