基于门限环签名的可删除区块链（未完）

基于门限环签名的可删除区块链

[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