干货 | 分片设计哲学
(编者注:本文为 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>
最后一部分,讲到最小分片协议、扩展分片协议,跨链通信以及未来的研究领域。
作者: Vitalik
你可能还会喜欢:
干货 | Truebit:为可验证计算开辟市场
引介 | 无状态客户端概念
干货 | STARKs, Part I: 多项式证明