你应该能够推断出:
随着越来越多的人提交批次,交易的摊销成本变得更便宜。这与整体区块链完全相反,比如今天的以太坊,随着活跃用户数量的增加,对区块空间的需求也会增加,从而导致天然气价格飙升。 摊销的一个例子:StarkEx 提供了一种称为 SHARP 的机制,是“Shared Prover”的缩写,它在所有 StarkEx 部署中摊销成本。 Adamantium(再次) 大多数关于 volitions 的相关信息都包含在前面的 Volitions 部分中。尽管如此,它们与汇总吞吐量的故事相关,因此值得再次提及它们。简要回顾:
隐私 众所周知,隐私不是以太坊固有的。我们不能指望普通人或企业放弃他们的财务隐私。默认情况下,ZK-rollups 不是私有的。“ZK-rollup”中的“零知识”是指在链外进行的计算,然后通过零知识证明在主网上被验证为合法,这并不意味着“你的活动不会被窥探”。然而,一切都没有丢失。在 ZK-rollups 的免许可隐私方面,有很多工作要做。 递归证明 在 “ 不完整的汇总指南 ” 中,Vitalik 写了一些关于乐观汇总和 ZK 汇总之间的一些主要区别的文章。其中之一是两种汇总如何处理隐私。他特别提到了递归证明。“递归证明”是指在另一个证明中验证一个证明的行为,例如,在另一个 SNARK 中验证一个 SNARK。这是一种方便的压缩技术,可以提高效率并降低隐私成本。 Aztec的工作被称为一个ZK-ZK-汇总或ZK²,汇总,它利用其创新plonk的证明和涡轮plonk的提供交易的隐私。简而言之:
请注意,乐观汇总无法实现这一创新,因为它们不能安全地允许内部 SNARK 验证发生在汇总之外;数据必须发布在链上。这并不是说乐观汇总不能从零知识证明中受益,但它们总是效率较低且成本效益较低。 (责任编辑:admin) |