原文：A16z
编译：GWEIResearch
Danksharding是一种用于扩展未来版本以太坊链上数据量的方法。这次升级的目标是确保链上的数据在首次发布时就能被归档方访问。它通过一种叫做数据可用性采样的技术来实现这一目标。
在这篇文章中，我们将研究Danksharding中的数据可用性是如何工作的，并对底层技术提出一些修改建议。特别地，我们探讨了一种可能改进数据恢复的小改动：当前的方案需要75%的份额来恢复一个区块，而这项修改可能将此界限降低到25%。
Protodanksharding
Danksharding计划在Protodanksharding之后推出。Protodanksharding将通过引入一种名为“携带数据块交易”的新交易类型，使客户端能够将更多数据写入区块链。最初，这种新交易类型将携带多达四个数据块，每个数据块最大为128KB，每个区块可添加多达512KB的额外数据，而目前以太坊的区块大小平均为100KB。
这些数据块将被处理得不同：
它们只会被存储一段有限的时间，比如30-60天；
尽管这些数据是交易数据的一部分，但智能合约无法直接访问这些数据。相反，智能合约只能访问到数据块数据的一个简短承诺，称为DATAHASH。验证者承担的额外负担似乎是可以接受的：验证者目前存储不到100GB的数据以维护区块链的状态。在protodanksharding之后，他们将不得不额外存储50-100GB的数据。
紧接着将推出Danksharding。它将通过增加每个区块的数据块数量上限，将客户端可用的数据提高60倍。区块将从每个区块0.5MB增长到30MB。但是，因为验证者不能被迫存储60倍的数据，数据将在它们之间分散，使得每个验证者只存储一小部分数据。然而，他们可以通过数据可用性采样协议就他们是否共同存储所有数据达成共识。
这些数据块的定价将通过类似于EIP-1559的机制进行，并且将以每字节约1个数据-gas为目标。当前最便宜的替代品Calldata的价格为每字节16gas。但由于有两个不同的费用市场，这些费用无法直接比较。Roll-up客户端将从这些升级中受益，因为目前超过90%的客户端费用用于支付以太坊数据费。
其他项目，如Celestia和EigenLayer，也采用DAS技术来增加可用的数据空间。这些设计比完全分片的以太坊网络要简单得多。
数据可用性采样的目标
我们描述这个方案，假设采用了提议者-构建者分离设计：
a16z Crypto发布纪念以太坊合并的NFT“Proof-of-Merge”:9月15日消息，a16z Crypto 发布纪念以太坊合并的 NFT“Proof-of-Merge”，用户在合并发生前可免费铸造。该NFT是一个动态NFT，根据“难度”的值和合并的估计时间输出不同的元数据和插图，并以 ASCII 艺术为特色，用计算机语言呈现不同视觉效果。
其中该NFT的生命周期有三个阶段，所有阶段都基于对 EVM 中嵌入的上述“难度”的读取。第一阶段，预合并时显示两个分开的圆圈。在第二阶段，随着合并的临近，两个圆圈将开始相交，直到它们重叠，形成类似日食的画面；一旦合并发生，形状将转化为最终形式：阴阳符号。[2022/9/15 6:57:00]
客户端将其携带数据块的交易提交给区块构建者。
区块构建者通过选择N个客户端数据块来形成一个区块B。数据块编号为i，附带一个由发送它的客户端签名的简短承诺Ci。让C=是区块B中所有N个签名承诺的列表。
区块构建者将他们提议的区块提交给当前的区块提议者。区块提议者选择其中一个区块并将其原样发布到网络上。
挑战在于确保稍后可以重建区块B。为此，构建者将区块在V个验证者的大型网络中进行复制。可以要求每个验证者都存储整个区块，但这被认为太昂贵。相反，区块构建者：
使用纠删码将区块B编码成更大的区块E；
将区块E分成V个重叠的片段P1，...，PV；
将一对发送给编号为i的验证者。
每个验证者检查它接收到的片段Pi是否与签名承诺列表C一致。区块构建者为验证者提供证明以方便这些检查。
有了这个设置，数据可用性采样方案有两个协议：
采样协议在采样验证者和验证者集之间运行。采样验证者将列表C作为输入，并从验证者集合中随机请求区块E的元素。如果采样验证者收到了所有请求的元素，并且都与C一致，它将输出成功。
重构协议在重构代理和验证者集之间运行。重构代理将C作为输入，从验证者集请求区块E的元素。一旦收集到超过75%的元素，且所有元素都有效，重构代理计算并输出区块B。
要求是，如果采样验证者输出成功，那么只要输入超过四分之三的元素，重构代理将输出区块B。只要提供足够的元素，即使提供的元素是对抗性选择的，重构也应该成功。
总之，以下各方参与到Danksharding中：
客户端：将数据块发送给构建者。
构建者：创建区块并将此区块的片段发送给验证者。
区块提议者：将区块发布到网络。
体育元宇宙初创公司Gym Class完成800万美元种子轮融资，a16z领投:金色财经报道，体育元宇宙初创公司Gym Class宣布完成800万美元种子轮融资，由 Andreessen Horowitz（a16z） 领投，Y Combinator 参投。Gym Class允许使用虚拟头显与来自世界各地的玩家一起打篮球（8人），玩家通过自己的身体动作控制全身化身，并手持 Quest 控制器在用户可以自行设计的可定制数字球场上进行投篮、传球、运球和扣篮。据悉，目前这款应用在 Meta Quest App Lab 的下载量已经接近一百万，并计划于今年秋季在 Meta Quest Store 上推出。（sporttechie）[2022/8/3 2:55:04]
采样验证者：运行采样协议，如果协议输出成功，则对区块头进行签名。
重构代理：在需要时与整个验证者集合进行交互以重构先前发布的区块。如果验证者回应超过四分之三的有效元素，重构将成功。
纠删编码和多项式承诺
接下来我们解释该方案的两个构建模块：纠删编码和多项式承诺。
构建模块#1：纠删编码
纠删编码可以追溯到20世纪60年代，它的产生是为了满足在损耗信道上传输信息的需求。在danksharding中，它被用来防止验证者丢失数据片段。该技术将数据从N个元素扩展到M个元素，以便可以从扩展数据的任何完整的N个元素中重建原始数据。想象一下，将N个元素编码成M=2N个元素，并将一个编码元素分给2N个验证者。如果大多数验证者都是诚实的，他们就可以共同重建原始数据。这种技术可以防止任何一半验证者的崩溃故障。通过在下一节中讨论的多项式承诺，可以扩展以防止一半验证者的拜占庭行为。
以下是扩展的详细过程。要将数据从N个字段元素d1、d2、...、dN∈?p扩展到M个编码元素e1、e2、...、eM∈?p，我们对满足p(i)=di的唯一N-1次多项式p(x)进行插值。然后在M个点上评估多项式：ei=(i,p(i))，对于i=1，...，M。使用拉格朗日插值从M个编码元素中的任何N个元素重建原始多项式p(x)。这种扩展方法称为Reed-Solomon编码或低次多项式扩展。
构建模块#2：多项式承诺
多项式承诺是DAS方案的一个构建模块。它允许方案做两件事：
使用短承诺字符串C，承诺一个?p中的有界度D的单变量多项式p。
在给定点x∈?p处打开已承诺的多项式。
更准确地说，给定x,y∈?p，承诺者可以创建一个简短的证明π，证明已承诺的多项式p满足p(x)=y，且其次数最多为D。证明π针对承诺字符串C和值x、y进行验证。这个π被称为评估证明。
安全性保证承诺与多项式绑定，且敌手不能创建虚假证明。
这里可以使用一些实用的多项式承诺方案。Danksharding使用KZG承诺方案，该方案需要一个可信设置仪式来生成公共参数，但具有常数大小的承诺和常数大小的评估证明。KZG承诺具有以下几个特点，使其特别适合danksharding：
Web3身份验证公司Dynamic完成a16z领投的750万美元种子轮融资:6月29日消息，Web3身份验证初创公司Dynamic完成750万美元种子轮融资，a16z领投，Castle Island Ventures、Solana Ventures、Circle Ventures、Breyer Capital、Hypersphere、Chapter One等参投。新融资将用于扩充团队以及启动其平台。
据介绍，Dynamic于去年12月成立，并于今年4月完成种子轮融资，目前的员工人数为8人。Dynamic致力于为不同类型的公司提供身份验证服务，其客户包括Llama、Popartcats、Handstamp和Lunchclub。此外，Dynamic平台封闭测试版已开放，预计将于今年晚些时候全面推出。（The Block）[2022/6/29 1:37:46]
承诺是同态的：如果C1是对p1的承诺，C2是对p2的承诺，那么C1+C2是对p1+p2的承诺；
承诺是唯一的：如果两个人独立计算对多项式p的承诺，他们会得到相同的承诺；
评估证明是同态的：对于给定的x，如果π1是一个证明，证明p1(x)=y1，π2是一个证明，证明p2(x)=y2，那么π1+π2就是一个证明，证明（p1+p2)(x)=y1+y2。
现在我们可以解释客户端如何承诺其数据块。首先，客户端将数据块解释为m个字段元素d1，...，dm∈?p的向量，其中m≤4096。接下来，它插入一个单变量多项式p∈?p，其次数最多为m-1，满足p(i)=di，对于i=1，...，m。最后，客户端构建多项式p的KZG多项式承诺。它对承诺进行签名，并将承诺-签名对发送给构建者。这个过程需要公共参数，包含4096个群元素。
数据分散
接下来，我们解释区块构建者如何编码一个区块并将其分成片段发送给验证者。取某个256位素数p。区块构建者执行以下操作：
输入：一个danksharding区块B可以包含多达256个数据块，每个数据块是一个?p中的4096个元素的向量。因此，我们可以将一个区块表示为一个256×4096的?p元素矩阵。这个矩阵的每一行对应一个客户端的数据块。请注意，每个客户端都向构建者发送一个B的行以及该行的已签名KZG多项式承诺。构建者收集256个已签名的多项式承诺C0，...，C255，每行一个承诺。
步骤1：构建者插入一个双变量多项式d(X,Y)，使得d(i,j)=B，对于i=0，...，255和j=0，...，4095。这个双变量多项式在X方向上的次数最多为255，在Y方向上的次数最多为4095。
步骤2：构建者使用上述纠删编码方法将块在每个方向上扩展两倍。也就是说，它通过设置E←d(i,j)为i=0，...，511和j=0，...，8191，形成一个512×8192的字段元素矩阵E。下图说明了这一点。
Azra Games完成1500万美元融资，a16z领投:金色财经报道，P2E游戏工作室Azra Games完成1500万美元融资，a16z领投，FX、Coinbase Ventures、Play Ventures 和 Franklin Templeton参投，据悉a16z是通过昨天刚刚推出的加密游戏基金投资的这家公司。Azra 将利用这笔最新融资扩大旗下 24 人的团队，专注于游戏产品、开发和品牌建设，该公司将在未来几个月内发布第一款具有游戏化功能的 PFP 游戏。[2022/5/19 3:28:44]
步骤3：构建者验证每个已签名的Ci是否是对一元多项式di(Y):=d(i,Y)的KZG承诺，对于所有i=0，...，255。注意多项式di(Y)是B的第i行的插值，因此必须与客户端i提交的多项式相同。构建者拒绝所有Ci格式不正确的数据块。
现在，构建者使用C=(C0,...,C255)作为对区块B的承诺，或更确切地说，是对双变量多项式d(X,Y)的承诺。
让我们证明C=(C0,...,C255)确实是对多项式d(X,Y)的多项式承诺。对于给定的x,y,z∈?p，让我们构造一个评估证明，使验证者确信d(x,y)=z相对于承诺C。由于d(X,Y)中X的次数最多为255，因此只依赖于x的常数λ0，...，λ255∈?p满足
d(x,Y)=λ0·d(0,Y)+...+λ255·d(255,Y)。
然后，根据KZG承诺的同态性质可得
Cx:=λ0·C0+...+λ255·C255
是对一元多项式dx(Y):=d(x,Y)的KZG承诺。因此，验证者可以从C中自行构建Cx。让π成为多项式dx(Y)的KZG评估证明，使验证者确信在承诺Cx下，dx(y)=z。这个π是在点(x,y)处对d(X,Y)的所需评估证明。
这个论证表明C是对d(X,Y)的多项式承诺。值得注意的是，虽然每个客户端独立于其他客户端签名B的一行，但所有客户端签名的集合充当了对d(X,Y)多项式承诺的签名。
步骤4：在这个DAS方案中，通信的最小单位是一个样本，它是一个16元素的行向量。将512×8192元素的矩阵E视为512×512样本的方阵。设V为验证者的数量。然后，区块构建者将矩阵E分解为V个重叠片段P1，...，PV，其中Pi包含E中恰好两行两列的样本，这些样本是从512行和512列的样本中随机选择的。因此，Pi包含2×512×16+2×8192=9216个?p中的字段元素。这比完整的区块B小得多，B大约有一百万个字段元素。以太坊的验证者数量最少为128，因此存在足够的验证者确保整个区块得到充分覆盖。
步骤5：区块构建者将三元组(Pi,C,πi)发送给验证者i，其中πi是Pi中所有元素的评估证明列表：Pi中两行和两列样本中每个单元格d(x,y)的一个证明。πi中的证明使验证者能够验证Pi中的每个字段元素与承诺C一致。
在danksharding中，验证者的数量可以大大超过区块中的列或行的数量。因此，某些列和行可能由多个验证者存储。因此，danksharding使用复制和Reed-Solomon纠删编码确保数据可以重构。
a16z合伙人：不能因Web 3和加密新兴技术存在缺陷就彻底限制:11月24日消息，a16z合伙人Chris Dixon在推特上发文表示，不能因为当前新兴技术存在缺陷就反对新兴技术发展，任何重要技术运动都需要经历很多年时间过程，善意的批评可以改善技术，需要将“暂时出现的缺点”和“彻底限制”区分开，尤其是Web 3和加密，现在的确存在交易费用过高、能源消耗过大的问题，这是该新兴技术的暂时缺陷，但出于不同发展阶段，我们可以思考更多解决方案，但不能把“暂时缺陷”视为彻底否认新兴技术的理由。[2021/11/24 7:08:49]
完整区块的重构
当重构代理需要重构整个区块时，它拥有C，并要求验证者集合将其片段发送给它。作为回应，诚实的验证者i发送(Pi,πi)。重构代理检查πi中的开放证明，如果有效，它接受Pi中的值。因此，拜占庭式验证者无法发送虚假数据。然而，拜占庭式验证者可能拒绝发送他们的数据，不回应重构代理。
当某些数据丢失时，danksharding需要至少75%的矩阵E来重构区块。由于验证者仅存储完整的行和列，最坏的情况是以下情况，即75%-ε的区块元素已存在，但无法重构缺失的元素。
要理解为什么在这种情况下数据无法重构，请注意存在一个非零的双变量多项式δ(X,Y)，它在整个“存在”的区域上的取值为零，并且在X和Y上具有所需的度限制。因此，在重构过程中，无法判断缺失的白色区域是来自正确的多项式d(X,Y)还是多项式d(X,Y)+δ(X,Y)；两个多项式在现有数据上一致。因此，当缺失的数据遵循这种模式时，无法重构缺失的数据。请注意，如果验证者删除了部分数据，从而成为“拜占庭式”，它会删除所有数据，包括两行和两列。
所以，在最坏的情况下，不到75%的区块是不够的。然而，当75%或更多的区块存在时，通过简单的贪婪算法保证重构成功。
重构算法：重构通过迭代地找到一个具有至少50%可用元素的不完整行，并使用单变量插值来重构行的缺失元素。要了解为什么这个过程最终会重构整个区块，让我们假设区块仍然缺少一些元素，但我们找不到可以重构的行或列。这意味着每行和每列要么具有<50%的可用元素，要么已满。让我们选择任何不完整的行；它具有>50%的不可用元素，通过这些元素的列也必须具有>50%的不可用元素，这立即意味着区块>25%的不可用，这与原始假设相矛盾。
为了使一个区块无法重构，对手需要攻击至少15/16的验证者集。在这种情况下，攻击者会选择要擦除的象限，并攻击那些在该象限中至少有一个行或一个列的验证者。
验证者数据的本地重构
假设一个诚实的验证者i崩溃并丢失了其数据。当它重新上线时，它希望重构其两行和两列Pi以及开放证明πi。Danksharding允许验证者在不重构整个区块的情况下执行此操作。验证者可以从存储相同确切点集的另一个验证者那里下载其数据，或者从其他验证者那里获取其行的50%元素，并通过单变量插值重构剩余的行。这个过程不需要进行完整的重构。
例如，假设一个验证者存储了至少50%的第42列，但不到100%，它需要重构缺失的元素。也就是说，验证者持有对(i,42)∈(?,?)的所有i∈S的配对(E(i,42),πi)，其中S是一个集合，满足256≤|S|<512。为了重构缺失的配对，验证者执行以下操作：
在?域上使用拉格朗日插值构造一个多项式p(x)，其次数为255，使得对于所有i∈S，p(i)=E(i,42)。
评估多项式以获得缺失的元素：对于所有i∈{0..511}\S，E(i,42):=p(i)。请注意，这些点保证位于一个255度的多项式上，因为验证者已经根据承诺C检查过它们。
通过在指数上进行多项式插值，用多重取幂获得缺失的证明：对于{0..511}\S中的所有i，计算πi:=∑j∈Sπj·Λj,S(i)，其中Λj,S(i)是拉格朗日系数Λj,S(i):=∏k∈S,k≠j(i–k)/(j–k)。
步骤3利用了KZG多项式承诺具有同态证明的事实。据我们所知，KZG是唯一具有此属性的多项式承诺方案。
在danksharding中进行数据可用性抽样
为了确定扩展区块E中是否有足够的数据可用于重构原始区块B，抽样客户端查询E的随机样本。对于每个查询，它得到一个样本和一个评估证明，以根据承诺C检查样本。如果所有查询都成功回答，客户端将接受数据作为可用。如果客户端总共进行了Q次查询，那么它错误地接受不可用的数据的概率为(3/4)^Q，随着查询次数Q的增加，这个概率呈指数级下降。比率3/4对应于上一节中的75%重构阈值。
在以太坊网络中，将由三种类型的参与者进行抽样：(i)无法承担全部存储blob数据的完整节点，(ii)轻客户端，以及(iii)验证者本身。验证者在投票确认区块及其前驱之前，必须证明数据是可用的。每个时代都有固定的验证者集，它们被随机地分成32个委员会。每个委员会被分配到一个时代的12秒时段。预计每个时段会确认一个区块。每个验证者都会收到每个区块的片段，即使在验证者不是证明委员会成员的区块上也是如此。此外，每个验证者都会对当前区块和所有之前的区块进行抽样，以确保所有区块在选择一个区块进行依据分叉选择规则的证明之前都是有效的且可用的。
协议保证数据在一个32个时段的时代内，即6分钟内可用。其他方法，如可检索性证明或激励机制，可以帮助确保数据在更长的时间内可用，例如，在blob数据过期之前应该保持可用的30-60天内。
一个25%重建的提案在本节中，我们解释如何在只有25%的数据可用的情况下实现重建。
当可用点的分数低于75%时，贪婪的按列和按行的一元插值可能会失败。相反，我们建议通过双变量多项式插值直接进行重建。在这种情况下，即使E的点只有25%可用，也可以实现完全重建。然而，这需要对验证器分配片段的方式进行一些修改。我们建议让每个验证器分配存储：
一个完整的行，一个完整的列，以及一个随机分布在矩阵E周围的1024个样本的集合。每个验证器的总存储需求保持不变，但现在即使少于75%的样本可用，也可以进行重建。此外，多个验证器存储相同的点集，因此，如果任何验证器需要重建其片段，它可以向存储完全相同片段的任何其他验证器请求。如果没有这样的验证器可用，它可以进行局部或完全重建以获取其片段。
这种混合方案在比辛特验证器数量较少的情况下允许便宜的重建，使得E的样本超过75%可用。在不愉快的情况下，当拜占庭验证器的数量变得过高时，由于样本在矩阵E中的随机分散，可以从只有25%的样本中使用完全双变量插值进行数据重建。
双变量插值可以简单地通过求解多项式系数上的线性方程组来实现。这种简单方法需要构建一个220×220场元素的插值矩阵。这相当大，但并非不可行。然而，还有更好的方法可以使用。虽然双变量插值的成本不菲，但它只在恢复点的分数低于75%时需要，可以作为一种安全措施。为了启用此安全措施，danksharding需要稍微修改以按照上述方式将片段分配给验证器。
带有IPA承诺的Danksharding
前述构造的主要缺点是KZG多项式承诺方案需要可信设置。否则，该方案非常快速。然而，可信设置通常需要大量的工作和协调。一些其他多项式承诺方案不需要可信设置，尽管它们没有用于验证器在重建其需要存储的数据时的效率所需的同态证明。
然而，可以修改构造，以避免同态证明的需求并仍然具有轻量级验证器。高层次的思路是让区块构建者计算区块矩阵E的列的承诺。通过这种方法，验证器不需要重建列证明；他们只需自己完全重建列，然后根据列承诺从头开始重新计算证明。通过共识，验证器将确保他们在相同的列承诺集上达成一致。
具体而言，步骤1-4与上文中解释的danksharding相同。然而，步骤5是不同的。
步骤5：区块构建者计算B的列的多项式承诺：将它们表示为T=，每个Tj都是对d的承诺的系数向量）。接下来，它创建一个证明，证明C和T承诺了相同的矩阵，方法如下。区块构建者选择一个随机点，使用承诺的同构性来插值计算列承诺T?，得到一元多项式d以及行承诺Cx?，得到一元多项式d，并创建两个证明：πx?-针对Cx?的d的多项式求值证明，以及π?-针对T?的d的多项式求值证明。点对所有验证器是通用的，可以从随机信标输出中获得，或者用Fiat-Shamir变换生成伪随机。然后，区块构建者向验证器i发送），其中Pi是E的两行和两列。在此构造中，构建者不计算任何证明。
验证器验证证明πx?，π?，以捕获恶意区块构建者生成错误的列承诺T。然后，验证器重新提交Pi中的两行和两列，并验证它们是否与C和T中的相应元素匹配。如果Pi中的行位于原始矩阵B的范围内：x∈{0..255}，验证器只需验证承诺是否与C中的相应元素Cx匹配；但是，如果行位于扩展部分：x∈256..511，验证器首先通过C中的承诺插值以获得Cx：
Cx:=λ0·C0+...+λ255·C255
请注意，插值是可能的，因为IPA承诺是同态的。验证器以类似的方式针对T验证Pi的列，并在需要时进行插值。
在此构造中，区块构建者无需为验证器计算证明。验证器可以自己计算所有证明。然而，找出一种高效算法一次计算大量证明是一个有趣的研究问题。
正如我们所看到的，这种方法的主要瓶颈是对采样客户端的效率损失，因为基于IPA方案的证明大小是对数的。此外，采样客户端可能需要下载列承诺，除了行承诺之外，导致通信开销。然而，我们认为这是一个值得进一步探索的有前景的方向。
使用Merkle承诺的DankshardingVitalik最近探讨的另一种可行方法是使用Merkle承诺而不是多项式承诺来避免可信设置。Merkle承诺不是多项式承诺方案，因此与擦除编码一起使用更具挑战性。区块构建者将擦除编码数据，并通过Merkle树根对扩展数据进行承诺。主要挑战是在不下载全部数据的情况下检测错误扩展的数据。欺诈证明可用于解决这个问题，但这依赖于一个客户端能下载全部数据，检查它是否正确擦除编码并正确承诺，并在发现问题时通过提供欺诈证明发出警报。
或者，可以使用FRI证明来检查Merkle树的叶子是否接近Reed-Solomon码字。采样客户端将检查FRI证明，并通过请求它们的Merk尔证明来对足够比例的叶子进行采样，以确保数据可用且可以重建。
数据可用性采样及其具体实例danksharding将降低数据存储成本，从而实现更具可扩展性和更便宜的区块链。DAS的编码方面是一个潜在的研究丰富领域，有许多可能的探索方向。我们提出了一种可能的途径：改进重建协议以使用较少的样本。另一个令人兴奋的方向是探索不需要可信设置的替代承诺方案。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。