干货 | 分片设计哲学

（编者注：本文为 Vitalik 为 IC3 作的关于分片的演讲，其中包含了大量分片方案的基本推理，故编者取名分片设计哲学。按照惯例，本页只作入口，具体内容从文内超链接进入。）

Part-1 https://ethfans.org/posts/sharding-design-philosophy-part-1

分片解决方案的起源：可扩展性三难困境，即单个区块链系统只能拥有可扩展性、安全性及去中心化三种属性中的两种。结论是，我们必须依靠更复杂的工具来兼得三者。其中 1% attacks 一页也提出了分片解决方案需要面对的主要难题。

Part-2 https://ethfans.org/posts/sharding-design-philosophy-part-2

分片解决方案的关键理念：间接验证但使其尽可能相似于不可扩展的区块链；以 O(c) 为大小单位组织数据同时使分片区块头相似于 O(1) 大小的交易。提出委员会（Committee）验证模式及其在特定安全假设下的最小规模。

Part-3 https://ethfans.org/posts/sharding-design-philosophy-part-3

提出以故障证明（即外包计算协议，类同于「发起者-挑战者」模式）作为区块验证方式，及其重要补充：无状态验证。另一种替代方案是零知识证明，但成本太高。

Part-4 https://ethfans.org/posts/sharding-design-philosophy-part-4

指出尚未得到讨论的数据可用性问题，并提出两种解决方案：保管债券以及擦除编码。

Part-5 https://ethfans.org/posts/sharding-design-philosophy-part-5

最后一部分，讲到最小分片协议、扩展分片协议，跨链通信以及未来的研究领域。