当前的数据可用性抽样计划使用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神:EIP-4844是大规模降低L2费用的关键一步:11月24日,以太坊联合创始人 Vitalik Buterin 发文表示,EIP-4844(Proto-Danksharding)是大规模降低 Layer2 费用的至关重要的第一步,有助于使大量用户直接使用链上应用而不是依靠 CeFi 中间方。
此前报道,OP Labs 首席执行官 Liam Horne 发文表示,以太坊核心开发人员将于周四召开电话会议,讨论将 EIP-4844 纳入考虑范围,这并不意味着包含在下一个硬分叉中,但似乎有充分的理由为上海升级进行考虑纳入。[2022/11/24 8:05:19]
区块生产者只需要知道原始的M承诺即可使用一种按照曲线的FFT来“扩展列”并生成在同一deg<M多项式上的2M承诺。
您不仅可以进行每行重建,还可以进行每列重建:如果列上的某些值和证明丢失,您可以执行FFT来恢复丢失的值和证明。
V神:PoS是以太坊能源消耗的解决方案:金色财经报道,V神认为,以太坊即将过渡到权益证明(proof-of-stake)共识机制,这是以太坊能源消耗的“解决方案”。相对于以太坊目前的工作量证明模型,尽管权益证明“仍处于起步阶段,而且经过了较少的实战检验”,但其最终可以将区块链的能源消耗降低多达10,000倍。[2021/5/29 22:54:19]
然而,KZG有一个弱点:它依赖于复杂的配对密码学和受信任的设置。配对密码学已经被研究使用了20多年,受信任的设置是N中的1个信任假设,N是数百名参与者,因此实践中的风险很高,作者认为继续使用KZG是完全可以接受的。但是,值得提出一个问题:如果我们不想支付KZG的成本,我们可以使用内积参数来代替吗?
有关IPA的解释,请参阅这篇文章的前半部分。
IPA具有以下特性:
评估证明具有对数大小,可以在线性时间内验证
没有已知的有效的多重证明生成算法。
V神:以太坊2.0新测试网Medalla节点运行良好 可修复磁盘使用问题:以太坊联合创始人Vitalik Buterin在推特表示,将自己以太坊2.0测试网Medalla上的Lighthouse节点升级到v0.2.8,表现得非常好,还修复了磁盘使用问题。如果节点当前正在占用很多空间,则升级和重新同步可以解决该问题。链闻此前报道,新测试网Spadina Launchpad已激活。Spadina将于9月26日开始与Medalla并行运行三天,以进行公开测试。[2020/9/26]
承诺是椭圆曲线点,您可以像KZG承诺一样将它们线性组合
没有已知的线性组合证明的方法。
因此,我们保留了一些属性,也丢失了一些属性。事实上,我们失去的足够多,以至于我们生成、分发和自我修复证明的“当前方法”不再可能。这篇文章描述了一种替代方法,虽然有点笨拙,但仍然可以实现目标。
一种替代方法
V神:以太坊2.0团队或在4月推出多客户端测试网:金色财经报道,根据以太坊联合创始人V神(Vitalik Buterin)的说法,以太坊2.0团队可能会在4月推出多客户端测试网。据悉,技术安全公司Least Authority最近对ETH 2.0规范进行了审核,该审核强调协议的P2P消息传递系统和区块提议者系统存在潜在的安全漏洞。在回应该报告时,V神表示,ETH 2.0团队目前正在努力解决这些问题,尽管这可能需要长期的努力而不是立即进行修订。[2020/3/31]
首先,我们生成一棵证明树,而不是为deg<N多项式生成2N独立证明,这看起来如下:
我们以评估形式解释数据,将其视为一个向量:
声音 | V神:ETH 2.0今年主要发展是Phase 0的启动:金色财经报道,V神(Vitalik Buterin)最近在接受采访时表示,ETH 2.0在今年的主要发展是Phase 0的启动。Phase 0是ETH 2.0发布的第一阶段。尽管Phase 0的正式发布日期仍然未知,但V神解释称,Phase 0目前正在进行许多优化,他们将在接下来的几个月中继续进行优化。在Phase 0启动后,ETH 2.0将作为一个独立的PoS网络开始运行。这样做的目的是允许PoS系统缓慢启动,以便随着时间的推移证明其功能。ETH 2.0的Phase 1将在接下来启动,这将使分片成为可能。[2020/2/22]
,其中多项式
。
证明树中的每个节点都是对该部分数据的承诺,以及该承诺实际上“在界限内”的证明。例如,
节点将包含承诺
。将有一个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式证明。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。