正确的。您已经举了一个有关 Alice 和 Bob 来回生成交易的示例。而且我已经说明了这样做的开销很低…… Alex(zkSync)(00:55:13): 请允许我指出这里的分歧-我想我理解为什么你们讨论出了点问题。Eli (Starkware)想表达的意思是,如果您有 1000 个交易来更新单个变量,则单个存储流-(被打断) Ed(Arbitrum)(00:55:28): 不,我不是那个意思。任何 1000 个事务都可以使用聚合签名。这才是重点。这就是 BLS 签名的重点。您可以有许多由不同人制作的签名,并且可以将它们全部聚集到一个聚集的签名中。所以爱丽丝- Alex(zkSync)(00:55:49): 我知道。我知道。我明白。但是对这些交易,您仍然必须公布 10 个,哦不对,1000 个输入。 Ed(Arbitrum)(00:56:01): 压缩过的。是的。与所有这些系统一样。如果你想- Alex(zkSync)(00:56:05): 压缩是什么意思?您必须发布 1000 个价格更新值和一个 BLS 签名。那是对的吗? Ed(Arbitrum)(00:56:13): 压缩的。是的。您可以压缩- Alex(zkSync)(00:56:16): 你的压缩到底什么意思? Ed(Arbitrum)(00:56:17): 数据压缩是一种标准的工程技术。 Alex(zkSync)(00:56:21): 好的。但这仍然是针对所有数据,对吧?如果您有 1000 个数据点,则必须将 1000-(被打断) Eli(Starkware)(00:56:29): 等等,等等。首先,如果进行压缩,您还可以拥有 1000 个签名,但是您也只想发布压缩的信息。我不知道这种压缩到底是什么。您还需要以某种方式证明压缩的信息是由这 1000 个签名签名的,坦率地说,除非您添加一些有效性证明,否则我不知道如何在 BLS 方案中进行操作。不,这不单单是一个工程问题。 Eli(Starkware)(00:56:57): 好,我来自密码学。我建立的系统可以证明这种情况,这不是一个工程问题。没有什么 BLS 签名可以让您验证计算结果。那东西恰好叫做证明。这是另一回事。在数据上签名,但是签名不足以表明计算或压缩已正确完成。那东西叫做证明。这是另一种东西。这是一个证明。因此,您可以添加……对,如果要压缩,则可以添加证明。没关系。对吧?但这是额外的东西。它被称为有效性证明,而不仅仅是签名。 Ed(Arbitrum)(00:57:35): 好吧,我们在这里的讨论中走远了。让我告诉您关于 Arbitrum 的真实情况。Arbitrum 可以根据需要频繁地发布交易。它以用户需要的任何步调发布它们,以获得最终确定性。链上发布的数据已压缩。该系统可以支持 BLS 签名,因此无论这些交易是什么,以及交易的参与方如何,您在整批交易中都只有一个签名。就是这种情况。该数据的解压缩,BLS 签名的验证全部发生在 Layer 2 计算中。因此,所有这些都包含在 Optimisticroll-up 系统中。 (责任编辑:admin) |