查看原文
其他

干货 | 分片设计哲学

Vitalik 以太坊爱好者 2020-12-18


编者注:本文为 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: 多项式证明

    您可能也对以下帖子感兴趣

    文章有问题?点此查看未经处理的缓存