END:技术干货 | 深入理解Zcash的零知识证明体系

前言

主要分享ZcashSapling版本的协议细节。多多指教^_^!!!

Zcash

迄今为止,Zcash总共经历了三个版本的迭代,第四次版本升级时间预计在12.11.2019,据官方介绍,此次更新主要是缩短了出块的时间,详细内容见

Zcash网络信息。

作为零知识证明的成功应用项目,让我们带着以下几个问题去研究Zcash的机制:

1.Zcash是如何隐藏发送方的?2.Zcash是如何隐藏接收方的?3.Zcash是如何隐藏交易金额的?

**建议:阅读本文前,您最好已经了解了:1.note的概念;2.零知识证明的基本概念;

Sapling

本篇主要分享ZcashSapling版本协议的主要细节,相对于Sprout版本,还是做了很多的修改和优化,在此不做详细的对比分析。回归到大方向,无论是Sapling版本,还是Sprout版本,交易的整体流程都可以简要概括为以下三个步骤:1.交易者发起交易;2.交易者生成zk-proof,和signature,?验证者验证;3.接收者接收交易;

接下来,我们将尽量仔细挖掘每一个步骤,去探索一下,它是如何实现这三点的。

Transaction

在这里,我们不详细介绍交易发起者是如何发起一起交易的,我们直接介绍Sapling中的交易结构,如图所示:

????实际上,Sapling的交易结构内容不止这些,在这只是罗列出Sapling特有的一些字段及相应的解释,完整的交易结构在协议说明书的7.1章节有详细介绍。

在Sapling中,交易由SpendTransfer和OutputTransfer组成,分别对应隐匿的输入和隐匿的输出,而spendDescription和outputDescription是用来分别描述SpendTransfer和OutputTransfer的数据字段,它们被各自编码表示成vShieldSpend和vShieldOutput字段储存在交易结构中。接下来,重点介绍vShieldSpend、vShieldOutput、valueBlance、bindingSig四个字段表示的内容。

可口可乐于Base链发行系列NFT:8月14日消息,据官方消息,知名饮料品牌可口可乐于Base链发行系列NFT。该NFT系列将世界艺术著作与可口可乐标志性瓶身结合。目前该系列已有5个NFT可铸造,铸造价格从0.0011ETH至0.014ETH不等。[2023/8/14 16:24:23]

????1.vShieldSpend

一个vShiledSpend对应着一个SpendDescription,一个可靠的SpendDescription表示一个note的有效花费,它包含的内容如下图所示:

????cv:对Inpunote的value的承诺,所谓承诺,其实就是对v值的一种隐藏,这种隐藏是单向的,不可逆的,也不可伪造;anchor:cm默克尔树的根,用于验证inputnote的存在性及有效性;nullifier:note的唯一性标识,用来防止同一note被重复花费;rk:用于验证消费授权签名;zkproof:零知识证据,在不透露相应隐私的情况下,证明note的有效性、花费note的权力、隐私地址的有效性spendAuthSig:用私钥对spendDescription签名,对note的花费进行授权

??2.vShieldOutput

同理,一个vShiledOutput对应一个OutputDescription,一个可靠的OutputDescription表示产生的新note的有效性,它包含的内容如下图所示:

????cv:对outputnote的value的承诺,亦满足单向性,不可伪造性;cmu:对outputnote的承诺,承诺的数学形式是曲线上的一个点,cmu为点的u坐标;ephemeralKey:临时公钥,用于计算解密密钥encCiphertext:noteplaint的密文,noteplaint是note的具体内容;outCiphertext:用来计算共享密钥的信息密文,可用来恢复noteplaint信息zkproof:零知识证据,在不透露任何隐私的情况下,证明新生成Note的有效性

美法院将在一个月内对Terraform Labs驳回SEC诉讼作出裁决:6月16日消息,美国法院将在一个月内对Terraform Labs推动驳回SEC诉讼作出裁决。Judge Rakoff法官表示,会在7月14日或之前公布对驳回动议的裁决。[2023/6/16 21:41:17]

????3.valueBlance

valueBalance表示此transparentvaluepool的变化量,由SpendTransfer的v总和减去OutputTransferd的v的总和得出。当valueBalance为正数时,表示从Saplingvaluepool转移valueBalance至transparentvaluepool,如果为负数,则执行相反的操作。valueBalance将在bindingSig中,用于验证交易的balance属性。

????4.bindingSig

在Sapling中,bingingSig发挥两个作用。第一,保证了交易的balance属性;第二,利用计算输入和输出notecv的随机数rcv,来生成签名私钥,防止outputDescription被攻击者进行重放攻击

Zk-proofandSignature

在Sapling中,交易者总共要生成两个zkproof(spendzkproof&outputzkproof)和两个签名(spendAuthSig&bindingSig)。下面逐个介绍。

????1.spendzk-proof

spendzkproof主要是实现了在不暴露任何隐私信息的场景下,去证明txsender有权力去花费一些note,并且这些note都是有效的。输入分为两个部分,一个是primaryinput,一个是Auxiliaryinput。primaryinput是公开的输入信息,Auxiliaryinput是隐私的输入信息,只有txsender知道。具体内容如下图所示:

根据上图可知,spendzkproof总共证明了以下几点:Notecommitmentintegrity:inputnode的承诺的完整性,证明cm确实根据v,rcm,gd,pkd计算出来的;Merklepathvalidity:默克尔树验证路径有效性,证明cm是存在默克尔树上的,是一个有效的cm;Valuecommitmentintegruty:inputnotev的承诺完整性,证明cv确实根据rcv,v计算出来的;Smallorderchecks:证明私有参数,gd和ak是合法的;Nullifierintegrity:Note的唯一标识,证明nf确实根据nsk,cm,pos计算出来的;Spendauthority:Note的花费权力,证明拥有花费note所需的私有参数;Diversifiedaddressintegrity:一次性地址的计算完整性。若以上等式均能满足,则说明txsender有权力花费对应的Note,因为等式4,6,7成立;其花费的note是有效性,因1,2,3,5成立。

消息人士:泰国CBDC数字泰铢试点正在进行中:金色财经报道,据当地消息人士称,泰国央行已开始与三家国内支付服务提供商合作,推出该国的零售央行数字货币数字泰铢。测试正在一个监管沙箱中进行,预计将持续到今年8月,计划涉及多达10,000名参与者。虽然中央银行尚未承诺正式启动决定,但它仍在继续研究潜在的用例,以提高支付效率,并加大该国对数字化的推动。[2023/6/13 21:33:07]

????2.outputzkproof

outputzkproof主要是实现了在不暴露任何隐私信息的情况下,去使得validator相信txsender所产生的新note是有效的。输入仍分为两个部分,一个是primaryinput,一个是Auxiliaryinput。primaryinput是公开的输入信息,Auxiliaryinput是隐私的输入信息,只有txsender知道。具体内容如下图所示:

根据上图可以看出,outputzkproof总共证明了一下几点:Notecommitmentintegrity:outputnode的承诺的完整性,证明cm确实根据v,rcm,gd,pkd计算出来的;Valuecommitmentintegruty:inputnotev的承诺完整性,证明cv确实根据rcv,v计算出来的;Smallorderchecks:证明私有参数,gd是合法的;Ephemeralpublickeyintegrity:临时公钥的计算完整性。若以上等式均满足,则说txsender产生的新note是有效的,因为等式1,2,3均成立;等式4成立则可以保证txreceiver可以根据自己的ivk密钥和epk去解析加密后的np,并保存到本地的集合当中。

????3.spendAuthSig

关于spendAuthSig的意义,可在两种场景下,进行描述。第一:txsender自己产生zkproof,然后对spendDescription进行签名。这时,如果存在一个攻击者,想对spendDescription进行重放攻击,则其需要重新签名,则rk会被替换,那么验证者在验证spendzkproof时,就会验证失败;如果攻击者不替换rk,那么spendAuthSig的验签就会失败,因此spendAuthSig的存在,有效规避spendDescription的重放攻击;第二:txsender调用第三方产生zkproof,然后自己对spendDescription进行签名,这是Sapling版本允许的,为了让内存和计算能力受限的一些钱包也能支持隐私交易,即使这样损失了隐私性,因为需要把auxiliaryinput全部发送给第三方。因此,在这种情况下,为了不让第三方恶意产生有效的zkproof,txsender需要对spendDescription进行签名,需要注意的是,txsender签名用的是ask,zkproof中spendAuthority的证明用的是ak,因此第三方无法产生有效的签名,有效规避spendDescription的重放攻击。spendAuthSig的签名流程如下图所示:

匿名用户在OP_RETURN交易中将近1,000个地址标记为俄罗斯政府资产:金色财经报道,根据加密追踪公司 Chainalysis 发布的一份报告,从 2022 年 2 月 12 日开始(俄罗斯入侵乌克兰前几周)到 2022 年 3 月 14 日结束,匿名比特币用户在 OP_RETURN 交易中将近 1,000 个地址标记为俄罗斯政府资产。OP_RETURN 是一个用于将比特币交易标记为无效的字段,但可用于存储文本,允许用户将消息附加到交易并将它们广播到整个区块链,在那里它们将被永久保存。

报告称,某个匿名个人或团体向总共 986 个比特币地址发送了数千笔交易,并声称这些地址与俄罗斯情报机构有关,Chainalysis 称至少三个所谓的俄罗斯钱包地址之前已被第三方链接到俄罗斯。据说其中两人参与了 Solarwinds 攻击,第三人购买了用于俄罗斯 2016 年大选虚假宣传活动的服务器。Chainalysis 在报告中表示,事实上,OP_RETURN 发送者愿意并且能够销毁价值数十万美元的比特币来传播他们的信息,这使得我们认为他们的信息更有可能是准确的。[2023/4/28 14:31:40]

????4.bindingSig

如前面所说,bindingSig主要实现了两个功能。第一:在不暴露spendTransfer和outputTransfer的v值的情况下,保证了transactionbalance;第二:防止了outputDescription被攻击者重放,主要是利用spendDescription和outputDescription对应的用于计算cv的随机数rcv来产生签名私钥bsk,这使得攻击者无法作恶,因此签名验证公钥是利用spendDescription和outputDescription对应的cv来生成的,攻击者无法改变cv,否则zkproof会验证失败。bindingSig的签名验签流程如下图所示:

PayPal遭黑客攻击,近3.5万用户资料或泄露:1月28日消息,PayPal通报美国缅因州(Maine)检察长办公室,表示他们于去年12月20日发现遭受黑客攻击,并在调查后认为事件发生于12月6日到8日期间。PayPal指黑客发动凭证填充攻击,受影响用户总数为34942人。

PayPal指出,攻击或导致客户资料泄露,包括:姓名、地址、安全码、个人税籍资料、电话及生日。但PayPal强调,暂未有发现任何用户个人信息遭盗用。PayPal又提及,目前已为受影响用户提供24个月的信用盗用监控服务。

PayPal补充,本次事件并非PayPal系统漏洞,主要是用户重覆在不同服务或网站使用同一组帐号、密码组合,令黑客可从其他地方窃取、购得或取得用户帐号、密码等,再以大量帐号及密码组合,破解PayPal帐号。[2023/1/29 11:34:25]

ReceiveTransation

txReceiver接收交易的一般步骤为:接收者遍历每笔交易的outputDes,用自己的ivk和outputDes里的epk尝试解密每一个Cenc,如果返回成功,则将接收到的note添加至本地的receiveSets。那么什么是Cenc呢?用ivk和epk如何去解密Cenc?

????1.什么是Cenc?

Cenc是encCiphertext,是noteplaint经过对称密钥加密后的密文信息,noteplaint是指交易新生成的note的内容,这些内容都是私密的。np的组成及Cenc的加密过程如下图所示:

相关字段解释如下DiverfiedHash:一次性参数生成器,输入d,输出gd,每次调用都不一样;esk、epk:一次性私钥、公钥,满足epk=esk*gd;pkd:一次性传输地址;np:noteplaint{memo、rcm、v、d}=>note信息{特殊字段,由交易发送者和接收者协商一致使用、生成cm的随机数、note的面额、diversifier};KA.DerivePublic:计算公钥;KA.Agree:计算共享密钥;KDF:密钥获取函数,得到最终的加密密钥Kenc;Sym.Encrypt:一次性对称加密函数;其中Kenc为一次性对称加密密钥,Penc为编码后的Cenc。从交易结构里可以看出,Kenc并没有直接的当作明文进行传输,那么,交易接收者是如何获取Kenc,对Cenc进行加密的呢?

2.用ivk和epk如何去解密Cenc?

首先,让我们关注两个等式:pkd=ivk*gdesk*gd=epk在加密的过程中,KA.Agree的输入参数为pkd和esk,由pkd*esk=ivk*gd*esk=ivk*epk,因此在解密的过程中,如果能输入ivk和epk,那么由KA.Agree(pkd,esk)==KA.Agree(ivk,epk)。理解了这一点,下面具体看一下Cenc的解密过程,如下图所示:

相关字段解释如下:

NoteCommit:cm计算函数,原始输入为np的数据;cm:note的承诺;Extractor:抽取器,返回cm的u坐标,cm形式(u,v);若返回的cmu与outputDes里的一致,则说明证明者有计算cm的私有数据;

总结

1.Sapling中spendDescrption部分关于spendAuthSig的理解。

a.目的:证明某个人对于inputnote具有花费的权力,即拥有spendKey

b.疑问:在spendDes的zkproof中,证明花费权力如下:

spendauthority:rk=spendAuthSig.RandomizePublic(a,ak)

由于a、ak都是Auxiliaryinput,是私有数据。且ak=spendAuthSig.DerivePublic(ask),ask也是私有数据,因此若公式成立,意味着此人有相应花费权力。那spendAuthSig存在的意义是啥?

c.解答:在sapling版本,考虑到一些计算能力和内存空间受限的钱包,不具备生成proof的能力,因此可能需要第三方代理生成,此时,需要把ak、nsk等生成证明需要的私有数据公开给第三方,这样就会损失隐私性,在这种情况下,为了保证第三方不能随意生成一个有效的zkproof,交易发起者需要对整个spendDes用私钥进行签名。一个需要注意的点是:生成zkproof需要ak,不需要ask,ask是在签名时使用。因此第三方无法生成一个有效的签名。

2.为何由sprout的joinsplittransfer演变成sapling的spendtransfer&outputtransfer。

a.生成proof的大小变小了,joinsplit>spend+output

b.balance证明不在zkproof中实现,减少了电路的复杂性,可改善生成和验证性能

3.spend和outputproof均为验证balance属性,怎么保证整体value平衡。

使用了pedersonvaluecommitment方法,它具有同态加法属性,即在不暴露v值的情况下,验证:

??∑vold-∑vold=vbalance

????4.Sapling接收者如何接收note。

接收者遍历每笔交易的outputDes,用ivk和outputDes里的epk尝试解密每一个Cenc,如果成功,则计算note并添加至receiveSets

5.BindingSig。

关于这个签名的实现,您可参考协议说明文档4.12章节,密钥对不是重新生成的,而是基于cv和rcv的生成关系,实现签名验签过程

6.如何隐藏交易发送者?

每笔交易的验证公钥都是一次性临时公钥,因此矿工不知道交易发起者。

7.如何隐藏交易接收者?

交易结构中不存在交易接收者的地址信息,用交易接收者的隐私地址去生成对称密钥,生成Cenc,交易接收者用问题4的方法接收交易。且同一交易接收者暴露给不同交易发起者的地址是不同的,为了防止交易发起者之间串通作恶。

8.如何隐藏v值?

利用pedersonvaluecommitment进行同态隐藏。

以上是个人理解,如果错误,还希望各位读者批评指正。。多谢^_^。最后附上一张整体的结构图,希望能帮助大家理解。

图片超过2M,有需要的可以看资料私信我。

附录

1.ZCASH官方协议说明书https://github.com/zcash/zips/blob/master/protocol/protocol.pdf

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

链链资讯

中币SCR:BTC底部洗筹,耐心是最好的投资

作者|哈希派分析团队 可口可乐于Base链发行系列NFT:8月14日消息,据官方消息,知名饮料品牌可口可乐于Base链发行系列NFT。该NFT系列将世界艺术著作与可口可乐标志性瓶身结合.

[0:0ms0-2:605ms