摘要
本发明公开了一种基于加权范数线性关系的零知识范围证明方法,该方法先根据给定的数据范围生成位分解表,再根据给定的范围证明聚合数和位分解表,选取最优的位分解方案;随后取待证明数据的值进行位分解,并基于此构造集成倒数证明的算术电路关系。经过多步约化,可得到加权范数线性关系,最终通过无需填充的加权范数线性关系约化协议,完成证明的生成与验证,验证者据此返回接受或拒绝证明的结论。本发明原生支持任意长度的证明向量,无需依赖零填充;同时可根据证明聚合数自动选取最优的位分解方案,从而显著提升聚合证明的性能。本发明在性能上优于现有最新技术,且可广泛应用于Monero等加密货币场景以及通用算术电路的隐私计算任务。