Ben (Mechanism)(00:27:09): 我想说,Optimism 名称可能甚至具有不同的含义。这不一定是故意的,但这意味着只要 Optimism Rollup 中只有一个验证程序具有完整性就可以正确验证交易,并且只要您在整个网络上只有一位活动裁判,那么您的网络就可以有验证者注意并在必要时提交欺诈证明,则将是安全的。即使网络上的所有其他验证器都损坏了,即使有 51%的攻击,对于 Optimism 世界来说,只要有一个能够向定序器或序列器提交挑战的状态,该状态也就无关紧要。这些其他验证器。我认为这是一个非常有力的想法。您不必像在普通区块链上那样破坏 51%的节点。 Ben (Mechanism)(00:28:03): 除此之外,还有 Ed 和 Mark,但也存在这种情况,因为存在这些交易提款延迟,因此最终性将在以太坊之后出现。从理论上讲,如果 Optimism 汇总网络出现问题,验证程序是否可以联机?Vitalik 谈到了社区有必要动员的能力。真的吗?也许我们可以多谈一点,因为这个「一个诚实的节点」是非常重要的一点。我知道,Alex,您对此也持批评态度。因此,您能理解我的假设,我有点好奇。 Ed (Arbitrum)(00:28:45): 是的。 Alex (zkSync)(00:28:45): 所以,Tom... 好吧。Ed,想先谈谈吗? Ed (Arbitrum)(00:28:48): 是的。因此,一个诚实节点的假设确实很重要,不仅一个诚实节点可以保证安全。同样,任何诚实的节点都可以推动进步。这是正确的,因为您不需要特殊的高端硬件或任何东西即可充当系统中的节点。任何人都可以提出更新建议,也可以提出错误建议。这意味着您可以为进度提供非常有力的保证。任何一方都可以迫使正确的进步,而不仅仅是防止一件坏事的发生。 Alex (zkSync)(00:29:31): 如果网络出现分歧并且两方同时提出不同叙述,将会发生什么? Ed (Arbitrum)(00:29:37): 他们之间有争议。争端得到解决,正确的人将获胜。 Alex (zkSync)(00:29:42): 顺便说一句,两者都是有效的。 Ed (Arbitrum)(00:29:44): 它们不能同时有效。如果它们都有效,那么它们都是正确的。如果它们都有效,那么它们将是相同的。 Alex (zkSync)(00:29:53): 好吧,它们可能包含不同的交易集。 Ed (Arbitrum)(00:29:57): 不,他们没有。对于这些系统的工作方式,这实际上非常重要。所以,让我澄清一下。提交这些 rollup 区块的人至少在 Arbitrum 中不会选择交易包含的顺序。订购是通过 Layer 1 合同进行的。因此,您可以通过调用 Layer 1 合同将交易提交到链中,或者更有可能由一个完整的节点代表您执行此操作以提交一批交易。因此,您的交易将通过在以太坊上运行的 Layer 1 合同进行排序,因此是去信任的。链上发生的所有事情以及这些提议的功能块都在告诉你:「在链上已按顺序进行的交易的正确结果是什么?」因此,无法选择要运行的其他交易。它不像一个内存池。这更像是队列的处理。这意味着只有一个确定的正确结果。这真的很重要。这样,您就可以尽快达到这种确定性,因为一旦您的交易记录在链上,那么结果就被完全确定并且是最终的。区块提交者者仅提交交易的正确结果而不是去选择。 (责任编辑:admin) |