文章作者：VitalikButerin（V神）
文章翻译：Blockunicorn
特别感谢来自Optimism和Flashbots的一大批人对本文的讨论和想法，以及KarlFloersch、PhilDaian和AlexObadia的反馈和审查。
考虑一般的“大区块链”——非常高的区块频率，非常大的区块大小，每秒数千笔交易，但也高度集中：因为区块太大，只有几十或几百个节点可以运行一个完全参与的节点，可以创建区块或验证现有链。至少按照我的标准，如何才能使这样的链可以接受，无需信任和抗审查？
这是一个合理的路线图：
添加第二层抵押，对资源要求低，以进行分布式区块验证。一个区块中的交易被分成100个桶，每个桶后面都有一个Merkle或Verkle树状态根。每个二级质押者被随机分配到其中一个桶中。一个区块只有在分配给每个存储桶的至少2/3的验证者签署时才会被接受。
引入欺诈证明或ZK-SNARK，让用户直接（且廉价）检查区块有效性。ZK-SNARKs可以直接加密证明区块有效性；欺诈证明是一种更简单的方案，如果一个区块有一个无效的桶，任何人都可以广播该桶的欺诈证明。这在随机分配的验证器之上提供了另一层安全性。
引入数据可用性采样，让用户检查区块可用性。通过使用DAS检查，轻客户端可以仅通过下载一些随机选择的块来验证块是否已发布。
添加二级交易渠道以防止审查。一种方法是允许二级抵押者提交下一个主区块必须包含的交易列表。
做完这一切之后，我们得到了什么？我们得到了一个区块生产仍然集中的链，但是区块验证是去信任的和高度分散的，并且专门的反审查魔法可以防止区块生产者进行审查。这在美学上有些丑陋，但它确实提供了我们正在寻找的基本保证：即使每个主要利益相关者（区块生产者）都打算进行攻击或审查，他们能做的最坏的事情就是完全下线，此时链停止接
本文来自用户投稿，不代表币大大立场，如若转载，请注明出处：https://czxurui.com/zx/13073.html
发表回复
评论列表（0条）