免责声明?：本文仅仅是汇集、链接了许多已经公开的成果，对应的荣誉应归属于相应的作者/开发者。
P.S.?：特别感谢EthereumR&Ddiscord频道帮助我理解KZG10承诺的某些方面。此外，还要感谢?@vbuterin帮忙审校本文。
PPS?：本文是出于lodestar团队的利益而撰写的；lodestar是一个很棒的ETHPoS客户端，基于typescript，可以让以太坊的服务?无处不在，也开启了作者对以太坊生态和创新的理解。
我希望本文也能对全世界的其他开发者/技术人员有所帮助。本文遵循CC0自由创作公约，作者已放弃所有权利。
动机
作为一个有益的指南，帮助读者熟悉、总结以太坊背景下?KZG10承诺的提议用法，并提供深入理解的指南。
本文的目的更多是总结，而非严谨，不过，您可以点击文中所附的链接，它们会有更详细的解释。
基础原理
注-1：哈希值就是一个对被哈希的原像的承诺，用于检验被哈希的数据的完整性。
举个例子，假设?h1=H(t1,t2,t3..)，然后把h1交给验证者，然后给出一个伪造的区块?(t1,t2',t3...)，对方快速计算这个伪造区块的哈希值之后，发现两者对不上，就可以合理地拒绝你的伪造区块。
Orbiter Finance测试网产品已整合至Polygon zkEVM:3月9日消息，Orbiter Finance宣布其测试网产品已整合至Polygon zkEVM。[2023/3/9 12:52:32]
类似的，一棵默克尔树的根节点，就是对按特定索引组织起来的所有叶子节点的承诺。或者简单来说，是对?indexes=>values的映射的承诺。
而这里的“证明”就是一个叶子的?默克尔分支?以及?兄弟哈希值，凭借这些数据，可以逐级向上哈希，并通过最终的哈希值是否与根节点一致来判断该叶子是否与这棵默克尔树一致。
可看看这里的介绍?:)。
注-2：数据映射与一个多项式的对应关系
indexes=>values?这样的数据映射可以表示为一个多项式?f(x)，并且?f(index)=value。“f(index)=value”通常被称为?求值形式，而“f(x)=a0+a1.x+a2.x^2...”则是其?系数形式。直观来说，我们其实是根据映射中所有的?(index,value)?点，拟合出了一个多项式。
Filecoin当前测试网全网有效算力为325.68PiB:据IPFS100.com报道，filfox浏览器数据显示，当前测试网区块高度为96178，全网有效算力为325.68 PiB，总质押量约为795.31万枚FIL，活跃矿工数为378个，每区块奖励为12.465 FIL，近24小时产出量为150089FIL，24小时平均挖矿收益为0.46 FIL/TiB；
目前有效算力排名前三的分别为：t02775（STCloud-Linden）以20.21PiB位居第一，t01248（智合云）以18.99 iB位居第二，t09037（SeedPlan-Saturn）以18.10 PiB位居第三。[2020/9/27]
为了简便计算，并确保多项式与数据映射的一一匹配，我们不使用索引值来作为f(x)的x，用的是?w^index，也就是?f(w^index)=value，其中w是d次单位根，而d是该多项式的次数。因此，我们可以使用快速傅立叶变换来实现高效的多项式计算，比如乘法和除法，在求值形式下其计算复杂度会是?O(d)，而且可以在?O(d*log(d))?的复杂度内转化回系数形式。所以保持?d?数值较小还是很有好处的。
基于0.12规范的更正式以太坊2.0多客户端测试网有望在6月份发布:一个以太坊2.0开发人员的调用显示，Schlesi 测试网非常成功，有望在6月份发布一个基于0.12规范的更正式的多客户端测试网。现在，以太坊2.0的开发几乎完全是为了修复bug，团队试图将所有现有的客户端同步到区块链的一个版本中。5月14日举行的以太坊2.0实现者调用的后续报告显示，大部分工作致力于修复代码错误和改进检测方法。对于后者，Sigma Prime的开发人员Mehdi Zerouali报告了在设计“模糊”技术方面的重大进展，这种技术会向程序提供虚假数据，以找出程序的漏洞。Sigma Prime分析已经帮助发现了以太坊2.0客户端软件和它们所依赖的库中的一些低级错误。具体来说，分析人员在Teku客户端中发现了一个无限循环错误，在Nimbus中发现了一个内存分割错误。
由于客户端负责保存和验证区块链，因此它们之间的完全同步是非常重要的。对于以太坊2.0，有7个独立的客户机正在开发中。他们中的大多数人正在为Schlesi测试网进行优化，Schlesi测试网是第一个模拟主网环境的多客户端以太坊2.0测试网。Schlesi 测试网计划的负责人Afri Schoedon解释说，该网络有一个艰难的开始。bug阻止了第一次启动，一旦修复，由于客户端经常崩溃，事务最终结果“很糟糕”。 但是Schoedon赞扬了客户端开发人员在修复这些问题时的响应能力，这使得网络得以稳定。Schoedon补充道:“我将谨慎地将2020年6月作为发布日期。”不过他也指出，这在很大程度上取决于0.12客户端的发布。（Cointelegraph）[2020/5/15]
V神为以太坊合并辩护：PoS机制资产不是证券:7月13日消息，以太坊联合创始人Vitalik Buterin周二在推特上为以太坊网络向PoS过渡进行了辩护，回应有关使用此类共识机制的资产是一种证券的论点。
Swan Bitcoin执行主编Nick Payton周二表示，“你可以投票改变其属性，这证明了它是一种证券。”他最后表示“Love, Bitcoin”，作为对PoW共识机制的认可。
Vitalik Buterin驳斥了这一说法，称其为“彻头彻尾、赤裸裸的谎言”，并补充说PoS不包括对协议参数的投票，PoW也不包括。（Forkast）[2022/7/13 2:09:46]
注-2.1：以太坊的状态是一个从地址到账户状态的映射。
背景知识
以太坊当前使用默克尔树作为EVM数据的承诺。此种承诺方式可以：
逐个区块地插入/更新数据，以增量的方式产生新的根哈希
验证者可以逐个区块地校验和证明
前缀树结构在这里提供了这种逐块更新的特性。
DNS 域名后缀提供商 .XYZ 为以太坊地址创建帐户页面:12月21日消息，今日DNS 域名后缀提供商 .XYZ发布一项新的服务，将帮助ENS用户（即拥有以太坊钱包地址的用户）创建以太坊账户页面。只要用户在Eth后加.xyz后缀即可将 ENS 配置文件转换为可共享的 URL，与 .eth 名称相关联的公开信息包括个人资料图片和联系信息将在该页面被展示。[2021/12/21 7:52:35]
给定一个?d?叉的、有?N?个叶子的前缀树，任意更改一个叶子节点，都需要更新?O(log-d(N))?个节点以计算反映新状态的新根值；而这需要额外的?(d-1)*O(log-d(N))?个兄弟节点哈希值/承诺来用作时间和空间的见证数据。一个区块可视为一个需要更改?m?个随机叶子的批量更新，且?m<<N。因为预计只有一小部分的节点可以共享witness和计算，所以，每次更新的?Order不会有太大改变。
在下列情况下，问题还会变得更加严重：
部分采用快速同步的协议，比如?beamsync，会下载并快速验证区块头来追上最新的主链顶端并参与网络的共识，注意，它不会先行构建好完整的状态再参与共识，而是通过获取错过的/未加载的状态的见证数据，来逐步构建出完整的状态
为?轻节点?服务的时候，他们只关心自己，只想获得区块链状态的特定部分
网络走向完全无状态时，所有的事务和合约操作，都要附带相关的见证数据，来证明数据输入和输出的正确性
在验证者会被混洗到不同分片的区块链分片模型中，要让验证者每到一个分片就构建完整状态是不现实的
代码默克尔化，访问代码时需要附带这些代码块的见证数据
在状态保质期协议中，访问过期的账户需要重新附带状态见证数据，以便重建该账户的状态
在无状态以太坊项目的一个实验中，出现了?1MB?的区块证据，在发生攻击的时候还会膨胀好几倍。
其中一种解决办法是转为使用“二进制默克尔树”，也就是把?d?降下来，这样虽然树的深度会增加，但仍然是?O(log(N))?的规模。
为什么要使用KZG10承诺？
对于要放在区块头内承诺数据的承诺方案来说，以下特点是理想属性：
证据的数据量较小，可以塞进区块头里，且仍具有很强的安全保证
易于证明某个承诺是使用分组化数据的一个子集生成出来的
足够小，最好证据的数据量是恒定的
为了跟踪数据，承诺应当易于以增量的形式变更
基于KZG10承诺的方案就是大家一番搜寻的结果。
译者注：可以看到，作者有三个?
什么是KZG10承诺？
KZG10承诺可以视为另一种哈希方案，只不过它哈希的不是“字节”，而是多项式。
实际上，它就是?计算?多项式?f(x)?在秘密的定点?s?上的值，只不过它们都是表示在一条椭圆曲线上的，也即?=f()。这需要一个受信任的启动设置，来生成、、…?，而?d?就是多项式的最大阶数。
这里的??表示点t处的椭圆曲线值，也就是?t，是椭圆曲线加法群的生成点相加t次。椭圆曲线上的所有计算都是对Fp求模，Fp给曲线施加了一定的范围。
注3.0：在?indexes=>values?的映射中，所有的值都要表示为一条椭圆曲线上的元素，即，以便计算承诺。这就使得value的大小有了限制。在BLS曲线上，大概在31～32字节之间。为了简便，value的大小就限制在31字节，任意更大的值都要分块化，并用其索引值来恰当地表示。
注3.1：可以被视为t的哈希值，因为从找回t是个离散对数问题，对于安全的曲线来说，是很难做到的。
注3.2：s是一个秘密的数值，永远不应泄漏给任何人/所有人，但椭圆曲线点?,?…?及其在另一条椭圆曲线上的值?'?则应生成并公开出来，让所有人知道。这就是启动设置要做的事。
这些?系统参数?定义了整个系统的安全性，因为?s?暴露会使得攻击者可以构建任意内容的?证据。因此，一个有N个参与者共同参与的启动设置仪式中，他们要通过协议把本地的s结合起来，这样只要有1个参与者是诚实的、在参与之后就销毁掉了自己提供的s，这个系统就会是安全的。即，信任模型是1/N模型，N越高，风险就越低。
注3-3：?是一个线性的操作，即+=，而且?a=。
如果上所述，我们将数据映射表示为?f(w^index)=value，即一个多项式的求值形式，也可说，我们用这些?(w^index,value)?点拟合出了一条曲线。
所以，一个多项式f(x)的KZG10承诺c(f)?是一个椭圆曲线点?f()，这个点可以靠在f(x)的展开式中插入?,?…计算得出。
注3-4：f(s)是无法计算的，因为s是个秘密值。但是?C(f)==f()?是可以计算的。
注3-5：f(x)的承诺?C(f)=?也是一个线性的运算符，即，C(f+g)=C(f)+C(g)。
Rollup/聚合器?可以使用这一属性来更新承诺。在求值形式下，更新一个求值点将导致f(x)完全改变，但因为有这个属性，其承诺c(f)仍然是易于更新的。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。