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

前言

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

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

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

中国移动今日在福州新区完成闽港区块链“中移闽链”和“中移香港链”的跨境跨链流通测试:6月19日消息,据C114通信网报道,中国移动今日在福州新区完成闽港区块链“中移闽链”和“中移香港链”的跨境跨链流通测试。本次测试采用中国移动研究院自主研发的“中移链”跨链服务和跨链NFT智能合约技术方案,构建链间标准跨链协议,通过“跨链服务+链适配器+智能合约”实现一套标准跨链原语,支持不同链之间进行通用数据和数字资产的跨链互操作,实现不同链之间的可信交互、双向流通,从而构成区块链价值信任网络,为闽港两地通用数据在不同区块链间的可信交互、自由流通提供坚实基础。“中移闽链”目前部署在福州长乐数据中心,后续将在平潭综合实验区落地部署,“中移香港链”则部署在香港的云资源池。下一步,“中移链”将与福建实达集团自主研发的区块链平台进行打通,实现闽、港和社会三方跨链协同服务。[2023/6/19 21:47:16]

ImprovedRangeproof----Asimpleexample

Digital Asset Capital因Silvergate影响向瑞士银行寻求帮助:金色财经报道,Digital Asset Capital正在寻求瑞士银行的帮助,以填补因使用Silvergate系统所造成的缺口。Digital Asset Capital Management使用Silvergate的全天候实时网络将资金转入和转出Coinbase Global的平台。但Coinbase、Crypto.com 和 Gemini 等交易所将不再通过 Silvergate 接受或发起付款。[2023/3/3 12:40:53]

1.预备知识

数据:近6个小时USDC财库累计将约26亿枚USDC转入Coinbase:金色财经报道,Whale Alert监测数据显示,近6个小时USDC财库密集进行多笔大额USDC销毁、铸造,并累积将约26亿美元USDC转入Coinbase。[2023/1/10 11:03:12]

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的工程上实现细节。

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

金星链

火币下载COM:霍比特HBTC正式上线产业区块链专区

近年来,区块链技术与产业不断融合,产业区块链蓬勃发展。为适应产业区块链的快速发展,使广大用户充分享受到产业区块链发展带来的红利。霍比特交易所将于2021年1月28日正式上线产业区块链专区.

[0:31ms0-1:136ms