Vitalik：受信任初始化的原理是什么?

来源：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出售25万亿枚SHIT币，价值约33000美元:金色财经消息，据派盾（PeckShield）监测数据显示，Vitalik.eth的地址0xd8da6b...7aa96045显示，25万亿枚SHIT币在Uniswap上被出售，价值约33000美元。[2022/8/4 12:01:49]

powers-of-tao 初始化由两系列的椭圆曲线点组成，如下所示：

和?

是两个椭圆曲线群的标准生成元；在 BLS12-381 中，

占用 48 字节（压缩形式），

占用 96 字节。

,

分别是初始化输出的

?,

生成点列的长度。一些协议要求

=2，另一些协议要求

的值都较大，一些协议属于中间情形（例如，当前的以太坊数据可用性采样方案要求

=4096和

=16）。

是用于生成点列的秘密值，使用后需要销毁。

为了对多项式

生成 KZG 承诺，我们简单选取一个线性组合

，其中

（受信任初始化中的椭圆曲线点列）。

用于验证我们所承诺的多项式的值；我不会在此讨论验证流程的细节，更多的细节参见 Dankrad 的文章(https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html)。

V神将推特名改回vitalik.eth:金色财经报道，以太坊创始人Vitalik Buterin将推特昵称从豚林vitalik.eth改回vitalik.eth。[2022/6/14 4:24:40]

直观地说，受信任初始化提供了什么价值？

从更深层次理解这里面到底发生了什么，以及受信任初始化为何能够提供这些价值。

多项式承诺使用大小为

的对象（单个椭圆曲线点）对一段大小为

的数据进行承诺。我们可以用简单的 Pedersen 承诺来做到这一点：

只需将

的值设置为

个不相关的随机椭圆曲线点，然后如前所述对

多项式进行承诺。实际上，这正是 IPA 证明所做的。(https://vitalik.ca/general/2021/11/05/halo.html)

然而，任何基于 IPA 的证明都需要

时间来验证，有一个不可避免的原因：使用基点

生成的承诺会对应于使用基点

的另外一个多项式。

在一组基点下对多项式

的一个有效承诺等效于另一组基点下对多项式

的一个有效承诺。

如果我们想对某些命题生成基于 IPA 的证明（例如，该多项式在

OKEx将于9月2日12:00暂停VITE充提:据OKEx公告，由于VITE主网升级，OKEx将于2020年9月2日12:00 (HKT) 暂停VITE的充提，待升级完成后开放。[2020/9/2]

时等于 3826），该证明在基于第一组基点时应当验证通过，而在基于第二组基点时应当验证失败。

因此，无论验证流程如何，都无法避免以某种方式考虑每一个

值，因此不可避免地需要

时间。

然而，如果有受信任初始化的话，点间存在着隐藏的数学关系。可以保证任意两个相邻点之间有着相同的因子

使得

。如果

是有效的初始化输出，“被篡改的输出”?

是无效的。

因此，我们不需要

的计算量；相反，我们利用这个数学关系就可以在

时间下验证我们需要验证的任何东西。

然而，数学关系必须保密：如果

已知，那么任何人都可以提出一个表示众多不同多项式的承诺：如果

的承诺，那么它也是

或许多其他多项式的承诺。这将完全破坏所有多项式承诺应用的根基。

因此，虽然在某个时间点上必须存在一些秘密值

，让

值之间的数学联系成为可能，从而实现高效验证，但是

也必须被销毁。

多方受信任初始化如何运作？

单个参与者进行初始化是很简单的：只需选择一个随机值

，并使用

值生成一系列椭圆曲线点。但单个参与者的受信任初始化是不安全的：你必须信任某个特定的人！

解决方案是多方受信任初始化，其中“多”指的是很多参与者：超过 100 人是正常的，对于较小计算量的初始化方案，可能会超过 1000 人。以下是多方 powers-of-tau 初始化的工作原理。

动态 | Vitalik提出加速合并以太坊1.0及2.0的替代方案，1.0系统将成为执行环境:以太坊联合创始人Vitalik Buterin发布了一项在向以太坊2.0过渡中的合并以太坊1.0和2.0的替代方案。Vitalik表示，该方案旨在将整个PoW区块链加速移向以太坊2.0的信标链，但该方案需要无状态客户端 (stateless clients) ，无需无状态矿工和Webassembly语言，所以将减少需要完成过渡的配置。该方案的条件包括需要一个能够实现支持验证、见证区块以及生成见证区块功能的无状态客户端软件。该方案的运营方式为，以太坊1.0系统将成为以太坊2.0的执行环境之一，但在最初可以成为以太坊2.0的分片之一。在该方案中，参与以太坊1.0系统的验证人可以注册为以太坊1.0的友好验证人，将维护除了其信标节点外一个完整的以太坊1.0完整节点。[2019/12/26]

以一个已有的初始化输出为切入点（注意，你不知道

的值，你只知道一系列的椭圆曲线点）：

现在，选择你自己的随机秘密值?

。计算：

请注意，这相当于：

也就是说，您已经创建了一个秘密值

相对应的有效初始化输出！你永远不会把你的秘密值?

给到之前的参与者，同时之前的参与者也不会把他们的秘密值

给到你。

只要任意一个参与者是诚实的，并且没有透露他那部分的秘密值，那么组合起来的秘密值就不会被泄露。

特别地，有限域具有这样的性质：如果你知道

但不知道

是被安全随机地生成的，那么你对

的值一无所知！

验证受信任初始化

为了验证每个参与者确实参与了受信任初始化，每个参与者都可以提供这样一个证明，包括 (i) 他们收到的点

和 (ii)

，其中 tt 是他们引入的秘密值。

这一系列的证明可用于验证最后的初始化输出将所有的秘密值组合起来 (与之相反的是，最后一个参与者只是舍弃了前面的值，并输出了仅由他自己秘密值生成的初始化结果，他可以自行保留这个秘密值，从而在任何使用该初始化输出的协议中欺诈)。

V神(Vitalik Buterin)以太坊创始人针对特朗普税改立法发表言论:

12月3日V神(Vitalik Buterin)在Twitter发表言论，表示与特朗普在税改立法方案上持有不同的观点，但是会进一步研究他们的想法和方案。并表示不支持以太坊社区被放逐，这句话有一些含沙射影的意思，但V神特表示这只是他个人的信仰，单纯的表达不同意的方式，与仇视言论无关。[2017/12/3]

是第一个参与者的秘密值，

是第二个参与者的秘密值，以此类推。在每个步骤中的配对检查验证了每个步骤的初始化输出确实源自前一步骤初始化输出以及参与者在当前步骤中已知的新秘密值的组合。

（译者注：配对的特性

每个参与者都应该在一些公开可验证的媒体（例如个人网站、来自其 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" />

标签：VIT以太坊TALTALIVita Inu以太坊币k线图Joys DigitalTALI币

NEAR热门资讯