一种具备可转移性的条件电子支付系统

摘要

本发明公开了一种具备可转移性的条件电子支付系统，具有支付平台，银行，一个付款人，所述付款人账户，以及至少一个收款人，其特征在于，包括以下步骤：（1）支付生成；（2）条件转移；（3）用户注册；（4）附加转移；（5）兑现支付；（6）识别双重支付者。本发明有益效果在于，本发明所构建既不需要低效的分割选择技术，也不需要复杂的知识证明协议，同时也消除了在所有条件转让协议中对银行随时在线的需求。且本发明的条件电子支付系统具备可转让性，可使得一连串的收款人能够匿名的进一步交易货币。

主权项

一种具备可转移性的条件电子支付系统，具有支付平台，银行，一个付款人，所述付款人账户，以及至少一个收款人S_i，其特征在于，包括以下步骤：(1)支付生成，其中，当所述付款人希望向所述银行提取一个货币，所述付款人须要证明所述付款人账户的所有权，并协商一个公共的信息c,双方之间通过提取协议，最终所述付款人得到银行兑现的货币；1.1 B生成一个随机数r∈_RΖ_q，并发送z＝(Ig₂)^rx，b＝(Ig₂)^r，和a＝y^r给U；1.2 U检查e(z,g)＝e(b,y)＝e(Ig₂,a)是否成立；若等式不成立，它就会终止协议；若成立，U生成一系列随机数α,λ,x₁,x₂,μ∈_RΖ_q，同时计算A＝(Ig₂)^α,z'＝z^αλ,b'＝b^αλ,a'＝a^λ,和然后它发送给B；1.3 B给U反馈然后U计算如果于是(A,B,c,(z',b',a',σ))就是一个U知道表示的有效货币；(2)条件转移，其中，所述付款人希望支付他的货币给所述收款人时；双方之间通过收款人生成的三个随机数和已知信息，进行运算和双线性对验证，验证通过后收款人即接受付款人发送的货币；当U希望支付他的货币(A,B,c,(z',b',a',σ))给S₁，将执行下述的协议：2.1 S₁生成三个随机数α₁,β₁,γ₁∈_RΖ_q，然后发送给U；2.2 令d＝H₁(A,B,A₁,B₁)，U计算r₁＝d(μ₀α)+x₁ mod q，r₂＝dα+x₂ mod q，然后发送给S₁；2.3 S₁接受货币，当且仅当：A≠1,e(z',g)＝e(b',y)＝e(A,a')，并且VEDL(r₂)是r₂的一个有效的可验证的加密；(3)用户注册，一个S_i和所述银行之间的交互协议；其中，所述银行生成一个限制性部分盲签名给一个具体的信息，这个协议与步骤(1)协议基本相同，据具体是电子货币的实际价值是0，最终，S_i获得一个有效的证书硬币作为他的代表；其中：B生成一个限制性部分盲签名给一个具体的信息这个协议与支付生成协议几乎是一样的；唯一的区别在于公用信息是c^*而不是c，也就是说电子货币的实际价值是0；最终，S_i获得一个有效的证书硬币(A_i,B_i,c^*,(z′_i,b′_i,a′_i,σ_i))作为他的代表；(4)附加转移，当S_i希望转移一个货币给S_i+1(1≤i≤n‑1)，双方之间通过S_i+1生成的三个随机数和已知信息，进行一定的运算和双线性对验证，验证通过后S_i+1即接受S_i转移的货币；4.1 S_i+1生成三个随机数α_i+1，β_i+1，γ_i+1∈_RΖ_q并发送给S_i；4.2 令d_i＝H₁(A_i,B_i,A_i+1,B_i+1)，U计算τ_i＝d_i(u_iα_i)+β_i mod q， v_i＝d_iα_i+γ_i mod q，并发送和(A_j,B_j,c^*,(z'_j,b'_j,a'_j,σ_j),τ_j,v_j)(1≤j≤i)给S_i+1；也就是说，每一次附加的转移将添加(A_j,B_j,c^*,(z'_j,b'_j,a'_j,σ_j),τ_j,v_j)(1≤j≤i)信息给货币；4.3 S_i+1接受货币，当且仅当A≠1，e(z',g)＝e(b',y)＝e(A,a')，VEDL(r₂)是r₂的一个有效的可验证的加密，并且A_j≠1，e(z'_j,g)＝e(b'_j,y)＝e(A_j,a'_j)，(5)兑现支付，根据步骤(4)结果所述收款方发送货币给所述银行；其中：收款方S_i(1≤i≤n)发送货币(A,B,c,(z',b',a',σ),r₁,r₂)，(A_j,B_j,c^*,(z'_j,b'_j,a'_j,σ_j),τ_j,v_j)(1≤j≤n‑1)和(α_i,β_i,γ_i)给B；如果S_k和S_l(k＜l)都兑现了支付，B就能够追踪到双重支付人S_k；对于S_i提供的一个货币，B首先检查货币的有效性，如果所有验证通过，他然后搜索存款数据库来查找是否A已经被存储过；如果A之前没有被存储过，B就把(A,c,d,r₁,r₂)，(A_j,c^*,d_j,τ_j,v_j)(1≤j≤i‑1)和α_i存储到数据库中，并归于S_i的账户中；否则，B就调用识别双重支付者算法；(6)＝识别双重支付者，所述银行检测双重存储或双重支付；6.1 利用两个不同的五元组(A,c,d,r₁,r₂)和(A,c,d',r'₁,r′₂)，B可以计算u₀＝(r₁‑r'₁)/(r₂‑r′₂)modq并追踪双重支付者U，在这种情况下，B也可以了解到U第一次提取货币；6.2 利用两个不同的五元组(A_j,c^*,d_j,τ_j,v_j)和 (A_j,c^*,d'_j,τ'_j,v'_j)，B可以计算u_j＝(τ_j‑τ'_j)/(v_j‑v'_j)modq并追踪双重支付者S_j；6.3 令l＜n‑1是最大的指标，所有A_j(1≤j≤l)已经存储在数据库中，利用两个不同的五元组(A_l,c^*,d_l,τ_l,v_l)和(A_k,c^*,d_k,τ_k,v_k)，B能够以下述方式验证不端行为：如果k＜l，B可以推断出S_k+1试图两次存储相同的支付，因此他将拒绝S_k+1的请求；如果k＞l，B可以推断出S_l+1是一个双重支付者，因为在这种情况下，意味着同一个支付既被S_l+1兑现，又被它转让，利用A_l+1和a_l+1的信息，B可以计算出S_l+1的账户信息：