对arbitrum的简明理解：多轮交互式汇总方案

雍和比特币

裁定庭企图经过切割争议并一起处理多个争议建议来完结更有用的处理计划。引荐阅览：连锁新闻精选|阅览以太坊扩容抢手玩家arbitrum

原题：对裁定判决的简略了解最近，uniswap和sushiswap计划运用arbitrum的L2处理计划，这使得arbitrum成为人们重视的以太坊L2处理计划。那么，怎么了解裁定呢？Arbitrum也是rollups系列的L2处理计划以太坊layer2有许多处理计划，其间最盛行的是rollups系列。之前，bluefox的notes介绍了optimitc汇总和ZK汇总。您能够参阅“了解ZK汇总和最佳汇总：以太坊的一个重要扩展方向”一文。Arbitrum也是rollups系列的处理计划。这些处理计划基本上把安全性放在以太坊链上，而核算和存储则在以太坊链下履行。简言之，参加者向以太坊链提交买卖数据，用户能够查看买卖，但买卖的核算和存储是在链外进行的。Arbitrum会定时将完好的状况散列发送到以太坊，以太坊将作为成果放在链上，这样它就不会被篡改，是终究的。相对而言，arbitrum和optimal rollups在结构思想上是类似的，都归于成果验证中的诈骗证明领域，而ZK rollups则归于加密有用性证明领域。在条件假定下，防诈骗汇总假定提交链上的成果是可用的，任何人都能够提取和履行第1层的买卖数据，并经过比较状况查看合同履行是否正确。加密证明类rollups选用数学办法，经过零常识证明完结其有用性，本质上不行假造。因而，加密有用性证明归于自动证明，诈骗性证明归于被迫证明。当人们对成果有贰言时，就会发生胶葛，需求裁定。总的来说，ZK rollups具有更高的安全性和更快的完结性，这意味着它的提取时刻更快，更适合于传输场景。可是，最优汇总和裁定计划都有一个应战期，在终究承认和吊销钱银之前，需求完毕这个应战期。这是它的缺陷。可是，ZK rollups需求生成加密有用性证明，这是十分贵重和贵重的，需求一段时刻才干老练。从长远来看，ZK rollpus或许是终究的处理计划，但ZK rollpus的老练和落地需求更长的时刻，以太坊的扩张需求更为火急，这从智能链的鼓起就能够看出。ZK汇总的登陆很慢，这给了优化汇总和裁定的时机。因而，在短期和中期内，防诈骗汇总（最优汇总和裁定汇总）有更快的落地时机。诈骗证明自身便是“乐观主义者”，条件是一切的投诉人都是好人，除非他们被证明有罪。只需有验证者，你就能够提交诈骗证明，这是安全的。因而，诚笃验证者的存在变得十分重要。网上提交诈骗证明只需求一个验证者，而且诈骗证明的时刻窗口长达一周（或更长），这也导致终究承认时刻缓慢，取款时刻长。一般来说，防诈骗和防加密有用性的汇总办法各有优缺陷。ZK-rollups对错交互式的，经过数学办法求解问题，而最优rollups和arbitrum rollups是交互式的。从这个意义上说，最优汇总和裁定汇总是类似的，可是它们在特定的途径上也有差异。Arbitrum是一种多轮交互式汇总计划从上述观念来看，arbitrum和optimal都是防诈骗类的汇总计划。两种计划的中心问题是：怎么验证成果的正确性？有人会发歹意依据吗？因而，两者都有应战机制。验证者能够向链发送断语以引发争议。假如断语是过错的，典当的保证金财物将丢掉。ambitrum和optimal的首要差异在于它们处理差异的办法。当验证器向L1提交rollup块时，有些人以为它是不正确的。这个时分咱们该怎么办？裁定庭运用多轮交互式协议来处理争议。它将大规模的争议分为小的争议，直到找到最要害的一步，然后运用以太坊合同来承认它是否正确。经过割裂争端，裁定庭企图完结一个更有用的处理计划。裁定的参加者能够保证保证金，并断语某一状况终究会得到承认。假如断语是过错的，用户的质押押金将被没收。两个用户在不同的块上被保证，这意味着其间只要一个是真的。为了避免进犯，建议贰言的一方需求将保证金财物质押，以避免其作恶。在初始规划中，裁定协议选用一次处理一个争议断语的办法。争议建议由参加者提出。争议建议有一个质疑期。在此期间，任何人都能够对争议建议提出质疑。假如没有人提出质疑，那么有争议的结论将被以为是有用的。可是，这种单向形式存在瓶颈。一次激活一个有争议的断语是低效的，而且VM进程是有限的。一起，犯罪人能够经过质疑有争议的结论，成心拖延时刻。即便质押资金需求付出，也能够延期付出。因而，在新的规划中，arbitrum能够一起处理多个有争议的断语，而不是线性的。犯罪者更难怠慢这一进程。现在，裁定庭选用的是一起处理多个有争议的结论的办法。一个出质人能够一次处理一个建议，不同的出质人能够一起处理多个建议。当断语被承以为有用时，它的VM的状况向前移动。一般来说，人们会挑选诚笃的行为，由于它能够确保他们的质押存款不会被没收。除非有歹意进犯的理由，不然人们没有必要将自己的财物典当给过错的分支机构。为了到达无信赖的特色，在裁定庭的规划中，任何诚笃的参加者都能够促进虚拟机的正确性和前进性。假如参加者总是挑选正确的分支，那么TA将赢得一切有争议的断语。假如其他人不同意，他们只会失掉他们的典当存款。只要诚笃的参加者才干逃脱赏罚。比特币爱丽丝和鲍勃在不同的分支上发誓，来自arbitrum的ed Felten假如爱丽丝在上图中的断语被证明是正确的，那么鲍勃典当的保证金财物将会丢掉，爱丽丝将会获益。在单轮交互的汇总中，断语包括每个调用成果，应战者指向断语中成果过错的特定调用。链上契约模仿被质询的调用并查看过错。如有任何过错，整个建议将被撤销，财物人将失掉质押保证金。假如在质询窗口期之后没有成功的质询，则该断语被承受并具有结局性。在多轮交互的汇总中，还有一个应战时刻窗口。断语与应战者之间存在多轮互动，链条上的契约充任裁判，判别谁错了。多轮交互规划的首要考虑要素是最小化争端处理的链作业。经过应战者和断语之间的多轮交互，链上的作业量最小化。单轮互动和多轮互动本质上是链条上本钱与胶葛处理时刻的平衡。单轮和多轮交互式汇总都需求将一切对契约的调用及其数据写入链中。不同之处在于它们需求将什么作为断语的一部分提交给链。单轮交互形式需求在模仿链上完结调用。考虑到本钱，它会更贵。多轮互动能够细分，缩小胶葛规模，写入链上的数据相对较少，使得链上的履行本钱较低。可是，它并非没有缺陷。它的承认增加了回合数和时刻。此外，arbitrum多轮交互形式或许面对推迟进犯。由于体系不需求被信赖。歹意进犯者能够推迟进程。当然，他们这样做是有价值的，也便是说，他们的典当保证金将被没收。还需求注意的是，歹意行为人不能阻挠诚笃参加者不断树立诚笃分支，也不能阻挠诚笃参加者取得对诚笃分支的终究承认。他们所能做的便是在过错的分支机构上典当保证金，并推迟链上诚笃分支机构的承认。他们能够创立多个有争议的断语。假如有满意的诚笃参加者，他们能够一起处理这些有争议的断语，并捕获进犯者的押金。换句话说，参加者越诚笃，进犯者推迟进犯所需的典当财物就越多，进犯的难度也就越大。此外，在多轮互动的汇总中，有用的“断语”将变成“没有信赖的完结”，任何人都能够必定，它的终究承认是不行避免的。为了保证自己的终究承认，用户能够参加协议中的抗辩建议，即便自己独自举动，也能够促进自己的终究承认。假如没有应战，多轮和单轮交互的承认速度是类似的。假如有人提出质疑，多轮争端将需求更长的时刻。在这方面，一轮互动具有优势。单轮交互不允许承认推迟进犯，而多轮交互的长处是链上的数据较小，能够处理打破以太坊气体约束的合约（核算和存储）。在终究承认汇总时有必定的时刻段。因而，在ZK-rollps计划中，没有办法经过传递裁定者来完结快速的完结性。或许的处理办法是经过第三方的干涉。第三方能够立行将资金搬运给用户，但用户也需求提早付出取款费。一般来说，第三人以为不承认转让是能够完结的，第三人以诚笃的成果作为担保金。由于任何人都能够向需求快速取款的用户转账。然后，还有一个商场，这将导致一个平衡的本钱，而不是太高或太低。氨溴酸的EVM相容性Arbitrum测验彻底兼容以太坊，兼容EVM，而不重写程序。它与以太坊彻底兼容。咱们能够在智能链上看到它的威力。这是最重要的办法，它能够顺畅地嵌入到以太坊现在的生态。DAPP开发人员运用solid言语编写智能合约。这些智能合约被编译到arbitrum VM中，能够在arbitrum汇总上运转。氨溴酸的研究进展Arbitrium technology目条件供Arbitrium one。arbitrum合同布置在以太坊主网络上，并已开端承受该项目。现在正处于主网络测验阶段。据arbitrum称，现在有超越250个团队请求，而且对一切开发者敞开。在未来几周，越来越多的defi项目将进入ambitrum生态体系。现在，以太坊生态的一些重要参加者，如Etherscan，也在支撑arbitrum one-chain。以太坊与L2的登陆风趣的是，arbitrum没有原生代币，运用eth作为燃料。一切费用由eth付出。这对以太也是功德。更不用说未来对eth的需求量了。现在，以太坊的可扩展性需求长时刻和短期的结合，以满意其快速增加的需求，特别是defi和NFT的爆炸性增加需求。从长远来看，L2或许是ZK汇总的赢家，但由于本钱高、落地滞后，消化起来或许需求很长时刻。可是，arbitrum和最优汇总或许现已提早落地。尽管提取它们需求很长时刻，但它们并非没有处理计划。此外，在实践中生长或许会发生新的创意。除了L2的逐渐施行，跟着eip-1559或许在本年7月推出，以及年末或许的POS，2021年的以太坊注定是不寻常的一年。