时间:2023-07-05|浏览:177
特别感谢Optimism和Flashbots大量人讨论和思考这篇文章,以及KarlFloersch、PhilDaian和AlexObadia反馈和审查。
考虑到一般的大区块链,即具有非常高的区块频率、非常大的区块大小、每秒数千笔交易,但也非常集中的情况,我们如何在没有信任和审查的情况下接受这样的链?
这是一个合理的路线图: 1. 增加第二层抵押,对资源要求低,以验证分布式块。一个块中的交易分为100个桶,每个桶后面都有Merkle或Verkle树根状态。每个二级质押者被随机分配到其中一个桶中。只有当分配给每个存储桶的至少2/3验证者签署时,才会接受一个块。引入欺诈证明或ZK-SNARK,让用户直接(便宜)检查块的有效性。 2. 引入数据可用性采样,让用户检查块的可用性。使用DAS检查,轻客户端只能通过下载一些随机选择的块来验证块是否已发布。 3. 增加二级交易渠道,防止审查。一种方法是允许二级抵押人提交下一个主区块必须包含的交易列表。
完成这一切后,我们得到了什么?我们得到了一个区块生产仍然集中的链,但区块验证是信任和高度分散的,特殊的反向审查魔法可以防止区块生产者进行审查。即使每个主要利益相关者(区块生产者)计划攻击或审查,他们能做的最坏的事情是完全离线,链停止接受交易,直到社区收集他们的资源,建立一个诚实的主要利益相关者节点。
现在,考虑总结一个可能的长期未来... 想象一下,一个特定的总结Arbitrum、Optimism、Zksync仍然是一件全新的事情。如果他们提供足够强大的硬件,他们真的可以每秒处理1万事务。原则上,这种技术是众所周知的,多年前DanLarimer其他人已经意识到:将执行分为CPU线程,运行无与伦比但廉价的业务逻辑,以及大量其他线程运行昂贵的业务逻辑。以太坊通过数据可用性采样实现了分片,并有空间将汇总链上的数据存储在64分片之间。因此,每个人都搬到这里进行总结。那个世界会是什么样子?
再一次,我们得到了一个世界。在这个世界上,区块生产是集中的,区块验证是去信任和高度分散的,审查制度仍然被阻止。Rollup块生产商必须处理大量的交易,因此很难进入市场,但他们无法推广无效块。汇总逻辑保证块的可用性和有效性ZK由汇总SNARK确保只要有诚实的参与者在某个地方运行欺诈证明节点,乐观的总结是安全的。此外,由于用户始终可以选择通过链上二级包含渠道提交交易,因此汇总排序器也无法有效审查。
现在,考虑另一个可能的长期未来......没有一个总结能成功地与大多数以太坊活动保持一致。相反,它们都以每秒数百笔交易的速度达到最高水平。我们得到了以太坊对未来的更多总结,但在提供数据可用性和共享安全的基础上。用户通常依靠交叉汇总桥跳转到不同的汇总之间,而不需要在主链上支付高成本。那个世界会是什么样子的?
似乎我们可以