PRO:理解零知识证明算法之Bulletproofs:Range Proof (2)

前言

在本系列的第一篇文章中,我们介绍了Bulletproofs在Rangeproof上的应用,当prover想要证明v值在范围内时,他需要发送2n+7个元素。然而,这种O(n)级的CC并不是我们想要的,希望能寻找一种方法可以把CC降低到O(log(n)级。

所以,本篇我们就主要介绍这个优化过程,主要分为两部分:

以简单的场景去阐述这个优化过程把第一篇的Rangeproof结果嵌入到优化过程注:第一篇文章由于格式的原因,公式显示会有误差,向量的特殊标记也没有显示出来,因此本篇将以图片的形式展示整个过程;另外,本文最后也附上了第一篇文章的图,帮助大家理解^_^

消息人士:加密捐赠市场The Giving Block已裁员12%:金色财经报道,据消息人士透露,自去年11月FTX倒闭以来,加密捐赠市场The Giving Block已分三轮裁员约10人,约占其员工总数的12%。该公司一位发言人证实了裁员消息,表示已经进行了内部重组并重新编制了预算。The?Giving Block成立于2018年,在去年3月被美国上市支付公司Shift4收购,但此后仍保持自主权并独立经营。根据其年度报告,2021年The Giving Block共处理了约7000万美元的加密捐款,预计2022年该平台共处理了10亿美元的加密捐款。[2023/1/19 11:20:08]

ImprovedRangeproof----Asimpleexample

Solana联创:NFT将催生“下一个漫威或迪士尼”:金色财经报道,Solana 联合创始人 Anatoly Yakovenko 表示,他相信未来 20 年内 NFT 市场会出现一个持久、核心的娱乐 IP,这个 IP 将会成为 NFT 系列里的“下一个漫威或迪士尼”。Anatoly Yakovenko 说道:“NFT 是当前 Web3 技术的突破性用例,Token 化资产可用于任何创作,可能性也将无穷无尽,这将是品牌、故事从 0 到 1 的最佳场所,包括游戏、电影、IP、特许经营等。”(decrypt)[2022/9/24 7:18:26]

1.预备知识

中非共和国推出名为“Sango Coin”的国家加密货币:金色财经消息,中非共和国推出名为“Sango Coin”的国家加密货币。

“Sango Coin 将成为中非共和国的下一代货币,”中非共和国总统在讲话中说。

此前报道,中非共和国总统支持比特币。[2022/7/4 1:48:32]

2.一个简单的场景

3.复杂度优化到O(log(n))

下图是一张基于上述过程的交互协议

有几点需要说明:

图的右半部分分为两个部分a.黄色部分为文章前面部分讲述的过程。这又分为三个部分:?i.初始化:省略了P的计算和交互的过程,我们假定开始此证明协议前,验证者已经有了一些基本的信息。这并不严谨,仅仅是为了清晰的表示后面的交互过程

?ii.LOOP:一个不断迭代的过程,每次迭代,会:

产生一对(Li,Ri),所有向量长度减半Verifier计算P?i?/g?i?/h?i`?iii.End:最后一步,向量a,b已减半成常量a,b

?b.绿色部分为黄色部分的进一步优化,优化思想主要是多次幂乘操作缩减成单词幂乘操作,具体的是:

?i.上述LOOP中的第3步,延迟到最后一部一次性计算

ArealRangproof

回顾第一篇文章,我们知道,当我们要证明v属于时,验证者最终要验证:

对关系式做个变换:

因此,prover是要证明有向量l,r满足关系:

基于此关系,使用上述协议,就可以使rangeproof的交互复杂度降低到对数级。现在,是不是找到点内味了?

总结

本篇文章主要讲到了,BulletProof是如何把Rangeproof的CC降低到O(log(n)),并且介绍了更近一步的优化。结合第一篇文章,相信你已经对基于Bulletproofs的Rangeproof原理有了整体的了解,在本系列的第三篇文章中,将给大家分享Rangeproof的工程上实现细节。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-0:673ms