CN116432204B

CN116432204B - 基于同态加密和零知识证明的可监管交易隐私保护方法

Info

Publication number: CN116432204B
Application number: CN202310424038.0A
Authority: CN
Inventors: 谢鹏寿; 邵婉君; 康永平; 潘银昌; 范心雨; 冯涛; 鲁晔; 朱家锋; 李晓烨
Original assignee: Lanzhou University of Technology
Current assignee: Lanzhou University of Technology
Priority date: 2023-04-20
Filing date: 2023-04-20
Publication date: 2023-11-17
Anticipated expiration: 2043-04-20
Also published as: CN116432204A

Abstract

基于同态加密和零知识证明的可监管交易隐私保护方法，属于区块链隐私保护技术领域，分为五个步骤：系统初始化、交易生成、交易验证上链、交易追踪和系统维护。本发明部署在联盟链上，采用群签名和一次性随机地址分别对交易发送方和交易接收方的身份进行隐藏；使用Paillier同态加密对交易金额进行隐藏；同时采用零知识证明规避负值的出现，实现交易金额合法性验证；在此基础上，引入监管者规范交易行为，防止无条件的交易隐私成为犯罪活动的天然保护壁垒。本发明不仅实现了交易发送方、交易接收方和交易金额三者的隐私保护，而且能够同时兼顾隐私性、安全性和可监管性三者之间的平衡问题。

Description

基于同态加密和零知识证明的可监管交易隐私保护方法

技术领域

本发明涉及区块链隐私保护技术领域，具体涉及基于同态加密和零知识证明的可监管交易隐私保护技术。

背景技术

区块链是一种融合多种技术的去中心化基础架构与分布式计算范式，具有去中心化、不可篡改、可追溯、多方共同维护等特点，可以降低交易成本，建立点对点之间的可信价值传递。联盟链是介于公有链和私有链之间的，是一种多中心化或者部分去中心化的区块链。由多个机构组成利益相关的联盟，共同维护区块链的健康运转。联盟链因其兼具公有链的开放、低信任和私有链的保护隐私、单一高度信任等特性，在各个行业中受到了广泛的欢迎。

目前区块链上的数据是公开存储的，数据记录和运行规则可以被全网节点审查、追溯，具有很高的透明度，这种存储方式在带来便利的同时，也在一定程度上造成用户隐私泄露的风险。攻击者毫不费力的获取这些暴露在区块链上的交易数据，通过大数据分析技术恶意挖掘用户的交易习惯、交易规律等信息，严重威胁用户的个人信息。区块链上公开的数据，既是用户的个人隐私信息，也是机构的核心保密数据。目前已经有大量的研究通过密码学算法对链上的公开数据进行隐藏，增加数据分析的难度，如混币机制、零知识证明、群签名、同态加密等。但是过度的隐私保护将会导致交易不受监管，无形中为各种违法犯罪活动筑起了坚固的保护壁垒，使区块链逐渐沦为地下钱庄、偷税漏税、敲诈勒索、非法交易的工具。因此，区块链中的隐私性和可监管之间的平衡问题，成为了亟需解决的难点。

发明内容

针对现有技术中的缺陷，本发明提供了基于同态加密和零知识证明的可监管交易隐私保护方法。

为实现上述目的，本发明采用了如下技术方案：

基于同态加密和零知识证明的可监管交易隐私保护方法，包括以下步骤：

S1、系统初始化：公布系统的初始化参数并初始化一个空的撤销列表，交易发送方向群管理员提出入群申请，群管理员根据主密钥对生成交易发送方的公私钥对以及群公私钥对，交易发送方根据交易接收方的永久公钥地址生成用于本次交易的一次性随机地址；

S2、交易生成：交易发送方对本次交易金额以及交易后的余额和交易前的余额进行加密，同时对交易金额进行零知识证明，将交易接收方生成的用于本次交易的一次性随机地址、交易金额密文、交易前后的账户余额密文以及零知识证明组成交易消息列表，交易发送方对交易消息列表进行群签名，并将交易广播到区块链中；

S3、交易验证上链：矿工接收到广播在区块链上的交易，对交易发送方身份合法性和交易金额合法性进行验证，若两者验证均通过，则表明本次交易合法，将本次交易打包成区块并上链；若验证未通过，则表明本次交易不合法，拒绝打包上链；

S4、交易追踪：当交易产生纠纷或者出现违法犯罪行为时，监管者可以对交易发送方、交易接收方和交易金额进行追踪，能够快速查找到参与方的不规范行为；

S5、系统维护：当用户主动退出群或者由于不合法行为被踢出群时，群管理员可以对群成员执行撤销操作，在本次交易顺利完成之后，交易接收方可以将本次的交易金额从一次性随机地址中转移到自己的常用账户下。

进一步的，所述步骤S1的具体子步骤如下：

S11、初始化参数，输入安全系数，输出系统的初始化参数，初始化一个空的撤销列表，用来存储撤销用户的撤销标记；

S12、交易发送方注册申请，交易发送方向群管理员提出注册申请，群管理员核实其身份后，同意其加群申请，并记录其身份信息，群管理员和监管者商定主密钥，根据主密钥对生成群密钥对，至此交易发送方加群成功；

S13、生成一次性随机地址，交易发送方根据交易接收方的永久公钥地址生成用于本次交易的一次性随机地址。

进一步的，所述步骤S2的具体子步骤如下：

S21、交易金额加密，监管者生成用于同态加密的公私钥对，并将公钥发送给交易发送方，交易发送方用公钥对本次交易金额、交易前的账户余额和交易后的账户余额进行加密；

S22、零知识证明生成，交易发送方使用范围证明生成本次交易金额的零知识证明，在不泄露交易金额相关信息的前提下，使矿工相信交易金额是在某个正值范围区间内；

S23、群签名生成，将交易接收方生成的用于本次交易的一次性随机地址、交易金额密文、交易前的账户余额密文、交易后的账户余额密文以及零知识证明组成交易消息列表，交易发送方对交易消息列表进行群签名，并将交易广播到区块链中。

进一步的，所述步骤S3的具体子步骤如下：

S31、交易发送方身份合法性验证，矿工接收到广播在区块链上的交易，验证交易消息列表的群签名是否是群中的某一用户所签名的，若验证通过，则表明交易发送方的身份信息合法；若验证未通过，则表明交易发送方的身份信息不合法；

S32、交易金额合法性验证，矿工利用同态加密的加同态性，验证交易发送方交易前的账户余额信息是否等于交易的金额和交易后的账户余额信息之和，同时对零知识证明进行验证，判断交易金额是否在一个正值范围区间内；

S33、打包上链，通过步骤S31和S32，对交易发送方身份合法性和交易金额合法性均验证通过，将本次交易信息打包成区块并上链，至此本次交易完成。

进一步的，所述步骤S4的具体子步骤如下：

S41、交易发送方的追踪，当监管者要核实群签名信息的来源时，向群管理员提出打开群签名的申请，群管理员核实监管者的身份，用主公钥加密所持有的用户身份信息，监管者用主密钥解密，获得用户身份信息，从而追踪到交易发送方的真实身份信息；

S42、交易接收方的追踪，监管者根据所持有的交易接收方的共享密钥，计算交易接收方的一次性随机地址是否与本次的交易地址一致，从而追踪到交易接收方的真实身份信息；

S43、交易金额的追踪，监管者用同态加密的私钥解密交易金额的密文信息，即可获得相对应的明文信息，从而追踪到交易金额的相关信息。

进一步的，所述步骤S5的具体子步骤如下：

S51、群成员撤销，当用户想要主动退出群，或者由于不合法的行为被踢出群时，群管理员执行撤销操作，将用户的身份信息和私钥信息加入撤销列表，并将其记录为“已作废标记”，然后发布新的撤销列表；

S52、交易金额转移，交易接收方确认自己是本次交易的接收方后，计算一次性私钥和交易的一次性随机地址，用一次性私钥签署本次交易，生成转移函数，将一次性随机地址的交易金额转到自己的常用账户地址下。

与现有技术相比，本发明具有如下的有益效果：

1、本发明解决了区块链交易场景中存在的隐私性和监管性无法同时兼顾的问题，提出了基于同态加密和零知识证明的可监管交易隐私保护方法，实现了隐私性、安全性和可监管性之间的平衡。

2、本发明采用同态加密算法，在基于账户模型的联盟区块链中，通过同态加密的加同态性，在不解密的前提下，对交易金额和交易前后的账户余额进行计算，既保证了隐私性，又在一定程度上确保交易的合法性。

3、本发明使用范围证明，在不泄露交易金额相关信息的前提下，验证交易金额在某个正值区间，防止恶意用户使用负值金额进行转账，规范了交易行为。

附图说明

为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动性的前提下，还可以根据这些附图获得其他的附图。

图1为本发明基于同态加密和零知识证明的可监管交易隐私保护方法的整体架构图。

实施方式

下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整性地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。

为使本发明的上述目的、特征和优点能够更加明显易懂，下面结合附图和具体实施方式对本发明作进一步详细的说明。

如图1本发明实施例提供了基于同态加密和零知识证明的可监管交易隐私保护方法；

基于同态加密和零知识证明的可监管交易隐私保护方法，包括：

具体而言，在本发明实施例中，步骤S1包括以下步骤：

S11、初始化参数，输入安全系数λ，输出系统的初始化参数pp＝{λ,g₁,g₂,g,h,G₁,G₂,G_T,H₁,H₂}，G₁和G₂是加法循环群，G_T是乘法循环群，G₁、G₂和G_T的阶都是大素数N，g₁、g₂分别为群G₁、G₂的生成元，g、h∈G_T，H₁、H₂为杂凑函数的派生密码函数；初始化一个空的撤销列表RL，用来存储撤销用户的撤销标记；

S12、交易发送方注册申请，交易发送方向群管理员提出注册申请，群管理员核实交易发送方的身份后，同意其加群申请，并记录交易发送方的身份信息ID_TS，群管理员和监管者商定ks∈[1,N-1]作为主密钥，则主公钥为P_s＝ks·g₂，即主密钥对(ks,P_s)；

群标识ID_G＝ID_GM||ID_RA，其中ID_GM和ID_RA分别是群管理员和监管者的身份信息；

计算t₁＝H₁(ID_TS||hid,N)+ks，d₁＝ks·t₁ ^-1，得发送方的私钥ds_TS＝d₁·g₁；

t₂＝H₁(ID_G||hid,N)+ks，得群私钥ds_G＝d₂·ds_TS；

交易发送方加群成功，其群密钥对为(ds_TS,ds_G,ID_TS,ID_G)；

S13、生成一次性随机地址，G是椭圆曲线上的一基点，p是其质数阶，Hs是密码学哈希函数，交易发送方根据交易接收方的永久公钥地址为(A,B)，选择随机数r∈[1,p-1]，计算R＝rG，计算一次性随机地址Address＝Hs(rA)G+B，广播R和Address。

具体而言，在本发明实施例中，步骤S2包括以下步骤：

S21、交易金额加密，监管者随机选取两个大素数p、q满足gcd(pq,(p-1)(q-1))＝1；计算n＝pq，λ＝lcm(p-1,q-1)，其中lcm表示求取最小公倍数；随机选择整数定义函数/>计算μ＝(L(g^λmodn²))^-1modn；由此生成公钥PK＝(n,g)，私钥SK＝(λ,μ)；交易发送方输入本次交易金额的明文消息m和公钥PK，选择随机数r∈(0,n)，输出密文c_m＝g^mrⁿmodn²；对交易前账户余额和交易后账户余额的加密与此类似；

S22、零知识证明生成，交易发送方构造a_L、a_R，使其满足<a_L,2ⁿ>＝m，a_R＝a_L-1ⁿ；构造一个a_L、a_R的承诺

随机选取盲因子s_L、s_R，构造一个s_L、s_R的承诺

y＝H₁(C_a,C_s)，z＝H₁(C_a,C_s,y)；

随机选τ₁、τ₂，构造τ₁、τ₂的承诺i∈{1,2}；

t(x)＝<l(x),r(x)>＝t₀+t₁·x+t₂·x²；

τ(x)＝τ₂·x²+τ₁·x+z²·r，r是随机选取的，并且r∈Z_p；

计算μ＝α+ρ·x，生成关于m的承诺C_m＝g^rh^m；

由此，零知识证明：η＝{τ(x),μ,t(x),l(x),r(x),C_m}；

S23、群签名生成，交易发送方将本次交易产生的一次性随机地址Address、零知识证明η，交易金额的密文信息c_m，交易后的账户密文信息c_Δm和交易前的账户密文信息c_M组成交易消息列表M_TX＝{Address,c_m,c_Δm,c_M,η}，对交易消息列表M_TX进行群签名；

计算g_S＝e(g₁,P_s)，随机取h_TX＝H₂(M_TX||w,N)；

S₁＝(r₁ ^-1)(r₂-h_TX)·ds_TS，S₂＝(r₁ ^-1)(r₂-h_TX)·ds_G；

h₁＝H₁(ID_TS||hid,N)，P_TX＝(h₁·g₂+P_s)·r₁；

得到交易发送方对M_TX的群签名：Sign＝(h_TX,P_TX,S₁,S₂)，并将交易广播到区块链中。

具体而言，在本发明实施例中，步骤S3包括以下步骤：

S31、交易发送方身份合法性验证，矿工对接收到的交易消息列表M_TX'及其群签名Sign'＝(h_TX',P_TX',S₁',S₂')，验证其签名用户是否为群ID_G中的某一成员；

计算h₂＝H₁(ID_G||hid,N)，P₂＝h₂·g₂+P_s，u₁＝e(S₂,P₂)，u₂＝e(S₁,P_s)，判断u₁和u₂是否相等。若不相等，则验证不通过，拒绝打包交易；

若相等，则继续计算u＝e(S₁,P_TX)，g_S＝e(g₁,P_s)，'

w＝u·t，h_TX＝H₂(M_TX'||w',N)，判断h_TX'和h_TX是否相等，若相等，则可证明该消息是由群ID_G中的某个成员所签名的，发送方的身份信息得以验证；

S32、交易金额合法性验证，矿工利用Paillier同态加密的加同态性，验证交易发送方交易前的账户余额信息是否等于交易的金额和交易后的账户余额信息之和，即

矿工对零知识证明η进行验证，判断交易金额m是否在一个正值范围区间内；

判断

根据a_L、a_R、s_L、s_R生成的承诺C_a、C_s，生成l(x)和r(x)的承诺

若以上判断全部正确，则矿工确定交易发送方的交易金额m∈[0,2ⁿ-1]；

S33、打包上链，矿工验证发送方身份和交易金额是合法的，将本次交易信息打包成区块并上链；矿工选一个随机数Nounce，将前一区块的交易编号Num_TX0和交易哈希值Hash(M_TX0)加入到本次交易产生的区块中，区块包含以下内容：

{Nounce,Num_TX0,Hash(M_TX0),Num_TX,M_TX,Sign,ID_G,P_s,Address,R}

将区块打包上链，至此本次交易完成。

具体而言，在本发明实施例中，步骤S4包括以下步骤：

S41、交易发送方的追踪，当监管者要核实群签名信息的来源时，监管者向群管理员提出打开群签名的申请，群管理员核实监管者的身份，用主公钥P_s加密所持有的用户身份信息ID_TS，监管者用主密钥ks解密，获得用户身份信息ID_TS，计算用户私钥ds_TS，从而追踪到签名用户的真实身份信息；

S42、交易接收方的追踪，监管者通过所持有的共享密钥a，计算如果等式成立，则说明本次交易生成的一次性随机地址是根据交易接收方的地址所产生的，从而追踪到本次交易的接收方信息；如果等式不成立，对交易接收方的身份进行揭发；

S43、交易金额的追踪，Paillier同态加密的公私钥对(PK,SK)是由监管者生成的，监管者用私钥SK＝(λ,μ)计算m＝L(c_m ^λmodn²)·μmodn，即可恢复出交易金额的明文消息m，实现了对交易金额的追踪。

具体而言，在本发明实施例中，步骤S5包括以下步骤：

S51、群成员撤销，当用户想要主动退出群，或者由于不合法的行为被踢出群时，群管理员执行撤销操作，将用户的身份信息和私钥信息加入撤销列表RL，并将其记录为“已作废标记”，然后发布新的撤销列表RL；

S52、交易金额转移，交易接收方确认自己是本次交易的接收方后，计算一次性私钥d_TR＝H_s(a·R)+b和交易的一次性随机地址Address＝d_TR·G。交易接收方用一次性私钥d_TR签署本次交易，生成转移函数，将一次性随机地址的交易金额转到自己的常用账户地址下。

本说明书中各个实施例采用递进的方式描述，每个实施例重点说明的都是与其他实施例的不同之处，各个实施例之间相同相似部分互相参见即可。对于实施例公开的系统而言，由于其与实施例公开的方法相对应，所以描述的比较简单，相关之处参见方法部分说明即可。

本文中应用了具体个例对本发明的原理及实施方式进行了阐述，以上实施例的说明只是用于帮助理解本发明的方法及其核心思想；同时，对于本领域的一般技术人员，依据本发明的思想，在具体实施方式及应用范围上均会有改变之处。综上所述，本说明书内容不应理解为对本发明的限制。

Claims

1.基于同态加密和零知识证明的可监管交易隐私保护方法，其特征在于，包括以下步骤：

具体地，步骤S1包括以下步骤：

S13、生成一次性随机地址，交易发送方根据交易接收方的永久公钥地址生成用于本次交易的一次性随机地址；

具体地，步骤S2包括以下步骤：

S23、群签名生成，将交易接收方生成的用于本次交易的一次性随机地址、交易金额密文、交易前的账户余额密文、交易后的账户余额密文以及零知识证明组成交易消息列表，交易发送方对交易消息列表进行群签名，并将交易广播到区块链中；

具体地，步骤S3包括以下步骤：

S33、打包上链，通过步骤S31和S32，对交易发送方身份合法性和交易金额合法性均验证通过，将本次交易信息打包成区块并上链，至此本次交易完成；

S4、交易追踪：当交易产生纠纷或者出现违法犯罪行为时，监管者对交易发送方、交易接收方和交易金额进行追踪，能够快速查找到参与方的不规范行为；

具体地，步骤S4包括以下步骤：

S43、交易金额的追踪，监管者用同态加密的私钥解密交易金额的密文信息，即可获得对应的明文信息，从而追踪到交易金额的相关信息；

S5、系统维护：当用户主动退出群或者由于不合法行为被踢出群时，群管理员对群成员执行撤销操作，在本次交易顺利完成之后，交易接收方将本次的交易金额从一次性随机地址中转移到自己的常用账户下；

具体地，步骤S5包括以下步骤：

S52、交易金额转移，交易接收方确认自己是本次交易的接收方后，计算一次性私钥和交易的一次性随机地址，用一次性私钥签署本次交易，生成转移函数，将一次性随机地址中的交易金额转到自己的常用账户地址下。