写在前面
伴随着区块链的技术发展,零知识证明技术先后在隐私和Layer2扩容领域得到越来越多的应用,技术也在持续的迭代更新。从需要不同的TrustSetup的ZKP,到需要一次TrustSetup同时支持更新的ZKP,再到不需要TrustSetup的ZKP,ZKP算法逐渐走向去中心化,从依赖经典NP问题,到不依赖任何数学难题,ZKP算法逐渐走向抗量子化。
我们当然希望,一个不需要TrustSetup同时也不依赖任何数学难题、具有抗量子性的ZKP算法也具有较好的效率和较低的复杂度,它就是REDSHIFT。
REDSHIFT
《REDSHIFT:TransparentSNARKsfromListPolynomialCommitmentIOPs》,从名字可以可出,它是基于List多项式承诺且具有透明性的SNARK算法。算法本身和PLONK有大部分的相似之处,唯一不同的是多项式承诺的原语不同。下面先简单的通过一张表格来展示REDSHIFT和PLONK算法的异同之处,具体如下:
俄罗斯将于7月允许比特币和加密货币的国际贸易:金色财经报道,俄罗斯国会财政委员会主席表示,俄罗斯将于7月允许比特币和加密货币的国际贸易。[2023/3/11 12:55:32]
因此,只要对PLONK算法有深入了解的读者,相信再理解REDSHIFT算法,将是一件相对简单的事。ZKSwap团队在此之前已经对PLONK算法进行了深入的剖析,我们在文章《零知识证明算法之PLONK---电路》详细的分析了PLONK算法里,关于电路部分的详细设计,包括表格里的《Statement->Circuit->QAP》过程,并且还详细描述了PLONK算法里,关于“PermutationCheck”的原理及意义介绍,文章零知识证明算法之PLONK---协议对PLONK的协议细节进行了剖析,其中多项式承诺在里面发挥了重要的作用:保持确保算法的简洁性和隐私性。
或因质押解锁XMON出现超90%的短时暴跌:金色财经报道,据派盾数据显示,Sudoswap开发者0xmons构建的用于召唤神经网络生成像素怪物NFT平台原生代币XMON出现超90%的短时暴跌,据coingecko数据显示当前XMON已从2.5万美元区间下挫至3666.92美元,过去24小时跌幅为85.3%,社区用户/img/20230515205053466286/1.jpg "/>
协议的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))。
听起来像是陈词滥调,这又是“新的一天,比特币又一次的新高”,在过去几个小时里超过5%的涨幅之后,世界上最大的加密货币比特币突破了人们期待已久的6万美元大关,随着加密领域的发展,2021的收益再次增加.
1900/1/1 0:00:003月13日,CFTC公布了最新一期CME比特币期货周报,最新统计周期内BTC取得了约5000美元的上涨,经历过了不久前的一波短暂回调过后,重新回到了50000美元整数上方.
1900/1/1 0:00:00过去几周,以太坊的零售兴趣逐渐增长。此外,以太坊2.0存款合约锁定的总价值已超过62亿美元,续刷新高。Glassnode数据显示,从某种程度上来说,ETH投资者也在相应增长。非零以太坊地址的数量在2018年开始显著上升.
1900/1/1 0:00:00狂人本着负责,专注,诚恳的态度用心写每一篇分析文章,特点鲜明,不做作,不浮夸!本内容中的信息及数据来源于公开可获得资料,力求准确可靠,但对信息的准确性及完整性不做任何保证,本内容不构成投资建议,据此投资,责任自负.
1900/1/1 0:00:00用实证研究来解答这个一直困惑DeFi世界用户和开发者的问题。AMM是目前DeFi领域中最受欢迎的交易模型,与订单簿的配对方式不同,AMM采用固定乘积的方式换算交易池中代币,交易可以自动成交,保证交易对的流动性.
1900/1/1 0:00:00在本文中,我将尝试以低复杂度的术语解释Olympus的工作方式。希望能使您对我们正在解决的问题以及我们旨在解决该问题的方式有很好的了解。 那么,究竟有什么问题呢?我们仍然没有一种独立估值的数字货币.
1900/1/1 0:00:00