宇宙链 宇宙链
Ctrl+D收藏宇宙链

一文解读零知识证明最新进展:RedShift红移算法

作者:

时间:1900/1/1 0:00:00

写在前面

伴随着区块链的技术发展,零知识证明技术先后在隐私和Layer2扩容领域得到越来越多的应用,技术也在持续的迭代更新。从需要不同的TrustSetup的ZKP,到需要一次TrustSetup同时支持更新的ZKP,再到不需要TrustSetup的ZKP,ZKP算法逐渐走向去中心化,从依赖经典NP问题,到不依赖任何数学难题,ZKP算法逐渐走向抗量子化。

我们当然希望,一个不需要TrustSetup同时也不依赖任何数学难题、具有抗量子性的ZKP算法也具有较好的效率和较低的复杂度,它就是REDSHIFT。

REDSHIFT

某沉寂8年的以太坊ICO参与地址将8000枚ETH转移到新地址:金色财经报道,据Lookonchain监测,一个沉寂8年的以太坊ICO参与地址今天开始苏醒,该地址将8000枚ETH(1470万美元)全部转移到一个新地址。[2023/5/28 9:46:57]

《REDSHIFT:TransparentSNARKsfromListPolynomialCommitmentIOPs》,从名字可以可出,它是基于List多项式承诺且具有透明性的SNARK算法。算法本身和PLONK有大部分的相似之处,唯一不同的是多项式承诺的原语不同。下面先简单的通过一张表格来展示REDSHIFT和PLONK算法的异同之处,具体如下:

ChatGPT暂停Plus付费,理由是需求量太大:4月5日消息,据媒体报道,ChatGPT目前已停止Plus付费,OpenAI给出的理由是需求量太大。此前ChatGPT就因出现大规模封号引发热议,以及马斯克等领衔的暂停研发GPT4以上大模型的签名信也引起业界极大关注。(鞭牛士 )[2023/4/5 13:45:44]

因此,只要对PLONK算法有深入了解的读者,相信再理解REDSHIFT算法,将是一件相对简单的事。ZKSwap团队在此之前已经对PLONK算法进行了深入的剖析,我们在文章《零知识证明算法之PLONK---电路》详细的分析了PLONK算法里,关于电路部分的详细设计,包括表格里的《Statement->Circuit->QAP》过程,并且还详细描述了PLONK算法里,关于“PermutationCheck”的原理及意义介绍,文章零知识证明算法之PLONK---协议对PLONK的协议细节进行了剖析,其中多项式承诺在里面发挥了重要的作用:保持确保算法的简洁性和隐私性。

以太坊网络当前已销毁超258.49万枚ETH:金色财经报道,据Ultrasound数据显示,截止目前,以太坊网络总共销毁2,584,945.22枚ETH。其中,ETHtransfers销毁238,536.21枚ETH,OpenSea销毁230,049.97枚ETH,UniswapV2销毁136,047.10枚。注:自以太坊伦敦升级引入EIP-1559后,以太坊网络会根据交易需求和区块大小动态调整每笔交易的BaseFee,而这部分的费用将直接燃烧销毁。[2022/8/15 12:25:10]

我们知道,零知识证明算法的第一步,就是算术化,即把prover要证明的问题转化为多项式等式的形式。如若多项式等式成立,则代表着原问题关系成立,想要证明一个多项式等式关系是否成立比较简单,根据Schwartz–Zippel定理可推知,两个最高阶为n的多项式,其交点最多为n个。

Celsius再次偿还4120万枚DAI,已还清Maker借款:金色财经报道,链上数据显示,加密借贷平台Celsius Network再次向去中心化借贷协议 Maker 偿还其余 4120 万枚 DAI 借款,已取出全部抵押品 21,962 枚 WBTC。[2022/7/7 1:58:24]

换句话说,如果在一个很大的域内随机选取一个点,如果多项式的值相等,那说明两个多项式相同。因此,verifier只要随机选取一个点,prover提供多项式在这个点的取值,然后由verifier判断多项式等式是否成立即可,这种方式保证了隐私性。

然而,上述方式存在一定的疑问,“如何保证prover提供的确实是多项式在某一点的值,而不是自己为了能保证验证通过而特意选取的一个值,这个值并不是由多项式计算而来?”为了解决这一问题,在经典snark算法里,利用了KCA算法来保证,具体的原理可参见V神的zk-snarks系列。在PLONK算法里,引入了多项式承诺的概念,具体的原理可在“零知识证明算法之PLONK---协议”里提到。

简单来说,算法实现了就是在不暴露多项式的情况下,使得verifier相信多项式在某一点的取值的确是prover声称的值。两种算法都可以解决上述问题,但是通信复杂度上,多项式承诺要更小,因此也更简洁。

协议

下面将详细介绍REDSHIFT算法的协议部分,如前面所述,该算法与PLONK算法有很大的相似之处,因此本篇只针对不同的部分做详细介绍;相似的部分将会标注出来方便读者理解,具体如下图所示:

协议的1-6步骤在PLONK的算法设计里都有体现,这里着重分析一下后续的第7步骤。

在PLONK算法里,prover为了使verifier相信多项式等式关系的成立,由verifier随机选取了一个点,然后prover提供各种多项式的commitment,由于使用的Katecommitment算法需要一次TrustSetup并依赖于离散对数难题,因此作为PLONK算法里的子协议,PLONK算法自然也需要TrustSetup且依赖于离散对数难题。

在REDSHIFT协议里,多项式的commitment是基于默克尔树的。若prover想证明多项式在某一个或某些点的值,证明方只需要根据这些值插值出具体的多项式,然后和原始的多项式做商并且证明得到商也是个多项式即可。

当然为了保护隐私,需要对原始多项式做隐匿处理,类似于上图协议中的第一步。在实际设计中,为了方便FRI协议的运行,往往设计原始多项式的阶d=2^n+k(其中k=log(n))。

来源:金色财经

标签:PLOLONVERSHIFTPlotXElongate DeluxeVeriSafeWrapped Shift

以太坊交易所热门资讯
ALOKEX数字货币合约特点

标准化合约:交易所基于多方面考虑,指定和规范一份合约的内容,交易双方只需要按照各自的需求交易所需份数的合约.

1900/1/1 0:00:00
区块链文博谈币-本周小结以及有关于美债率、L2系列的探讨

区块链文博谈币-本周小结以及有关于美债率、L2系列的探讨这几天文博一直比较看重美债率的数值,这个对我们币圈影响还是比较深远的,整体思路上我是持有先跌后涨的方针;有关于美债率,具体可以翻阅我之前3月初的文章,仔细阅读.

1900/1/1 0:00:00
YFX在imToken钱包中的使用教程

1、打开钱包imTokenimToken下载链接:https://token.im/2、点击钱包左侧导航,切换公链.

1900/1/1 0:00:00
浅谈顶尖风投a16z和coinbase支持的去中心化稳定币FEI Protocol

原标题:FEIProtocol创世说明书 FEI的最小化知识: FEI是算法稳定币通过交易FEI进行价格控制FEI通过创世募集抵押资金抵押资金由协议控制从而稳定价格主要稳定方式为协议自动购买或出售FEI用户的交易激励也对FEI稳定期作.

1900/1/1 0:00:00
Filecoin官方发布事件回顾报告: "双花"说法不准确且有强烈误导性

原标题:事件回顾报告:利用LotusAPI准确记账2021年3月18日,有报道称,由于Filecoin的远程过程调用代码存在"严重漏洞",出现了"双花"。这些说法是不正确的且具有强烈误导性.

1900/1/1 0:00:00
3.19BTC晚间行情分析:

BTC 晚间行情分析: 比特币午间一直处于震荡向上行情,午间比特币一直在57900-58500附近来回徘徊,晚间比特币上涨59250附近,技术指标一小时线来看,布林带张口分散运行,附图指标MACD快慢线在0轴上方形成金叉向上运行.

1900/1/1 0:00:00