基於門限環簽名的可刪除區塊鏈（未完）

基於門限環簽名的可刪除區塊鏈

[1]任豔麗,徐丹婷,張新鵬,谷大武.基於門限環簽名的可刪除區塊鏈[J].通信學報,2019,40(04):71-82.

摘要：隨着區塊鏈的發展，存儲所有區塊數據需要巨大的存儲空間，而數據一旦寫入鏈中就不能更改，可能會造成過期數據佔用大量存儲空間的問題。首先對門限環簽名方案進行改進，然後基於空間證明的共識機制提出了可刪除的區塊鏈。當某個區塊數據過期或失效時，經大多數節點同意並簽名後，可對該區塊進行有效刪除，並保持區塊鏈的總體結構不變。在模擬環境中進行了仿真實驗，結果表明，所提區塊鏈方案在生成和刪除區塊時效率都很高，且不影響其他區塊的存儲和使用。

相關概念

環簽名

• setup算法：輸入安全參數 λ，輸出 n 個環成員的公鑰PK₁,···PK_n和私鑰SK₁,···SK_n 。
• ring-sign 算法：輸入消息 m、n 個環成員公鑰PK₁,···,PK_n和簽名用戶私鑰SKs，輸出環簽名 σ。
• ring-verify 算法：輸入環成員公鑰PK₁,···,PK_n和簽名(m ,σ ) ，輸出“接收”或者“拒絕”。

門限環簽名

以環簽名爲基礎

• setup算法：輸入安全參數 λ，輸出 n 個環成員的公鑰PK₁,···PK_n和私鑰SK₁,···SK_n 。
• T-ring-sign 算法：輸入消息 m、n 個環成員公鑰PK ₁,···,PK_n和 n−t 個簽名用戶私鑰SK_i,1, ···SK_i,n-t，輸出環簽名 σ。
• T-ring-verify 算法：輸入環成員公鑰PK₁,···,PK_n和簽名(m ,σ ) ，輸出“接收”或者“拒絕”。

公平拆分

假設系統中 n 個用戶被拆分爲 t 個子集π(π¹,···,π^t ),I={i₁ , ···,i_t }表示其中 t 個用戶編號的集合。對於集合 I，如果對於所有的j∈[1, t]，均有#(I ∩π^j)=1，就稱 π 是一個公平拆分，其中#(X)表示集合 X 中元素的個數。

完備拆分系統

令 t<n−t<n，對於任意包含 t 個用戶編號的集合 I，都存在一個公平拆分，這樣的系統稱爲(n, t)–完備拆分系統。