提出以妨碍证明（即外包计较协议，类同于「提倡者-挑战者」模式）作为区块验证方法，及其重要增补：无状态验证。另一种替代方案是零常识证明，但本钱太高。

分片办理方案的要害理念：间接验证但使其尽大概相似于不行扩展的区块链；以 O(c) 为巨细单元组织数据同时使分片区块头相似于 O(1) 巨细的生意业务。提出委员会（Committee）验证模式及其在特定安详假设下的最小局限。

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

分片办理方案的发源：可扩展性三难逆境，即单个区块链系统只能拥有可扩展性、安详性及去中心化三种属性中的两种。结论是，我们必需依靠更巨大的东西来兼得三者。个中 1% attacks 一页也提出了分片办理方案需要面临的主要困难。

（编者注：本文为 Vitalik 为 IC3 作的关于分片的演讲，个中包括了大量分片方案的根基推理，故编者取名分片设计哲学。凭据老例，，本页只作进口，详细内容从文内超链接进入。）

指出尚未获得接头的数据可用性问题，并提出两种办理方案：保管债券以及擦除编码。

Part-5

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

最后一部门，讲到最小分片协议、扩展分片协议，跨链通信以及将来的研究规模。

Part-3

Part-2

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。