当前位置:首页 > 知识 >

以太坊创始人Vitalik Buterin:终极战役即将到来

文章作者:VitalikButerin(V神)

文章翻译:Blockunicorn

特别感谢来自Optimism和Flashbots的一大批人对本文的讨论和想法,以及KarlFloersch、PhilDaian和AlexObadia的反馈和审查。

考虑一般的“大区块链”——非常高的区块频率,非常大的区块大小,每秒数千笔交易,但也高度集中:因为区块太大,只有几十或几百个节点可以运行一个完全参与的节点,可以创建区块或验证现有链。至少按照我的标准,如何才能使这样的链可以接受,无需信任和抗审查?

这是一个合理的路线图:

  • 添加第二层抵押,对资源要求低,以进行分布式区块验证。一个区块中的交易被分成100个桶,每个桶后面都有一个Merkle或Verkle树状态根。每个二级质押者被随机分配到其中一个桶中。一个区块只有在分配给每个存储桶的至少2/3的验证者签署时才会被接受。

  • 引入欺诈证明或ZK-SNARK让用户直接(且廉价)检查区块有效性。ZK-SNARKs可以直接加密证明区块有效性;欺诈证明是一种更简单的方案,如果一个区块有一个无效的桶,任何人都可以广播该桶的欺诈证明。这在随机分配的验证器之上提供了另一层安全性。

  • 引入数据可用性采样,让用户检查区块可用性。通过使用DAS检查,轻客户端可以仅通过下载一些随机选择的块来验证块是否已发布。

  • 添加二级交易渠道以防止审查。一种方法是允许二级抵押者提交下一个主区块必须包含的交易列表。

做完这一切之后,我们得到了什么?我们得到了一个区块生产仍然集中的链,但是区块验证是去信任的和高度分散的,并且专门的反审查魔法可以防止区块生产者进行审查。这在美学上有些丑陋,但它确实提供了我们正在寻找的基本保证:即使每个主要利益相关者(区块生产者)都打算进行攻击或审查,他们能做的最坏的事情就是完全下线,此时链停止接

猜你喜欢

微信二维码

微信