ZKFERP:计算成本恒定的通用高效范围证明方案

区块链去中心化的特性易导致交易层用户隐私泄露，引发信息安全问题。零知识范围证明的目的是在不透露交易数据的同时，机密验证数据属于合法正整数区间，有效解决了区块链隐私保护问题。现有的区块链范围证明方案在证明速度、验证速度及计算成本等方面仍有较大的优化空间；并且，现有方案无法处理浮点数问题，因此限制了范围证明的应用领域。基于此，提出了一种计算成本恒定且浮点数、整数通用的高效范围证明方案——ZKFERP。ZKFERP在Bulletproofs的基础上改进零知识协议，优化证明结构，并设计了一种拉格朗日内积向量生成方法，使见证生成时间恒定，最后利用浮点数范围关系式构造承诺，实现浮点数范围证明。ZKFERP仅依赖于离散对数假设，无需第三方可信。实验结果表明，ZKFERP的通信成本和时间复杂度均恒定，且与已知最先进的范围证明方案相比，ZKFERP的证明时间缩短了40.0%,验证时间缩短了29.8%。