[發明專利]一種數字貨幣發行總量控制方法及驗證方法

有效

• 申請號: 201911240879.6
• 申請日: 2019-12-06
• 公開（公告）號: CN110992010B
• 公開（公告）日: 2023-05-16
• 發明（設計）人: 代文昊;顧小卓;付毛毛;范廣;王梓梁
• 申請（專利權）人: 中國科學院信息工程研究所
• 主分類號: G06Q20/06
• 分類號: G06Q20/06;G06Q20/38;G06Q20/40
• 代理公司: 北京君尚知識產權代理有限公司 11200
• 代理人: 司立彬

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所述的方法，其特征在于，所述驗證者為發鈔行或用戶。