[发明专利]一种数字货币发行总量控制方法及验证方法

权利要求书

1.一种数字货币发行总量验证方法，其步骤包括：

1)央行根据安全参数λ，生成安全系数为λ的满足发钞交易可信证明的电路Circuit，生成证明密钥pk_proof和验证密钥(pk_proof,vk_proof)：＝KeyGen(1^λ,Circuit)，并公开安全参数λ、可信电路Circuit、证明密钥pk_proof以及验证密钥vk_proof；

2)央行分配每一设定发钞行i的发行总量Sum_i，随后发起一笔承诺交易，该承诺交易中包含发钞行i的初始剩余量列表其中为该承诺交易发起时最长区块链中最新区块的哈希值，PK_i发钞行i的完整公钥；

3)央行监听区块链，当发现新区块new中出现发钞交易，从该发钞交易中得到发行量v_i，计算发钞行i新的剩余量承诺以及生成多个非交互式零知识证明，非交互式零知识证明π_i为发钞行i的非交互式零知识证明；然后将发钞行i的非交互式零知识证明以及更新后的剩余发钞量承诺打包成一笔交易tx进行发布；

4)验证者从区块中获得该交易tx后，对交易指向的区块中所有发钞交易的合法性进行验证。

2.如权利要求1所述的方法，其特征在于，生成零知识证明π_i的方法为：

11)设置tx_j为第j笔发钞交易，为发钞行i进行完前一区块发钞后的剩余量承诺；

12)设置其中(s_c,s_c2)为央行的私钥，为发钞行i进行完前一区块发钞后的发钞剩余量，为发钞行i进行完当前区块发钞后的发钞剩余量；

13)生成零知识证明π_i：＝Prove(pk_proof,x_i,a_i)。

3.如权利要求1或2所述的方法，其特征在于，验证者从区块中获得该交易tx后，对交易指向的区块中所有发钞交易的合法性进行验证的方法为：

21)验证者从交易tx中提取找到对应区块的可信证明交易，若old＝＝0，则找到最初发布的承诺交易，提取其中的

22)从tx中提取找到对应区块中的发钞交易tx₁…tx_j；

23)设置

24)计算b_i：＝Verify(vk_proof,x_i,π_i)，如果验证成功b_i＝1,否则等于0；

25)输出b_A∧b_B，如果输出等于1，则判定区块new中的发钞交易在合法范围内。

4.如权利要求1所述的方法，其特征在于，新的发钞行剩余量承诺

5.如权利要求1所述的方法，其特征在于，所述验证者为发钞行或用户。