（译者注：本文所介绍的技术在密码学社区里一般称为 “KZG10 承诺”，得名于论文三位作者的姓氏首字母。但在介绍到以太坊生态中时，被简化成了 “Kate 承诺”，甚至连核心开发者也是这么称呼的。这是对另外两位作者的不尊重，不应该继续下去。在本译文中，凡原作者使用 “Kate commitment” 的地方，都一律译为 “KZG10 承诺”。）
免责声明 ：本文仅仅是汇集、链接了许多已经公开的成果，对应的荣誉（包括本文所链接的图片）应归属于相应的 作者/开发者。
P.S. ：特别感谢 Ethereum R & D discord 频道（尤为感谢 /img/202281261702/0.jpg">
而这里的 “证明” 就是一个叶子的 默克尔分支（merkle branch） 以及（这个分支在每一层上的） 兄弟哈希值（sibling hashes），凭借这些数据，可以逐级向上哈希，并通过最终的哈希值是否与根节点一致来判断该叶子是否与这棵默克尔树一致（存在于这棵默克尔树上）。
Uniswap成为以太坊上首个年收入超过10亿美元的DApp:1月4日消息，Uniswap成为以太坊区块链上运行的首个年收入超过10亿美元的DApp。数据显示，该DeFi DApp目前每天处理12.8亿美元的交易量，收入为250万美元。从2020年10月到2021年10月，Uniswap共赚取了11亿美元的费用。按目前200亿美元的完全稀释市值计算，该公司的市盈率约为20倍。
在更广泛的科技行业，市盈率可以达到100甚至1000倍，与此不同的是，人们对Uniswap的估值更像是一家传统的老公司，业务增长缓慢但稳定。
部分原因可能是以太坊区块链在没有L2的情况下无法处理更多的流量，因此，在Starknet、zkSync、Optimism和Arbitrum等L2兴起之前，以太坊区块链的使用量很难增长10倍。
然而，12月4日，Uniswap确实处理了41亿美元的交易量。这意味着它的日营收约为1000万美元，因此可推算其年内峰值收益为40亿美元，或者完全稀释后的市值为800亿美元，这意味着Uniswap的最高定价区间将从目前的20美元升至80美元。（Trustnodes）[2022/1/5 8:25:16]
可看看这里的介绍 : )。
注-2：数据映射与一个多项式的对应关系
indexes => values 这样的数据映射可以表示为一个多项式 f(x)，并且 f(index)=value（由拉格朗日插值法可知满足这个条件的多项式必定存在）。“ f(index)=value ”通常被称为 求值形式，而 “ f(x)=a0+ a1.x + a2.x^2... ” 则是其 系数形式。直观来说，我们其实是根据映射中所有的 (index,value) 点，拟合出了一个多项式。
WBTC成为以太坊链上第六大代币:根据官方网站的数据，目前WBTC的市值目前已超过15.8亿美元。这使得WBTC成为以太坊链上市值第六大代币，仅次于USDT、CRO、USDC、LINK和BNB。[2020/10/30]
为了简便计算，并确保多项式与数据映射的一一匹配，我们不使用索引值来作为 f(x) 的 x，用的是 w^index，也就是 f(w^index)=value，其中 w 是 d 次单位根（即 w^d = 1 且 w 是一个复数），而 d 是该多项式的次数（也是我们能够包含的索引值的个数上限）。因此，我们可以使用快速傅立叶变换来实现高效的多项式计算，比如乘法和除法，在求值形式下其计算复杂度会是 O(d)，而且可以在 O(d*log(d)) 的复杂度内转化回系数形式。所以保持 d 数值较小还是很有好处的。
注-2.1：以太坊的状态是一个从地址到账户状态（addresses => (version,balance,nonce,codeHash,storageRoot)）的映射。
以太坊当前使用默克尔树（更具体一些是 “帕特里夏默克尔树”）作为 EVM 数据（EVM 状态、区块事务及事务收据，也许还有最近的合约代码）的承诺。此种承诺方式可以：
V神：不认为以太坊2.0第0阶段2021年才能上线:金色财经报道，据此前消息，以太坊2.0研究人员Justin Drake表示以太坊2.02第0阶段可能在2021年上线。对此，V神在发给Drake的信息中表示：“我个人非常不同意这一点，并且无论准备程度如何，我都希望显著地早于该日期启动第0阶段。”对此，V神解释称，eth1从第一个多客户端测试网到正式启动只花了4个月的时间，因此当eth2测试网Altona启动时，他认为从7月初开始就进入了四个月的倒计时。eth2第0阶段在某种程度上比eth1更简单，但在某些方面也更复杂。因此，总的来说，V神表示没有理由认为eth2第0阶段的发布会比eth1花费更多的时间。[2020/7/11]
逐个区块地 插入/更新 数据，以增量的方式产生新的根哈希（即承诺）
验证者可以逐个区块（甚至逐笔事务）地校验和证明
前缀树结构在这里提供了这种逐块更新的特性。
给定一个 d 叉的、有 N 个叶子的前缀树，任意更改一个叶子节点，都需要更新 O(log-d(N)) 个节点（也就是该叶子与根节点相连路径上的节点数量）以计算反映新状态的新根值；而这需要额外的 (d-1)*O(log-d(N)) 个 兄弟节点哈希值/承诺 来用作时间和空间（假设要服务于轻节点）的见证数据（witness）。一个区块可视为一个需要更改 m 个随机叶子的批量更新，且 m<<N。因为预计只有一小部分的节点可以共享 witness 和计算，所以，每次更新的 Order（复杂度）不会有太大改变。
动态 | Tezos基金会CSO表示可为以太坊基金会任何项目提供资金:以太坊项目的工作人员之一Nina Breznik在推特表示，以太坊基金会计划从2020年开始停止为其大部分内部团队提供资金。Nina团队称自己是以太坊基金会成员，过去两年来，在过去的2年里一直致力于Remix。对此，Tezos基金会CSO和理事会成员Ryan Lackey表示，该组织已准备好以跨区块链的方式为以太坊基金会的任何项目提供资金。（newslogical）[2019/12/7]
在下列情况下，问题还会变得更加严重（因为见证数据的规模）：
部分采用快速同步的协议，比如 beam sync（光子同步），会下载并快速验证区块头来追上最新的主链顶端并参与网络的共识，注意，它不会先行构建好完整的状态再参与共识，而是（在共识中）通过获取 错过的/未加载的 状态的见证数据，来逐步构建出完整的状态
为 轻节点 服务的时候，他们只关心自己，只想获得区块链状态的特定部分
网络走向完全无状态时，所有的事务和合约操作，都要附带相关的见证数据，来证明数据输入和输出的正确性（译者注：粗体为译者所加）
在验证者会被混洗到不同分片的区块链分片模型中，要让验证者每到一个分片就构建完整状态是不现实的
代码默克尔化，访问代码时需要附带这些代码块的见证数据
在状态保质期协议中，访问过期的账户需要重新附带状态见证数据，以便重建该账户的状态
（译者注：需要解释的是，在当前的以太坊网络中，事务和区块不会附带上文所述的见证数据。即，网络所传播的见证数据规模与 事务/区块 的规模无恒定的关系。前两种情形恰好是在当前以太坊协议下为数不多的、需要传播见证数据的情形。我们关心状态数据的规模，完全是出于一种协议改进方向 —— “无状态性” 的需要。后面四种情形都跟无状态性有关，当然都比理论上要传播的数量更多。但是，以上述的理论计算来作为基准点去比较，本身是不合适的 —— 连代码默克尔化这种在无状态下节省状态数据的方案，也会被归为让情况更严重的方案。）
在无状态以太坊项目的一个实验中，出现了 1 MB 的区块证据（其中大部分都是默克尔证据），在发生攻击的时候还会膨胀好几倍。
其中一种解决办法是转为使用 “二进制默克尔树”，也就是把 d 降下来，这样虽然树的深度（高度）会增加，但仍然是 O(log(N)) 的规模。
对于要放在区块头内承诺数据的承诺方案来说，以下特点是理想属性：
证据的数据量较小，可以塞进区块头里，且仍具有很强的安全保证
易于证明某个承诺是使用分组化数据（chunkified data）的一个子集生成出来的
足够小，最好证据的数据量是恒定的
为了跟踪数据，承诺应当易于以增量的形式变更
基于KZG10 承诺的方案就是大家一番搜寻的结果。
译者注：可以看到，作者有三个
KZG10 承诺可以视为另一种哈希方案，只不过它哈希的不是 “字节”（数据），而是多项式。
实际上，它就是 计算（evaluation） 多项式 f(x) 在秘密的定点 s 上的值，只不过 它们都是表示在一条椭圆曲线上的，也即 [f(s)]=f([s])。这需要一个受信任的启动设置（跟 zcash 区块链的创世活动一样），来生成[s]、[s^2]、… [s^d]（以便在多项式需要 x^i 的地方插入），而 d 就是多项式的最大阶数。
这里的 [t] 表示点 t 处的椭圆曲线值，也就是 t，是椭圆曲线加法群的生成点（）相加 t 次（等同于对 Fp 求模，modulo Fp ）。椭圆曲线上的所有计算都是对 Fp 求模，Fp 给曲线施加了一定的范围（译者注：Fp 是一个由 p 个元素组成的有限域，限制了该椭圆曲线值的范围）。
注 3.0：在 indexes=>values 的映射中，所有的 值 都要表示为一条椭圆曲线上的元素，即 [value]，以便计算承诺（后文有详述）。这就使得 value 的大小有了限制（为了要成为 modulo Fp 的值）。在 BLS 曲线上，大概在 31～32 字节之间。为了简便，value 的大小就限制在 31 字节，任意更大的 值 都要分块化，并用其索引值来恰当地表示（或者截断）。
注 3.1：[t] 可以被视为 t 的哈希值，因为从 [t] 找回 t 是个离散对数问题（discrete log problem），对于安全的曲线来说，是很难做到的。
注 3.2：s 是一个秘密的数值，永远不应泄漏给 任何人/所有人，但椭圆曲线点 [s], [s^2]…[s^d] 及其在另一条椭圆曲线上的值 [s]' （其生成点为 ' 且只需知道 [s]' ）则应生成并公开出来，让所有人知道。这就是启动设置要做的事。
这些 系统参数 定义了整个系统的安全性，因为 s 暴露会使得攻击者可以构建任意内容的 证据。因此，一个有 N 个参与者共同参与的启动设置仪式中，他们要通过协议把本地的 s 结合起来，这样只要有 1 个参与者是诚实的、在参与之后就销毁掉了自己提供的 s，这个系统就会是安全的。即，信任模型是 1/N 模型，N 越高，风险就越低。
注 3-3：[] 是一个线性的操作，即[x]+[y]=[x+y]，而且 a[x]=[ax]。
如果上所述，我们将数据映射（索引值 => 数值）表示为 f(w^index)=value，即一个多项式的求值形式，也可说，我们用这些 (w^index,value) 点拟合出了一条曲线（多项式）。
所以，一个多项式 f(x) 的 KZG10 承诺c(f) 是一个椭圆曲线点 f([s])，这个点可以靠在 f(x) 的展开式中插入 [s],[s^2] … 计算得出。
注 3-4：f(s) 是无法计算的，因为 s 是个秘密值。但是 C(f)=[f(s)]=f([s]) 是可以计算的。
注 3-5：f(x)的承诺 C(f)=[f(s)] 也是一个线性的运算符，即，C(f+g)=C(f)+C(g)。
Rollup/聚合器 可以使用这一属性来更新承诺。在求值形式下，更新一个求值点将导致 f(x) 完全改变，但因为有这个属性，其承诺 c(f) 仍然是易于更新的。
（未完）
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。