详情

V 神保举丨长远了解以太坊的分片道路图，看这一份叙述就填塞

Skypiea

\n 2022-06-06\n

关爱 V 神点评：这篇由 Delphi Digital 发布的叙述长远了解以太坊的分片道路图。 止境棒！

原文：Delphi Digital，由 DeFi 之道编译

要道重点

以太坊是独一构建可推广调处结算和数据可用性层的主要合同Rollups 在应用以太坊的安全性的同期推广贪图条条大道通向中心化区块坐褥、去中心化去信任区块考证和抗审查的末端淡漠者 - 构建者分离和弱无气象等翻新解锁了这种权力分离（构建和考证），以在不捐躯安全性或去中心化的情况下杀青可推广性MEV 当今处于前沿和中心位置——贪图进行无数瞎想以减弱其危害并看重其中心化趋势Danksharding 合资了多种前沿算计路子，以提供以太坊以 Rollup 为中心的道路图所需的可推广基础层我确乎但愿在咱们的耄耋之年杀青 danksharding

简介

第 I 部分–Danksharding 之路

1) 原始数据分片瞎想–孤苦的分片淡漠者

2) 数据可用性采样

3) KZG 原意

4) KZG 原意与诈骗解释

5) 合同内淡漠者 - 构建者分离

6) 抗审查列表 (crList)

7) 二维 KZG 决策

8) Danksharding

9) Danksharding–安分多数考证

10) Danksharding–重建

11) Danksharding–带有私人飞速抽样的坏心多数安全性

12) Danksharding–要道重点

13) Danksharding–区块链可推广性的法例

14) 原始 danksharding (EIP-4844)

15) 多维 EIP- 1559

第 II 部分–历史和气象护士

1) 通过总 calldata 法例镌汰 calldata gas (EIP-4488)

2) 法例扩充客户端中的历史数据 (EIP-4444)

3) 收复历史数据

4) 弱无​​气象

5) Verkle Tries

6) 气象到期

第 III 部分–都是 MEV

1) 现时的 MEV 供应链

2) MEV-Boost

3) 委员会出手的 MEV 平滑

4) 单槽细则性

5) 单一奥妙带领人选举

第 IV 部分–The Merge：幕后

1) 合并后的客户端

2) 合并后的共鸣

论断性想法

简介

自从 Vitalik 说今天出身的人有 50-75% 的契机活到 3000 年而且他但愿永生久视以来，我一直对 The Merge 的工夫表持怀疑作风。不外，权当这是打趣吧，无论若何，咱们照旧要预计一下以太坊利欲熏心的道路图。

这不是一篇能快速阅读完的著作。如若你想对以太坊利欲熏心的道路图有一个宽泛而细腻的了解——给我一个小时的专注，我会为你检朴几个月的责任工夫。

以太坊算计场所有许多需要遥远追踪，但一切最终都融入了一个总体主义——在不捐躯去中心化考证的情况下推广贪图。

但愿您熟练 Vitalik 闻明的 末端游戏 一文。他在著作中承认需要一些中心化（Centralization）来杀青扩大范围。这个 C 字母开始的单词在区块链中是很吓人的，但这却是一个事实。咱们只需要通夙昔中心化和去信任的考证来保管这种权力。这里莫得可和谐的。

专科人士将为 L1 及更高等别构建模块。以太坊通过简便的去中心化考证仍然止境安全，而且 Rollup 从 L1 经受了它们的安全性。然后，以太坊提供结算和数据可用性，允许 Rollup 推广。这里的所有算计最终都但愿优化这两个变装，同期使统统考证链变得比以往更容易。

底下是一个术语表，用于缩略一些将出现～43531756765713534 次的单词：

DA–数据可用性DAS–数据可用性抽样PBS–淡漠者 - 开发者分离PDS–原始 dankshardingDS–DankshardingPoW——责任量解释PoS–权力解释

第 I 部分：迈向 Danksharding 之路

但愿你当今依然外传以太坊依然转向以 Rollup 为中心的道路图。不再有扩充分片——以太坊将改为针对需要无数数据的 Rollup 进行优化。这是通过数据分片（以太坊的贪图）或大区块（Celestia 的贪图）来杀青的。

共鸣层不明释分片数据。它有一项要做的责任——确保数据可用。

我假定你依然熟练一些基本见识，如 Rollup、诈骗和 ZK 解释，以及为什么 DA 很迫切。如若您不熟练或只是需要温习，Can 最近发布的对于 Celestia 叙述涵盖了这些内容。

原始数据分片瞎想——孤苦的分片淡漠者

这里面容的瞎想已被淹没，但它是有价值的情景。为简便起见，我将其称为 分片 1.0 。

64 个分片区块中的每一个都有孤苦的淡漠者和委员会，从考证者集中交替。他们离别考证他们的分片数据是否可用。滥觞这不是 DAS——它依赖于每个分片的考证器集中的大多数来统统下载数据。

这种瞎想引入了无用要的复杂性、更糟糕的用户体验和缺欠向量。在分片之间混洗考证者是很难办的。

除非您引入止境严格的同步假定，不然很难保证投票将在单个时隙（slot）内完成。信标（Beacon）区块淡漠者需要麇集所有单个委员会的投票，而且可能会出现蔓延。

DS 统统不同。考证者扩充 DAS 以说明所罕有据都可用（不再有单独的分片委员会）。一个有益的构建器创建一个带有信标区块和所有分片数据一齐说明的大区块。因此，PBS 是 DS 保持去中心化所必需的（将大区块构建在一齐是资源密集型的）。

数据可用性抽样

Rollups 发布了无数数据，但咱们不想让节点下载所有这些数据。这将意味着高资源需求，从而毁伤去中心化。

违反，DAS 允许节点（致使是轻客户端）直爽安全地考证所有内容是否可用，而无需下载所有内容。

简便的科罚决策——只需查验该区块中的一堆飞速组块。如若他们都签了，我就签了。但是，如若您错过了将所有 ETH 都交给 Sifu 的一笔往复若何办？资金不再安全。智能科罚决策——滥觞擦除数据。使用 Reed-Solomon 代码推广数据。这意味着数据被插值为一个多项式，然后咱们在许多其他地方对其进行评估。这是一气呵成的，是以让咱们明白一下。

对于数学解析有疼痛的人来讲，咱们快速来解释一下。（我保证这不会是一个真实可怕的数学——我不得不看一些可汗学院的视频来写这些部分，但我当今依然显着了）。

多项式是对任何有限数目的 cxk 表情的项乞降的抒发式。度数是最高的指数。举例，2 x3+6 x2+2 x-4 是三次多项式。您不错从位于该多项式上的任何 d+1 坐标重建任何 d 次多项式。

当今举一个具体的例子。底下咱们有四个数据组块（d0 到 d3）。这些数据组块不错映射到给定点的多项式 f (X) 的评估。举例，f (0) = d0。当今您找到了连系这些评估的最小次数多项式。由于这是四个组块，咱们不错找到三次多项式。然后，咱们不错推广此数据以添加四个沿统一多项式的评估（e0 到 e3）。

请记着要道多项式属性——咱们不错从轻易四个点重建它，而不单是是咱们原本的四个数据组块。

回到咱们的 DAS。当今咱们只需要确保任何 50% (4/8) 的纠删码数据可用。由此，咱们不错重建通盘区块。

因此，缺欠者必须隐蔽跳跃 50% 的区块才气见效诳骗 DAS 节点，使其合计数据在不可用时可用。

在许多见效的飞速样本之后，KZG 原意

好的，是以咱们做了一堆飞速样本，它们都是可用的。但咱们还有另一个问题——数据擦除编码是否正确？不然，可能区块坐褥者在推广区块时只是添加了 50% 的垃圾，而咱们对妄语进行了采样。在这种情况下，咱们本色上将无法重建数据。

时常咱们只是通过使用 Merkle 根来提交无数数据。这对于解释集中中包含某些数据是有用的。

但是，咱们还需要走漏所有原始数据和推广数据都位于统一个低次多项式上。Merkle 根并不成解释这小数。是以如若你使用这个决策，你还需要诈骗解释，以防万一做错了。

开发人员正从两个场所入辖下手：

Celestia 正在走防诈骗道路。有人需要注意，如若区块被不实地擦除编码，他们将提交诈骗解释以辅导所有人。这需要措施的安分少数假定和同步假定（即，除了有人向我发送诈骗解释除外，我还需要假定我已结合并将在一个有限的工夫内收到它）。以太坊和 Polygon Avail 正在走一条新道路——KZG 原意（别名 Kate 原意）。这舍弃了对于诈骗解释的安分少数和同步安全假定（尽管它们仍然在那处进行重建，咱们将很快先容）。

存在其他科罚决策，但并未积极寻求。举例，您不错使用 ZK 解释。厄运的是，它们在贪图上是不切本色的（面前）。但是，预计异日几年它们会有所改善，因此以太坊可能会在异日转向 STARK，因为 KZG 原意不具有量子抗性。

回到 KZG 原意——这是一种多项式原意决策。

原意决策只是一种可解释原意某些值的加密样子。最佳的譬如是把一封信放在一个锁着的盒子里，然后交给他人。这封信一朝进去就无法转变，但不错用钥匙大开并解释。你提交的新便是原意，钥匙便是解释。

在咱们的例子中，咱们将所有原始数据和推广数据映射到 X,Y 网格上，然后找到穿过它们的最小次数多项式（这个经由称为拉格朗日插值）。这个多项式便是解释者将原意的：

以下是要道点：

咱们有一个 多项式 f (X)解释者对多项式做出 原意 C (f)

这依赖于具有果真诞生的椭圆弧线密码学。联系其责任旨趣的更多详实信息，请参阅 Bartek 的一个很棒的帖子

对于该多项式的任何 评估 y = f (z)，解释者不错贪图 解释