以太坊创始人Vitalik Buterin于2021年12月6日发布的文章 —————— 特别感谢 Optimism 和 Flashbots 的一大群人对本文的讨论和想法,以及 Karl Floersch、Phil Daian、Hasu 和 Alex Obadia 的反馈和审查。 考虑一般的“大区块链”——非常高的区块频率,非常大的区块大小,每秒有数千笔交易,但也高度集中:因为区块如此之大,只有几十或几百个节点可以运行一个完全参与的节点,可以创建区块或验证现有链。至少按照我的标准,要使这样一个链可以接受的去信任和抗审查需要什么? 这是一个合理的路线图:添加第二层质押,资源要求低,以进行分布式块验证。一个区块中的交易被分成 100 个桶,每个桶后面都有一个 Merkle 或Verkle 树状态根。每个第二层质押者被随机分配到其中一个桶中。仅当分配给每个存储桶的至少 2/3 的验证者在其上签字时,才接受一个块。引入欺诈证明或ZK-SNARK让用户直接(且廉价)检查区块有效性。ZK-SNARKs 可以通过密码直接证明区块的有效性;欺诈证明是一个更简单的方案,如果一个块有一个无效的桶,任...