智能合约隐私计算
在基于账户模型的合约中,以同态加密为技术基础实现密文计算,并结合基于FO承诺的零知识证明实现范围证明、承诺相等证明,利用同态性质实现交易输入输出平衡验证。
区块链之美
这个作者很懒,什么都没留下…
展开
-
智能合约隐私计算之基于FO承诺的零知识范围证明
本文首发公众号 VenusBlockChain,关注公众号后可免费阅读!VenusBlockChain 致力于区块链技术研究,传播区块链技术和解决方案、区块链应用落地、区块链行业动态等。至此,已经介绍了改进的Paillier加法同态加密,以及FO承诺和基于FO承诺的范围证明。目前暂未介绍改进的同态加密算法加密,下面介绍基于FO承诺的零知识范围证明实现原理与应用举例,如下!1. 问题引出在隐私保护技术方面,比较突出的有两种主流的开源密码数字货币:Monero和Zcash。这两种隐匿币采用的账户模型是U原创 2020-05-27 22:00:51 · 1940 阅读 · 0 评论 -
智能合约隐私计算之同态加密应用举例
本文首发公众号 VenusBlockChain,关注公众号后可免费阅读!VenusBlockChain 致力于区块链技术研究,传播区块链技术和解决方案、区块链应用落地、区块链行业动态等。1 同态加密应用匿名投票可以应用于电子政务决议、团体活动投票、公司股东大会决议、明星海选投票等诸多场景,对数字化公平决议场景具备广大而深远的影响。针对投票者的身份(这一点还未涉及)和投票数据的隐私性,以及计...原创 2020-05-07 19:25:18 · 2295 阅读 · 1 评论 -
智能合约隐私计算之基于FO承诺的零知识承诺相等性证明和平衡验证
1.承诺相等性证明设t,l,s1,s2t,l,s_1,s_2t,l,s1,s2为公开的安全参数,nnn为一个大合数,其因式分解Alice和Bob未知。对于xxx的两个承诺,分别为Ei(x,ri)=gixhirimodn,i=1或2E_i(x,r_i)=g_i^xh_i^{r_i}modn,i = 1或2Ei(x,ri)=gixhirimodn,i=1或2。随机数ri∈[2s1n+1...原创 2020-05-13 19:51:22 · 706 阅读 · 0 评论 -
智能合约隐私计算之再谈Paillier同态加密算法
1.同态加密实现1.1.Paillier加法同态加密算法Paillier加密算法[1]是1999年Paillier发明的基于复合剩余类的困难问题的加法同态加密算法。(1)秘钥生成随机选择两个大质数p和q满足gcd(pq,(p−1)(q−1))=1gcd(pq, (p−1)(q−1))=1gcd(pq,(p−1)(q−1))=1。这个属性是保证两个质数长度相等。gcd即求两个数的最大公约数...原创 2020-05-09 21:31:57 · 2315 阅读 · 0 评论