来源：vitalik.ca
作者：Vitalik Buterin
编者注：
数据可用性采样?(data availability sampling) 是 Dankshading 的关键部分，为实现这一密码协议，需要使用 KZG 仪式对数据可用性证明方案所需要的参数进行初始化。
因此，KZG 受信任初始化是实现 EIP-4844 (proto-danksharding) 和完整版 Danksharding 的重要前提条件。
除此之外，其他密码学协议如 ZK-SNARKs 领域也需要有受信任初始化阶段。
本文介绍了受信任初始化的运作原理以及其验证过程。
《分片 + 数据可用性采样》www.ethereum.cn/sharding-proposal
必要的背景知识：elliptic curves and elliptic curve pairings。
另请参阅：Dankrad Feist's article on KZG polynomial commitments。(中文版：KZG多项式承诺)
特别感谢 Justin Drake、Dankrad Feist 和 Chih Cheng Liang 的反馈和评审。
许多密码协议尤其是在数据可用性采样和 ZK-SNARKs 领域都依赖于受信任初始化。受信任初始化仪式是一个用于生成一批数据的一次性流程。
后续，每次运行某些密码协议时都必须使用这些数据。生成这些数据需要一些秘密信息；“信任”来源于这样一个事实，即必须由某个人或某组人来生成这些秘密，使用秘密来生成数据，然后发布数据并销毁这些秘密。
然而，一旦生成了数据并销毁了秘密，仪式创建者就不需要进一步的参与。
受信任初始化有很多类型。在主流协议中最早使用的受信任初始化的实例是 2016 年的 Zcash 启动仪式。这个仪式非常复杂，而且需要多轮的通信交互，因此只能有六名参与者。
彼时彼刻，每个使用 Zcash 的人都必须相信六名参与者内至少有一名是诚实的。新式协议一般会使用 powers-of-tau 初始化技术，其遵循 1-of-N 信任模型，N 值通常为数百。
也就是说，数百人一起参与生成数据，只需其中一人是诚实的并且不公开秘密就能保证最终输出的安全性。实践上，像这样的执行良好的受信任初始化通常被认为是“足够接近于去信任”的。
本文将介绍 KZG 初始化如何运作及其工作原理，以及受信任初始化协议的未来。任何精通代码的人都可以随意地浏览以下代码实现：https://github.com/ethereum/research/blob/master/trusted_setup/trusted_setup.py.
Powers-of-tau 初始化是怎样的？
Vitalik Buterin：账户抽象可为以太坊带来数十亿美元的收益:金色财经报道，最近在巴黎举行的以太坊社区会议（EthCC）上的一次演讲中，以太坊创始人Vitalik Buterin详细介绍了账户抽象升级如何让用户用用于交易的代币支付Gas费，从而吸引数十亿人使用以太坊。帐户抽象使用户能够从外部拥有的钱包（EOA）切换到基于智能合约的钱包。如果此次升级成功，钱包管理将比现在更加高效和轻松。Buterin和社区相信，这可以使加密技术得到广泛采用。
此外，加密货币领域充斥着丢失助记词或助记词被盗的用户。通过账户抽象，用户可以创建充当可编程智能合约的非托管钱包。据报道，钱包恢复只是此次新升级带来的众多功能之一。Buterin相信此次升级可以给以太坊带来数十亿美元的收益。[2023/7/20 11:05:50]
powers-of-tao 初始化由两系列的椭圆曲线点组成，如下所示：
和?
是两个椭圆曲线群的标准生成元；在 BLS12-381 中，
占用 48 字节（压缩形式），
占用 96 字节。
,
分别是初始化输出的
?,
生成点列的长度。一些协议要求
=2，另一些协议要求
的值都较大，一些协议属于中间情形（例如，当前的以太坊数据可用性采样方案要求
=4096和
=16）。
是用于生成点列的秘密值，使用后需要销毁。
为了对多项式
生成 KZG 承诺，我们简单选取一个线性组合
，其中
Vitalik Buterin 2014年的历史肖像被作为NFT进行拍卖:金色财经报道，加拿大著名摄影师Andrew Miller宣布独家拍卖以太坊创始人Vitalik Buterin的首张专业且从未售出的肖像，该肖像被铸造成NFT。此次拍卖恰逢以太坊概念诞生10周年。拍卖将于 7 月 1 日在Manifold.xyz上开始，一直持续到7月30日，为收藏家提供了一个难得的机会来获得以太坊早期历史的一部分。起拍价为333 ETH。[2023/7/19 11:03:17]
（受信任初始化中的椭圆曲线点列）。
用于验证我们所承诺的多项式的值；我不会在此讨论验证流程的细节，更多的细节参见 Dankrad 的文章(https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html)。
直观地说，受信任初始化提供了什么价值？
从更深层次理解这里面到底发生了什么，以及受信任初始化为何能够提供这些价值。
多项式承诺使用大小为
的对象（单个椭圆曲线点）对一段大小为
的数据进行承诺。我们可以用简单的 Pedersen 承诺来做到这一点：
只需将
的值设置为
个不相关的随机椭圆曲线点，然后如前所述对
多项式进行承诺。实际上，这正是 IPA 证明所做的。(https://vitalik.ca/general/2021/11/05/halo.html)
然而，任何基于 IPA 的证明都需要
时间来验证，有一个不可避免的原因：使用基点
生成的承诺会对应于使用基点
的另外一个多项式。
Vitalik评美国加密政策：对被定为证券的项目感到遗憾:6月30日消息，以太坊创始人Vitalik Buterin回应如何看待美国的加密货币政策方针时表示，非常遗憾Solana和其他项目以这种方式受到打击。他们不应该受到这样的待遇，如果因此让以太坊最终获胜，那不是一种光荣的胜利，从长远来看可能甚至不是一种胜利。真正的竞争不是其他链，而是正在以我们为代价强加给我们的快速扩张的中心化世界。我希望所有的项目在这整个局面中获得公正的结果。[2023/6/30 22:10:24]
在一组基点下对多项式
的一个有效承诺等效于另一组基点下对多项式
的一个有效承诺。
如果我们想对某些命题生成基于 IPA 的证明（例如，该多项式在
时等于 3826），该证明在基于第一组基点时应当验证通过，而在基于第二组基点时应当验证失败。
因此，无论验证流程如何，都无法避免以某种方式考虑每一个
值，因此不可避免地需要
时间。
然而，如果有受信任初始化的话，点间存在着隐藏的数学关系。可以保证任意两个相邻点之间有着相同的因子
使得
。如果
是有效的初始化输出，“被篡改的输出”?
是无效的。
因此，我们不需要
的计算量；相反，我们利用这个数学关系就可以在
时间下验证我们需要验证的任何东西。
然而，数学关系必须保密：如果
已知，那么任何人都可以提出一个表示众多不同多项式的承诺：如果
的承诺，那么它也是
包含Vitalik、马克库班等4亿Twitter用户的数据在黑市上出售:12月26日消息，据网络犯罪情报公司Hudson Rock报道，包含私人电子邮件和关联电话号码的4亿Twitter用户数据已在黑市上出售，该私人数据库包含大量信息，包括AOC、Kevin O'Leary、Vitalik Buterin、马克库班等知名用户的电子邮件和电话号码。
Hudson Rock表示，鉴于账户数量，它无法完全验证黑客的说法，但表示“对数据本身的独立验证似乎是合法的”。Web3安全公司DeFiYield查看了黑客提供的1,000个样本账户，并验证了数据是“真实的”。它还通过Telegram联系了黑客，并指出他们正在积极等待买家。（Cointelegraph）[2022/12/26 22:08:20]
或许多其他多项式的承诺。这将完全破坏所有多项式承诺应用的根基。
因此，虽然在某个时间点上必须存在一些秘密值
，让
值之间的数学联系成为可能，从而实现高效验证，但是
也必须被销毁。
多方受信任初始化如何运作？
单个参与者进行初始化是很简单的：只需选择一个随机值
，并使用
值生成一系列椭圆曲线点。但单个参与者的受信任初始化是不安全的：你必须信任某个特定的人！
解决方案是多方受信任初始化，其中“多”指的是很多参与者：超过 100 人是正常的，对于较小计算量的初始化方案，可能会超过 1000 人。以下是多方 powers-of-tau 初始化的工作原理。
以一个已有的初始化输出为切入点（注意，你不知道
的值，你只知道一系列的椭圆曲线点）：
现在，选择你自己的随机秘密值?
。计算：
请注意，这相当于：
也就是说，您已经创建了一个秘密值
相对应的有效初始化输出！你永远不会把你的秘密值?
给到之前的参与者，同时之前的参与者也不会把他们的秘密值
给到你。
只要任意一个参与者是诚实的，并且没有透露他那部分的秘密值，那么组合起来的秘密值就不会被泄露。
V神(Vitalik Buterin)以太坊创始人针对特朗普税改立法发表言论:
12月3日V神(Vitalik Buterin)在Twitter发表言论，表示与特朗普在税改立法方案上持有不同的观点，但是会进一步研究他们的想法和方案。并表示不支持以太坊社区被放逐，这句话有一些含沙射影的意思，但V神特表示这只是他个人的信仰，单纯的表达不同意的方式，与仇视言论无关。[2017/12/3]
特别地，有限域具有这样的性质：如果你知道
但不知道
是被安全随机地生成的，那么你对
的值一无所知！
验证受信任初始化
为了验证每个参与者确实参与了受信任初始化，每个参与者都可以提供这样一个证明，包括 (i) 他们收到的点
和 (ii)
，其中 tt 是他们引入的秘密值。
这一系列的证明可用于验证最后的初始化输出将所有的秘密值组合起来 (与之相反的是，最后一个参与者只是舍弃了前面的值，并输出了仅由他自己秘密值生成的初始化结果，他可以自行保留这个秘密值，从而在任何使用该初始化输出的协议中欺诈)。
是第一个参与者的秘密值，
是第二个参与者的秘密值，以此类推。在每个步骤中的配对检查验证了每个步骤的初始化输出确实源自前一步骤初始化输出以及参与者在当前步骤中已知的新秘密值的组合。
（译者注：配对的特性
每个参与者都应该在一些公开可验证的媒体（例如个人网站、来自其 eth 地址的交易、推特）上披露他们的证据。
请注意，这个机制并不能阻止某些人声称参与了某个阶段，而实际上是另外的人（假设其他人已经透露了他们的证据），但通常会认为这不成问题：如果有人愿意就参与的情况撒谎，他们也会愿意就秘密的删除情况撒谎。只要公开声称参与的人中至少有一人是诚实的，那么初始化就是安全的。
除了上述检查以外，我们还想验证初始化中的所有椭圆曲线点的幂次都是正确的（即，它们是相同秘密值的幂）。（译者注，即椭圆曲线可以表示为序列
为此，我们可以进行一系列配对校验，验证
（其中
是初始化中
的值）。
这验证了每个
之间的因子与
之间的因子相同。然后，我们可以在 G_{2}G2 侧执行相同的操作。（译者注，即验证
然而，这需要很多次配对，成本很高。相反，我们采用随机线性组合
，及相同线性组合移动一位的结果：
。我们使用单个配对校验来验证它们是否匹配得上：
我们甚至可以将
侧和
侧的校验过程结合在一起：除了如上所述计算
，我们还计算
是另一组随机系数）和
，然后验证
拉格朗日形式的受信任初始化
在许多用例中，你不太愿意使用系数形式的多项式（例如
，你更愿意使用点值形式的多项式（例如
是在域
模 337 的值为
的多项式）。（译者注：此处的逻辑是，n 次多项式需要 n+1 个点来进行确定，点值形式其实指的是
,如此类推）
点值形式有很多优点（例如，您可以在
时间内进行多项式的乘法，某些情况下的除法运算），你甚至可以把它用在
时间内求值。特别地，数据可用性采样要求 blobs 使用点值形式进行表示。
为了处理这些情况，通常可以便捷地将受信任初始化转换为点值形式。这让你能得到点值（上面的例子中为
，并直接使用它们来计算承诺值。
使用快速傅里叶变换（FFT）是最为便捷的手段，但是要将曲线点而非数值作为输入进行传递。我将避免在此重复对 FFT 进行详细的解释，但这里有一个实现；FFT 实际上并不难。
受信任初始化的未来
Powers-of-tau 并不是唯一的受信任初始化方案。其他一些（实际上或潜在）值得注意的受信任初始化方案包括：
旧版的 ZK-SNARK 协议中使用的更为复杂的初始化方案（例如，参见此处)有时仍会被使用（特别地，Groth16)，因为它验证成本会比 PLONK 更低。
一些密码协议（例如，DARK) 依赖于隐阶群，群中元素不知道进行多少次乘法运算才能得到零元素。目前存在着完全无信任的版本（请参阅：class groups)，但目前为止，最高效的版本使用的是 RSA 群（的幂 mod?，其中，未知）。遵循 1-of-n 信任假设的受信任初始化方案是可能的，但实现起来非常复杂。
如果/当不可区分混淆变得可行时，许多依赖于它的协议将会涉及：某人创建和发布一个混淆程序，该程序使用内部的隐藏秘密来执行某些操作。这就是受信任初始化流程：创建者需要持有秘密值来创建程序，而且之后需要把秘密值删除。
密码学仍然是一个快速发展的领域，受信任初始化的重要性很容易会改变。
采用 IPA 和 Halo 式思想的技术方案可能会被改进到让 KZG 变得过时和不必要的程度，或者在十年后量子计算机让基于椭圆曲线的所有方案都变得不可行，届时我们将不得不使用无需受信任初始化基于哈希的协议。
KZG 改良得更快，或者出现一个依赖于另一种受信任初始化的全新密码学领域都是有可能的。
在一定程度上，受信任初始化是必要的，重要的是要记住，并非所有受信任初始化都水平相当。176 个参与者比 6 个更好，2000 个更佳。
相比于要求运行一个复杂软件包，成本小得可以在浏览器或手机应用上进行的受信任初始化仪式（例如，ZKopru 初始化就是基于Web应用）能够吸引多得多的参与者。
理想情况下，每个仪式都应当让参与者运行多个独立构建的软件实现，并且运行在不同的操作系统和环境之上，以减少共模故障的风险。
参与者只需一轮交互的仪式（如powers-of-tau）远远优于多轮交互的仪式，这既是因为能够支持更多参与者，也是因为编写多个实现会更加简单。
理想情况下，仪式应该是通用的（一个仪式的输出能够支持大量协议）。这些都是我们可以并应当继续钻研的事情，以保证受信任初始化尽可能的安全可靠。
特别感谢 ECN 社区翻译志愿者 /img/202281314653/62.jpg">
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。