来源: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将出镜的以太坊纪录片3天内超额募资1035.96枚ETH:7月19日消息,Vitalik Buterin将出镜的一部以太坊的纪录片“Ethereum:TheInfiniteGarden”在3天的时间内超额募资1035.96枚ETH(约197万美元),该纪录片的筹资目标为750枚ETH。募资金额的95%将用于电影的制作预算,约984.16枚ETH;2%通过捐赠至Carbonfund进行碳抵消,约20.72枚ETH;3%捐赠给GitcoinGrants用来支持开源以太坊项目,约31.08枚ETH。根据该纪录片预计的时间表,该影片将于2023年冬季推出。[2021/7/19 1:02:38]
powers-of-tao 初始化由两系列的椭圆曲线点组成,如下所示:
和?
是两个椭圆曲线群的标准生成元;在 BLS12-381 中,
占用 48 字节(压缩形式),
占用 96 字节。
,
分别是初始化输出的
?,
生成点列的长度。一些协议要求
=2,另一些协议要求
的值都较大,一些协议属于中间情形(例如,当前的以太坊数据可用性采样方案要求
=4096和
=16)。
是用于生成点列的秘密值,使用后需要销毁。
为了对多项式
生成 KZG 承诺,我们简单选取一个线性组合
,其中
(受信任初始化中的椭圆曲线点列)。
比升资本合伙人Vito:Filecoin矿工和算力要提供可靠存储能力应对监管:金色财经现场报道,4月23日,数御未来——2021数据与存储产业峰会在成都举办。在主题为《区块链视角看分布式存储的市场价值》的圆桌中,比升资本合伙人Vito指出,Filecoin赛道崛起的原因在于,从其自身发展来看,在FIL主网上线之前,已经有很多机构进场布局这个赛道;从散户的角度来看,存储和计算、通讯相比,认知门槛会更低,从社会现实来讲,海量数据时代需要分布式存储。
对于分布式存储的监管问题,当海量数据进入后,一定会有专业合规的服务商来做这个事情。对于现在投资算力和矿工,所要做的是提供可靠的存储能力。[2021/4/23 20:52:01]
用于验证我们所承诺的多项式的值;我不会在此讨论验证流程的细节,更多的细节参见 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 Buterin:并不认为zkPorter具有比Optimistic Rollup更强的安全保证,且没有紧密耦合性:以太坊联合创始人Vitalik Buterin针对Matter Labs披露的zkPorter扩容方案表示:并不认为zkPorter具有比Optimistic Rollup更强的安全保证,宁愿将资产放在Optimistic Rollup中,而不是链下数据可用性系统中。zkPorter链下数据可用性的安全级别要低于基础链,且没有紧密耦合性(Tight coupling)。另一方面,分片中的数据可用性层将受到整个以太坊网络的保护,并兼具紧密耦合性。如果某些应用程序同时使用链下数据可用性也是可以的,但前提是链下数据在基于分片的数据可用性可用之前明确为临时措施,但是我认为这没有必要。[2021/4/14 20:17:45]
在一组基点下对多项式
的一个有效承诺等效于另一组基点下对多项式
的一个有效承诺。
如果我们想对某些命题生成基于 IPA 的证明(例如,该多项式在
时等于 3826),该证明在基于第一组基点时应当验证通过,而在基于第二组基点时应当验证失败。
因此,无论验证流程如何,都无法避免以某种方式考虑每一个
值,因此不可避免地需要
时间。
然而,如果有受信任初始化的话,点间存在着隐藏的数学关系。可以保证任意两个相邻点之间有着相同的因子
使得
。如果
是有效的初始化输出,“被篡改的输出”?
是无效的。
因此,我们不需要
的计算量;相反,我们利用这个数学关系就可以在
时间下验证我们需要验证的任何东西。
然而,数学关系必须保密:如果
已知,那么任何人都可以提出一个表示众多不同多项式的承诺:如果
动态 | 加密项目Vite与TROY达成战略合作关系:自定义区块链应用生态系统Vite今日宣布与加密经纪商Troy Trade(TROY)达成战略合作关系。通过此次合作,Vite成为TROY推出的“全球生态社区计划(Global Ecological Community Program)”的第十一位成员,而TROY也将加入Vite网络成为区块生产者。(Crypto Ninjas)[2020/1/2]
的承诺,那么它也是
或许多其他多项式的承诺。这将完全破坏所有多项式承诺应用的根基。
因此,虽然在某个时间点上必须存在一些秘密值
,让
值之间的数学联系成为可能,从而实现高效验证,但是
也必须被销毁。
多方受信任初始化如何运作?
单个参与者进行初始化是很简单的:只需选择一个随机值
,并使用
值生成一系列椭圆曲线点。但单个参与者的受信任初始化是不安全的:你必须信任某个特定的人!
解决方案是多方受信任初始化,其中“多”指的是很多参与者:超过 100 人是正常的,对于较小计算量的初始化方案,可能会超过 1000 人。以下是多方 powers-of-tau 初始化的工作原理。
以一个已有的初始化输出为切入点(注意,你不知道
的值,你只知道一系列的椭圆曲线点):
现在,选择你自己的随机秘密值?
。计算:
请注意,这相当于:
也就是说,您已经创建了一个秘密值
相对应的有效初始化输出!你永远不会把你的秘密值?
给到之前的参与者,同时之前的参与者也不会把他们的秘密值
动态 | Vitalik Buterin 反驳 Tuur Demeester 对以太坊的批评:以太坊创始人 Vitalik Buterin 在 Reddit 上逐条点评和反驳了 Adamant Capital 创始人 Tuur Demeester 此前对以太坊做出的批评。Vitalik Buterin 称,这些批评意见无视以太坊在研究和开发方面取得的进展,忽视了以太坊社区在过去一年中规模的扩张和专业度的提升。此前,Tuur Demeester 连发 50 条推文,历数他眼中以太坊的种种短板,认为以太坊最多是一个科学实验,其目前市值已经跌至 130 亿美元,依然估值过高,这一系列推文引发大量讨论。[2019/1/1]
给到你。
只要任意一个参与者是诚实的,并且没有透露他那部分的秘密值,那么组合起来的秘密值就不会被泄露。
特别地,有限域具有这样的性质:如果你知道
但不知道
是被安全随机地生成的,那么你对
的值一无所知!
验证受信任初始化
为了验证每个参与者确实参与了受信任初始化,每个参与者都可以提供这样一个证明,包括 (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 社区翻译志愿者 @doublespending 对本文的翻译贡献。
点击“阅读原文”获取文章内部链接!
原文链接:https://vitalik.ca/general/2022/03/14/trustedsetup.html
ECN的翻译工作旨在为中国以太坊社区传递优质资讯和学习资源,文章版权归原作者所有,转载须注明原文出处以及ETH中文站。若需长期转载,请联系eth@ecn.co进行授权。
一、UST稳定币的机制二、虚市值三、如何利用虚市值赚钱四、Luna中的虚市值五、Luna创始人Do Kwon的巨额套现六、Do Kwon买入的8万个BTC七、Do Kwon用8万个BTC救市了吗.
摘要 OpenSea作为行业第一的NFT交易平台,成交额最高接近50亿美元/月,单月手续费收入超1.2亿美元,估值达130亿美元,是Web3领域名副其实的独角兽.
一份针对 Web3 创始人和建设者的精炼见解指南。 撰文:bethanymarz.eth 编译:DeFi之道 这是一份针对 Web3 创始人和建设者的精炼见解指南。 在过去的两年里,我们见证了去中心化社区建设的力量迅速崛起。
我们相信,花时间研究区块链的新兴领域并确定你的需求和优先事项是制作Web3游戏的基础,这些游戏不仅能吸引用户,还能经受住时间的考验。你不需要重新发明轮子,只需要利用区块链的一些最核心和令人兴奋的属性--即去中心化、可组合性和真正的数字所有权--你可以利用不断增长的链、协议和应用堆栈来启动和扩大你的游戏研发。
原文作者:?Breeze1,以太坊合并是为了分片做准备,其次才是环境更友好,更高的安全性和去中心化程度。2,主网合并的复杂度远超测试网,我们对9月19日能否如期合并持悲观态度.
原文标题:《W&M报告 105 :音乐 NFT 发行分析报告之「粉丝情绪」》撰文:Water & Music2020 年 10 月至 2021 年 11 月期间.