1.输入输出平衡证明,承诺什么是aG+bH
在Monero中,基于Pedersen承诺是构造范围证明的重要密码学工具。对于输入输出平衡证明,即 。在构造Pedersen承诺时,随机选择盲因子 ,最终承诺为 。既然加了盲因子 了,为什么需要 乘以 (标量乘,实际是 个 相加),为什么需要 ,且 。
假如有一笔输入两笔输出:
很显然,当 时,必然满足 。在提供证明时,这正是我们期望的结果。但是,对于任意的数 ,必然满足 。但是实际上输出比输入少了 个资产(例如是 个比特币或门罗币),这不得了啊,系统这样设计,没人敢玩!
要走正道,就必须想办法约束 。仔细研究一下,可以发现 的因子都是 ,就满足了结合律,因此就能构造出 。即是这样,我们就可以选择一个与 的关系无人知晓的 ,这样就不能使用结合律了。其实有这么一点:ECC是基于椭圆曲线下的某循环子群,只要随机选择该群中的任意一点 ,且点 满足 ,但是 是不知道的,即 的离散对数未知。这个 与 直接无明确关系非常重要。至此,就能避免上述问题。
如需open commitment ,需要提供 值和 值。
Pdersen commitment具有加法同态性:
2.既然承诺了,为什么需要范围证明
的确是承诺了,但是验证者不能确定你承诺的内容是个大于 的数,他人也无法去验证该数值的合法性,其目的就是防止凭空产生数字资产!!
假如在一个交易中,输入承诺为 ,输出承诺为 ,这样的确合法。但是, 。这样会凭空产生一个单位的资产。
3.一次性二元环签名算法解释
在开始,先继续科普一下环签名。环签名方案的安全性包括两个方面:不可伪造性和签名者含糊性。下面对一次性二元环签名进行介绍。环签名方案可以使验证者信服签名有
个可能的签名者之一产生,而又不允许验证者识别出究竟哪个是签名者,因此环签名方案也称为
取
方案。环签名方案可以看作签名者拥有对应
个承诺(公钥)的
个证据(私钥)而不泄露究竟是哪一个的非交互式证明。
所谓的一次签名方案就是仅对一则消息进行签名,但签名可以被进行任意次验证的签名方案。一次签名方案的安全性主要依赖于构造签名方案的单向双射函数所依据数学难题的难解性和每次签名时随机选取的签名密钥对。
证明一个数b的范围是否大于0,首先使用二进制表示表示
,即:
随机生成盲因子集合
,对于每个
,Pedersen承诺为
,且b的Pedersen承诺为
,利用椭圆曲线生成秘钥对原理,这里可以推出二元公钥集
,我们令
,
。因为这里
要么等于0,要么等于1,因此有
恒成立。我们推导一下:
如果
,则
;
如果
,则
。
由此,我们可以发现对于盲因子 ,在二元公钥集PK中,始终满足只有一个公钥与之对应。即每个比特产生两个公钥,而且该金额的持有者有且仅有这两个公钥对应的一个私钥。回忆一下上一篇“隐私保护利器之环签名实现原理”[1]中,环签名要满足生成一个环,在签名的公钥集合中必须有一个私钥对应着一个公钥。这么一捋思路,这时候就能利用二元公钥集PK来生成二元环签名了。对于每一个 ,如何生成二元环签名,可参考[1]。
在这里“一次性签名”是什么意思呢?其实就是针对每一个 ,我们只会用一个且不与其他相同的盲因子 来签名,而且这个环签名可被执行任意此验证。等等,这里 ,意思是要生成k个二元环签名,对!的确要生成这么多个!
签名者发送: 。
验证者验证:对于 ,验证 ,且 是否满足环签名。
注意:在门罗币中,为了防止双花攻击,在构造环时要创建一个秘钥镜像。该镜像是通过取P的哈希值,并与私钥X相乘来创建。该数学关系使得签名者不可能尝试用不同的I和相同的x制作两个签名。这种机制确保每个P只能用一次,新的XMR不能凭空创建。Monero网络维护一个包含所有未完成密钥映像的数据库,因此,如果用户尝试再次使用该密钥,网络将看到输出已用完,并拒绝该交易[2]。这一点在实际应用中很重要!
4.一次性环签名算法安全性验证[3]
- Linkability
Our one-time ring signature scheme is linkable under the random oracle model. - Exculpability
Our one-time ring signature scheme is exculpable under the discrete logarithm assumption in the random oracle model. - Unforgeability
If a one-time ring signature scheme is linkable and exculpable, then it is unforgeable. - Anonymity
Our one-time ring signature scheme is anonymous under the decisional Diffie-Hellman assumption in the random oracle model.
5.为了缩小签名大小,Borromean Ring Signatures用于范围证明
Borromean Ring Signatures[4]是由2015年比特币开发者Greg Maxwell和Andrew Poelstra提出的一项新的研究。在Reddit[5]讨论帖中,有评论说“这可以用于减少Monero协议中的交易大小,或者在未来的任何基于环签名的比特币侧链中”。
下面解释什么是Borromean Ring Signatures。关于Borromean Ring Signatures的英文原文[4]和中文翻译[6]可见参考中罗列有获取方式。什么是Borromean Ring Signatures?为简单快捷(总结知识是很费时间和精力的),我这里将其中文翻译搬过来,不再重新写了。
6.基于Borromean Ring Signatures的范围证明
目前,基于Borromean环签名的隐私范围证明方案已用于Confidential Transaction中,其基本思想就是对隐藏金额按逐比特划分,产生相应的二元公钥集以及相应的环签名,最后利用Borromean环签名得到对金额承诺消息的最终签名,则该签名是对隐藏金额的范围证明。Borromean环签名Go实现版本[7](仅供参考)。
方案具体流程[8]如下,其中符号⊕表示比特异或。
7.参考引用
[1]https://mp.weixin.qq.com/s/2fiR0ccrtCM8q2yeCjnYAw
[2]https://cloud.tencent.com/developer/news/312128
[3]https://cryptonote.org/whitepaper.pdf
[4]http://github.com/Blockstream/borromean_paper/raw/master/borromean_draft_0.01_34241bb.pdf
[5]https://bitcointalk.org/index.php?topic=972541.msg10619684#msg10619684
[6]https://www.chainnews.com/articles/105125195534.htm#
[7]https://github.com/dis2/rs25519
[8]张凡,黄念念,高胜. 基于Borromean环签名的隐私数据认证方案[J].密码学报,2018,5(5):529-537.
本文首发公众号VenusBlockChain,VenusBlockChain致力于区块链技术研究,传播区块链技术和解决方案、区块链应用落地、区块链行业动态等。有兴趣的小伙伴们,快上车!!!