特别感谢Optimism和Flashbots的一对老铁对这篇文章的讨论和思考,以及Karl Floersch, Phil Daian和Alex Obadia的反馈和评论。 考虑一下一般的 "大区块链"——非常高的区块频率和区块大小,每秒数千笔交易,却也是高度中心化的:因为区块太大,只有少数几十个或几百个节点能负担得起运行一个全节点的成本,可以创建区块或验证现有的链。要怎样才能使这样的链变成那种可接受的无需信任和抗审查,至少以我的标准来说是这样? 这里有一个貌似合理的路线图:增加第二层权益质押,低资源要求,做分布式区块验证。一个区块中的交易被分成100个桶(buckets),每个桶后有一个Merkle或Verkle树状态根。每一个二级质押者(staker)被随机分配到其中一个桶里。一个区块只有在分配给每个桶的验证者中至少有2/3的人签字时才会被接受。**引入欺诈证明或ZK-SNARKs,让用户直接(和廉价地)检查区块的有效性。**ZK-SNARKs可以直接加密证明区块的有效性。欺诈证明是一个更简单的方案,如果一个区块有一个无效的桶,任何人都可以广播该桶的欺诈证明。这在随机分配的验证...