概述：我们又是如何确保一切都是正确的？

　　假设有 100 个区块，你想要在不依赖委员会的情况下有效地验证所有区块的正确性。我们需要做以下工作：

• 　　每个客户端对每个区块进行数据可用性采样，以验证每个区块中的数据的可用性，同时客户端对每个区块只下载几 KB，即使整个区块的大小有 1MB 或更大。只有当某个区块的所有数据可用性挑战都被正确地相应时，客户端才会接受该区块。

• 　　既然我们已经验证了数据的可用性，那么验证正确性就变得更容易了。有两种方法：

• 　　我们可以使用欺诈证明：一些质押了存款的参与者可以对每个区块的正确性进行签名。而其它节点，被称为挑战者 (或者渔夫)，会随机检查并尝试完整地处理区块。由于我们已经检查了数据的可用性，所以总是可以下载数据并完整地处理任何特定的区块。如果他们 (挑战者) 发现一个无效的区块，他们会发布一个每个人都会验证的挑战。如果这个区块被证明是无效的，那么这个区块以及依赖于它的所有后续区块都需要重新计算。

• 　　我们也可以使用 ZK-SNARKs。每个区块都将附带一个 ZK-SNARK 来证明其正确性。

• 　　在上述任何一种情况下，每个客户端只需要对每个区块做少量的验证工作，无论区块有多大。在使用欺诈证明的情况下，偶尔需要在链上完整地验证区块，但这应该是非常罕见的，因为触发哪怕一个挑战的成本都是非常昂贵的。

　　就是这样！就以太坊分片而言，近期计划是将分片区块仅用于数据；也就是说，分片纯粹是一个“数据可用性引擎”，而 Layer 2 Rollups 将使用这个安全的数据空间，同时使用欺诈证明或 ZK-SNARKs，来实现高吞吐量的安全交易处理能力。但是，完全可以创建这样一个内置系统来添加“本地”高吞吐量执行。

　　分片的关键目标是尽可能复制传统 (非分片) 区块链最重要的安全属性，但不需要每个节点亲自验证每笔交易。

　　在传统的区块链中：

• 　　无效区块无法通过，因为验证节点会发现它们无效并忽略它们。

• 　　不可用的区块无法通过，因为验证节点无法下载它们并忽略它们。

　　在一个具有高级安全特征的分片区块链中：

• 　　 (责任编辑：admin)