当前的数据可用性抽样计划使用KZGcommitments完成。KZG承诺的优点是它们非常易于使用，并且具有一些非常好的代数性质：
一个评估证明具有恒定的大小，并且可以在恒定的时间内进行验证。
这里存在一种算法来计算所有证明，这些证明在O(N?log(N))时间内在N个单位根的每一个都会评估deg<N
您可以线性组合承诺以获得这个线性组合的承诺：com(P)+com(Q)=com(P+Q)
您可以线性组合证明：Proof(P,x)+Proof(Q,x)+Proof(P+Q,x)
第一点是良好的效率保证。第二点确保生成可以进行DA采样的blob很容易：如果生成所有证明需要O(N2)这么长的时间，则需要高度中心化的参与者或复杂的分布式算法才能使其准备好DAS。
第三点和第四点对于2D采样非常有价值，并且可以实现分布式区块生产者和高效的自我修复：
V神：Merge、Surge、Verge、Purge和Splurge将同时发生:7月26日消息，V神在个人社交媒体平台回复有关Argent回顾ETHCC大会以太坊路线图的5个阶段时表示，Merge、Surge、Verge、Purge和Splurge这五个不是阶段，他们都是同时发生进行的。
此前报道，7月21日，V神在巴黎的EthCC会议上谈到以太坊未来路线图，包括Merge与Surge等。他表示，在这个路线图的最后，以太坊将成为一个更具可扩展性的系统，到最后，以太坊将能够每秒处理100,000笔交易。不过，由于网络的复杂性和变化的速度，追求这些去中心化的目标很困难。[2022/7/26 2:37:01]
区块生产者只需要知道原始的M承诺即可使用一种按照曲线的FFT来“扩展列”并生成在同一deg<M多项式上的2M承诺。
您不仅可以进行每行重建，还可以进行每列重建：如果列上的某些值和证明丢失，您可以执行FFT来恢复丢失的值和证明。
V神：BTG攻击者将因削减或闲置损失数百万美元:以太坊创始人V神刚刚就“BTG禁止攻击链”一事发推称，针对BTG的51%攻击被用户激活的“软叉”击败，该软叉提供了一个检查点，因此BTG团队明确禁止了攻击链。这是一个好消息。在PoS中，这种情况下，攻击者将因大幅削减或闲置泄漏而损失数百万美元。[2020/7/12]
然而，KZG有一个弱点：它依赖于复杂的配对密码学和受信任的设置。配对密码学已经被研究使用了20多年，受信任的设置是N中的1个信任假设，N是数百名参与者，因此实践中的风险很高，作者认为继续使用KZG是完全可以接受的。但是，值得提出一个问题：如果我们不想支付KZG的成本，我们可以使用内积参数来代替吗？
有关IPA的解释，请参阅这篇文章的前半部分。
IPA具有以下特性：
评估证明具有对数大小，可以在线性时间内验证
没有已知的有效的多重证明生成算法。
V神：Steem硬分叉或成为区块链治理历史的积极转折点:金色财经报道，针对Steem即将进行硬分叉，V神发推文称，这似乎是区块链治理历史中潜在的积极转折点。如果Hive（分叉链）超过Steem（原链），这将证明社区才是统治者，没有人能收购社区。[2020/3/20]
承诺是椭圆曲线点，您可以像KZG承诺一样将它们线性组合
没有已知的线性组合证明的方法。
因此，我们保留了一些属性，也丢失了一些属性。事实上，我们失去的足够多，以至于我们生成、分发和自我修复证明的“当前方法”不再可能。这篇文章描述了一种替代方法，虽然有点笨拙，但仍然可以实现目标。
一种替代方法
首先，我们生成一棵证明树，而不是为deg<N多项式生成2N独立证明，这看起来如下：
声音 | V神：中继注册燃烧机制是以太坊在隐私解决方面的关键一步:V神在推特中转发了一篇介绍中继注册燃烧机制的文章。该机制目的在于抵制垃圾交易，其在以太坊第二层网络上建立一套仲裁注册机制，每一笔交易在发送广播中需要支付一定比例的费用，最后利用min_percent将其销毁。V神评论称，在中继研究取得较大进展之后，这是以太坊短期在隐私解决方案上的关键一步。[2019/7/18]
我们以评估形式解释数据，将其视为一个向量：
，其中多项式
。
证明树中的每个节点都是对该部分数据的承诺，以及该承诺实际上“在界限内”的证明。例如，
声音 | V神：2019年以太坊发展速度已变快 经过磨练团队已达到最高生产力水平:据区块链大本营6月15日消息，近日，V神在接受其采访时表示，2018年以太坊开发速度很慢，针对2018年以太坊生态发展，社区受到批评肯定有一定道理，但最近以太坊开发速度已变快，许多开发人员都在研究以太坊2.0技术规范以及 Plasma、状态通道（State Channels）和 SNARKs/STARKs 等 Layer 2 扩容解决方案。2018年，以太坊基金会采取了许多措施来提高整体发展速度，在经历了漫长的磨练后，如今各团队都达到了最高的生产力水平。
同时V神表示，以太坊目前最大的挑战在可扩展性和共识算法这两个层面。目前可通过 PoS 共识算法和 Sharding（分片）重新设计平台的安全性和可扩展性。针对PoW向PoS 迁移能否如期上线并避免分叉的问题，V神称，正在采取一种缓慢过渡到PoS的方法，即最开始作为一个独立的系统，一段时间后（阶段2期间）再逐渐从PoW转向PoS，但完全过渡到PoS仍需要一个硬分叉。当然希望PoS链的安全性风险会降低，但随时间的推移，相信它会逐渐证明自己。[2019/6/15]
节点将包含承诺
。将有一个IPA证明，
实际上是这些点的线性组合，没有其他点。
我们生成两棵树，第一棵用于
，第二棵用于
，对一条数据的“完整”承诺由C和C组成。为了证明一个特定的值xi，我们只需提供一个对列表，涵盖整个范围0...N?1或N....2N?1，不包括i，以及一个i不属于的顶级承诺是正确构建的证明。例如，如果N=8且i=3，则这个证明将包含C、C2、C及其证明，以及一个C被正确构造的证明。该证明将通过验证各个证明并检查承诺加起来是否构成完整承诺来进行验证。
蓝色：chunk3，黄色：chunk3的证明。
注意，为了提高效率，每个chunk不需要是一个单独的评估；相反，我们可以裁剪树，例如一个chunk是一组16个评估。鉴于证明的组合大小无论如何都会比这大，像这样使chunk变大，我们损失很少。
生成这些证明需要O(N?log(N))时间。验证证明需要O(N)时间，但请注意，可以批量验证许多证明：验证IPA的O(N)步骤是椭圆曲线线性组合，我们可以使用随机线性组合检查其中的许多。每个证明仍然需要O(N)场域操作，但这只需要<1毫秒。
扩展：扇出出大于2
我们可以有一个更高的扇出，而不是每一步都有2扇出，例如8扇出。每个承诺我们将有7个证明，而不是每个承诺一个证明。例如，在底层，我们将有一个证明{1,2,3,4,5,6,7}，{0,2,3,4,5,6,7}，{0,1,3,4,5,6,7}等。这将总证明生成工作增加了
，但它将证明大小减少了3倍。
证明大小
假设我们正在处理大小为32的N=128chunk和一个(4x,4x,8x)的扇出。单个分支证明将包含3个IPA，总大小为2?(7+9+12)=56个曲线点加上chunk的512字节。今天256字节或512字节chunk拥有48字节证明。
生成证明总共需要2?8192?(3?2+7)次曲线乘法，或总共~212992次乘法。因此，这需要一台功能强大的计算机快速完成，或者需要一个分布式过程，其中不同的节点专注于为不同的chunk。
验证证明很容易，因为可以批量验证证明，并且只完成一个椭圆曲线乘法。因此，它不应该比使用KZG证明慢很多。
自我修复
无法逐列有效地进行自我修复。但是我们能否避免要求单个修复拥有所有数据？
假设单行完全丢失。很容易使用任何列来重建该列中缺失行中的值。但是如何证明呢？
最简单的技术是加密经济学：任何人都可以简单地发布一个声明一个值的债券，然后有人可以将该声明与证明不同值的分支证明一起使用，以削减该验证者。只要有足够的合法声明可用，该行子网上的某个人就可以将声明组合在一起并重建承诺和证明。甚至可能要求验证者针对分配给他们的样本索引发布此类声明。
一种没有加密经济学但在技术上更复杂且速度更慢的替代方案是传递沿该列的值的M分支证明，以及证明正确验证的Halo式证明。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。