“环签名、Pedersen承诺、范围证明”三者可擦出不一样的火花

本文首发公众号VenusBlockChain，关注公众号后可免费阅读！VenusBlockChain致力于区块链技术研究，传播区块链技术和解决方案、区块链应用落地、区块链行业动态等。有兴趣的小伙伴们，快上车！！！
$$欢迎关注微信公众号VenusBlockChain$$

1.输入输出平衡证明，承诺什么是aG+bH

在Monero中，基于Pedersen承诺是构造范围证明的重要密码学工具。对于输入输出平衡证明，即$\sum C_{i,in}=\sum C_{j,out}$。在构造Pedersen承诺时，随机选择盲因子$r$，最终承诺为$comm=r\ast G+a\ast H$。既然加了盲因子$r$了，为什么需要$r$乘以$G$（标量乘，实际是$r$个$G$相加），为什么需要$H$，且$H\ne G$。

假如有一笔输入两笔输出：
$$C_{i}n=rG+aG$$

$$C_{1,out}=r_{1}G+b_{1}G$$

$$C_{2,out}=r_{2}G+b_{2}G$$

很显然，当$r=r_1+r_2，a=b_1+b_2$时，必然满足$C_{in}=C_{2,out}+C_{2,out}$。在提供证明时，这正是我们期望的结果。但是，对于任意的数 n ， r − n = r 1 + r 2 ， a + n = b 1 + b 2 n，r-n=r_1+r_2，a+n=b_1+b_2 n，r−n=r