零知识集合成员证明方法和装置
摘要:
本说明书实施例提供一种零知识集合成员证明方法和装置,方法包括:用户设备从验证方设备接收集合S的大小为η的子集合S′;根据第三方公开的参数集,以及元素u和证据σ,计算得到两个公开值,并发送给验证方设备,使其根据发送的公开值和子集合S′中的各个元素计算得到第三公开值;根据生成的η组随机数、上述三个公开值,计算得到η组随机陈述,并发送给验证方设备;从验证方设备接收随机挑战c;将η组证明值和对应挑战值构成的η组数据证明发送给验证方设备,验证方设备通过验证随机陈述,挑战值以及证明值之间是否满足预设关系,确认用户设备拥有的元素u是否属于子集合S′。能够高效的实现对于动态子集的成员证明。
0/0