来源:vitalik.ca
作者:VitalikButerin
编者注:
数据可用性采样?(dataavailabilitysampling)是Dankshading的关键部分,为实现这一密码协议,需要使用KZG仪式对数据可用性证明方案所需要的参数进行初始化。
因此,KZG受信任初始化是实现EIP-4844(proto-danksharding)和完整版Danksharding的重要前提条件。
除此之外,其他密码学协议如ZK-SNARKs领域也需要有受信任初始化阶段。
本文介绍了受信任初始化的运作原理以及其验证过程。
《分片+数据可用性采样》www.ethereum.cn/sharding-proposal
必要的背景知识:ellipticcurvesandellipticcurvepairings。
另请参阅:DankradFeist'sarticleonKZGpolynomialcommitments。(中文版:KZG多项式承诺)
特别感谢JustinDrake、DankradFeist和ChihChengLiang的反馈和评审。
许多密码协议尤其是在数据可用性采样和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初始化是怎样的?
powers-of-tao初始化由两系列的椭圆曲线点组成,如下所示:
和?
是两个椭圆曲线群的标准生成元;在BLS12-381中,
占用48字节,
Vitalik Buterin:比特币若希望进一步发展,需测试更多扩展解决方案:7月10日消息,以太坊创始人Vitalik Buterin本周在Twitter Space上表示,“如果我们希望比特币不仅仅作为支付方式,它需要像Plasma或ZK Rollup这样的扩展解决方案。而这两种方案都已经在以太坊上测试过”。他还表示,Optimism和Arbitrum是两个成功的Rollup,可以作为比特币的案例研究。Buterin还试图找出以太坊和比特币两个生态系统的共性。他指出,两个区块链都具有不变性,同时它们都存在L1隐私问题。多年来,以太坊一直在尝试多种扩展解决方案,最新提案为EIP-4844,它引入了blob,每秒可实现多达10万次交易。
?[2023/7/10 10:12:34]
占用96字节。
,
分别是初始化输出的
?,
生成点列的长度。一些协议要求
=2,另一些协议要求
和
的值都较大,一些协议属于中间情形(例如,当前的以太坊数据可用性采样方案要求
=4096和
=16)。
是用于生成点列的秘密值,使用后需要销毁。
为了对多项式
生成KZG承诺,我们简单选取一个线性组合
,其中
。
初始化中的
用于验证我们所承诺的多项式的值;我不会在此讨论验证流程的细节,更多的细节参见Dankrad的文章(https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html)。
Vitalik:以太坊需要改进的不仅是协议的功能,需要对应用程序和钱包进行深度改变:金色财经报道,以太坊创始人Vitalik Buterin发布《The Three Transitions》文章。Vitalik称,当以太坊从一个年轻的实验性技术过渡到一个成熟的技术栈,能够真正为普通用户带来开放、全球和无需许可的体验,堆栈需要大致同时经历三个主要的技术过渡:向L2扩展过渡,每个人都转向Rollup;向钱包安全过渡,每个人都使用智能合约钱包;向隐私过渡,确保保护隐私的资金转移可行。
由于上述原因,这三个转变至关重要。但它们也具有挑战性,因为要妥善解决这些问题需要密切协调。需要改进的不仅是协议的功能;在某些情况下,我们与以太坊交互的方式需要从根本上改变,需要对应用程序和钱包进行深度的改变。[2023/6/9 21:27:01]
直观地说,受信任初始化提供了什么价值?
从更深层次理解这里面到底发生了什么,以及受信任初始化为何能够提供这些价值。
多项式承诺使用大小为
的对象对一段大小为
的数据进行承诺。我们可以用简单的Pedersen承诺来做到这一点:
只需将
的值设置为
个不相关的随机椭圆曲线点,然后如前所述对
多项式进行承诺。实际上,这正是IPA证明所做的。(https://vitalik.ca/general/2021/11/05/halo.html)
然而,任何基于IPA的证明都需要
时间来验证,有一个不可避免的原因:使用基点
对多项式
生成的承诺会对应于使用基点
的另外一个多项式。
在一组基点下对多项式
的一个有效承诺等效于另一组基点下对多项式
的一个有效承诺。
如果我们想对某些命题生成基于IPA的证明(例如,该多项式在
Vitalik:Rollup有可能使以太坊TPS达到每秒10万笔交易,甚至更多:7月24日,“2021世界区块链大会·杭州”在杭州未来科技城学术交流中心开幕。以太坊创始人Vitalik Buterin(V神)受邀出席并发表主题演讲《以太坊进入2.0之后,会发生什么?》。他表示,现阶段, Rollup可以扩展到每秒大约4000到5000笔交易。假设整个以太坊生态都可以用上Rollup,然后有了数据分片之后,我们可能有20到50倍更多的空间。Rollup有可能使以太坊TPS达到每秒10万笔交易,未来甚至更多。分片首先会添加一些基础的安全性,然后再增加更多的安全性,然后分片会迎来越来越多的改进。(巴比特)[2021/7/24 1:12:51]
时等于3826),该证明在基于第一组基点时应当验证通过,而在基于第二组基点时应当验证失败。
因此,无论验证流程如何,都无法避免以某种方式考虑每一个
值,因此不可避免地需要
时间。
然而,如果有受信任初始化的话,点间存在着隐藏的数学关系。可以保证任意两个相邻点之间有着相同的因子
使得
。如果
是有效的初始化输出,“被篡改的输出”?
是无效的。
因此,我们不需要
的计算量;相反,我们利用这个数学关系就可以在
时间下验证我们需要验证的任何东西。
然而,数学关系必须保密:如果
已知,那么任何人都可以提出一个表示众多不同多项式的承诺:如果
是
的承诺,那么它也是
或
动态 | Stellar发布公告提醒用户警惕欺诈性空投活动Stellar-Activity:Stellar官方Reddit发布公告,提醒用户警惕欺诈性空投活动。最初是StellarShade然后变成Stellar Dolphin Fork,现在叫Stellar-Activity(XLA)。此类局使用相同的运作模板进行——先是在bitcointalk.org发帖称将在某一特定日期进行大空投,然后开始发放赠品,推行营销策略以在社交媒体上吸引不知情的粉丝来传播这一消息,粉丝们在不知情的情况下间接地进行二次传播,致使更多的人上当。子们声称将会以2:1的比例给你提供XLA(每持有1XLM就给予2XLA),然后诱使你在他们的账户查看器里输入私钥,之后盗取你所有的账户存款。[2018/12/2]
或许多其他多项式的承诺。这将完全破坏所有多项式承诺应用的根基。
因此,虽然在某个时间点上必须存在一些秘密值
,让
值之间的数学联系成为可能,从而实现高效验证,但是
也必须被销毁。
多方受信任初始化如何运作?
单个参与者进行初始化是很简单的:只需选择一个随机值
,并使用
值生成一系列椭圆曲线点。但单个参与者的受信任初始化是不安全的:你必须信任某个特定的人!
解决方案是多方受信任初始化,其中“多”指的是很多参与者:超过100人是正常的,对于较小计算量的初始化方案,可能会超过1000人。以下是多方powers-of-tau初始化的工作原理。
以一个已有的初始化输出为切入点(注意,你不知道
的值,你只知道一系列的椭圆曲线点):
现在,选择你自己的随机秘密值?
。计算:
请注意,这相当于:
也就是说,您已经创建了一个秘密值
相对应的有效初始化输出!你永远不会把你的秘密值?
美国总统特朗普提名Dan Berkovitz为民主党CFTC专员:据ethnews消息,美国总统特朗普提名Dan Berkovitz为第五位也是最后一位商品期货交易委员会专员。迄今为止,Berkovitz对加密货币市场提出了有限的评论。 2017年10月,在CFTC发布加密货币入门之前不久,他就曾针对ICO表示:“人们可能没有意识到他们正在进入商品业务。突然之间,这是CFTC需要警惕的一个领域,这是人们需要认识到的。”[2018/4/18]
给到之前的参与者,同时之前的参与者也不会把他们的秘密值
给到你。
只要任意一个参与者是诚实的,并且没有透露他那部分的秘密值,那么组合起来的秘密值就不会被泄露。
特别地,有限域具有这样的性质:如果你知道
但不知道
,并且
是被安全随机地生成的,那么你对
的值一无所知!
验证受信任初始化
为了验证每个参与者确实参与了受信任初始化,每个参与者都可以提供这样一个证明,包括(i)他们收到的点
和(ii)
,其中tt是他们引入的秘密值。
这一系列的证明可用于验证最后的初始化输出将所有的秘密值组合起来(与之相反的是,最后一个参与者只是舍弃了前面的值,并输出了仅由他自己秘密值生成的初始化结果,他可以自行保留这个秘密值,从而在任何使用该初始化输出的协议中欺诈)。
是第一个参与者的秘密值,
是第二个参与者的秘密值,以此类推。在每个步骤中的配对检查验证了每个步骤的初始化输出确实源自前一步骤初始化输出以及参与者在当前步骤中已知的新秘密值的组合。
(译者注:配对的特性
)
每个参与者都应该在一些公开可验证的媒体上披露他们的证据。
请注意,这个机制并不能阻止某些人声称参与了某个阶段,而实际上是另外的人,但通常会认为这不成问题:如果有人愿意就参与的情况撒谎,他们也会愿意就秘密的删除情况撒谎。只要公开声称参与的人中至少有一人是诚实的,那么初始化就是安全的。
除了上述检查以外,我们还想验证初始化中的所有椭圆曲线点的幂次都是正确的。(译者注,即椭圆曲线可以表示为序列
)
为此,我们可以进行一系列配对校验,验证
(其中
是初始化中
的值)。
这验证了每个
和
之间的因子与
和
之间的因子相同。然后,我们可以在G_{2}G2侧执行相同的操作。(译者注,即验证
(其中
是初始化中
的值)
然而,这需要很多次配对,成本很高。相反,我们采用随机线性组合
,及相同线性组合移动一位的结果:
。我们使用单个配对校验来验证它们是否匹配得上:
。
我们甚至可以将
侧和
侧的校验过程结合在一起:除了如上所述计算
和
,我们还计算
(
是另一组随机系数)和
,然后验证
。
拉格朗日形式的受信任初始化
在许多用例中,你不太愿意使用系数形式的多项式(例如
,你更愿意使用点值形式的多项式(例如
是在域
模337的值为
的多项式)。(译者注:此处的逻辑是,n次多项式需要n+1个点来进行确定,点值形式其实指的是
,
,如此类推)
点值形式有很多优点(例如,您可以在
时间内进行多项式的乘法,某些情况下的除法运算),你甚至可以把它用在
时间内求值。特别地,数据可用性采样要求blobs使用点值形式进行表示。
为了处理这些情况,通常可以便捷地将受信任初始化转换为点值形式。这让你能得到点值(上面的例子中为
,并直接使用它们来计算承诺值。
使用快速傅里叶变换是最为便捷的手段,但是要将曲线点而非数值作为输入进行传递。我将避免在此重复对FFT进行详细的解释,但这里有一个实现;FFT实际上并不难。
受信任初始化的未来
Powers-of-tau并不是唯一的受信任初始化方案。其他一些值得注意的受信任初始化方案包括:
旧版的ZK-SNARK协议中使用的更为复杂的初始化方案(例如,参见此处)有时仍会被使用(特别地,Groth16),因为它验证成本会比PLONK更低。
一些密码协议。遵循1-of-n信任假设的受信任初始化方案是可能的,但实现起来非常复杂。
如果/当不可区分混淆变得可行时,许多依赖于它的协议将会涉及:某人创建和发布一个混淆程序,该程序使用内部的隐藏秘密来执行某些操作。这就是受信任初始化流程:创建者需要持有秘密值来创建程序,而且之后需要把秘密值删除。
密码学仍然是一个快速发展的领域,受信任初始化的重要性很容易会改变。
采用IPA和Halo式思想的技术方案可能会被改进到让KZG变得过时和不必要的程度,或者在十年后量子计算机让基于椭圆曲线的所有方案都变得不可行,届时我们将不得不使用无需受信任初始化基于哈希的协议。
KZG改良得更快,或者出现一个依赖于另一种受信任初始化的全新密码学领域都是有可能的。
在一定程度上,受信任初始化是必要的,重要的是要记住,并非所有受信任初始化都水平相当。176个参与者比6个更好,2000个更佳。
相比于要求运行一个复杂软件包,成本小得可以在浏览器或手机应用上进行的受信任初始化仪式能够吸引多得多的参与者。
理想情况下,每个仪式都应当让参与者运行多个独立构建的软件实现,并且运行在不同的操作系统和环境之上,以减少共模故障的风险。
参与者只需一轮交互的仪式远远优于多轮交互的仪式,这既是因为能够支持更多参与者,也是因为编写多个实现会更加简单。
理想情况下,仪式应该是通用的。这些都是我们可以并应当继续钻研的事情,以保证受信任初始化尽可能的安全可靠。
特别感谢ECN社区翻译志愿者@doublespending对本文的翻译贡献。
点击“阅读原文”获取文章内部链接!
原文链接:https://vitalik.ca/general/2022/03/14/trustedsetup.html
ECN的翻译工作旨在为中国以太坊社区传递优质资讯和学习资源,文章版权归原作者所有,转载须注明原文出处以及ETH中文站。若需长期转载,请联系eth@ecn.co进行授权。
原文标题:《目前为止,DAO靠什么盈利?》原文作者:SamanthaMarin,Quorum 原文编译:RR 本文来自微信公众号:老雅痞把web3想象成你的高中.
随着元宇宙、Web3.0概念的兴起以及区块链等技术的发展,全球数字经济进入新的阶梯,这其中数字藏品无疑是最具代表性的产物.
Web3社交领域开始崛起,正在吸引主要的风险投资,并可能成为加密货币在全球达到10亿用户的催化剂!撰写:CorbinPage编译:TechFlowinternWeb3社交领域开始崛起.
译文出自:登链翻译计划 译者:翻译小组 校对:Tiny熊 毫无疑问,随着主流行业开始承认Web3的潜力,Web3是当今最热门的话题之一.
“每天都会在数字藏品平台APP上浏览很久,发现心仪且价格合适的都会选择下手。”90后老叶不断翻阅着手机里的藏品,不时向身边朋友炫耀着自己的数字藏品宝贝.
一场疫情,让无数人第一次体验到了长时间的居家办公。随着元宇宙的大热,工作场所将再次面临新的“进化”,比起传统的远程办公,元宇宙技术对于办公的最大改变就是增加了它的临场感和沉浸感.