一种针对向量承诺的简洁范围证明方法和系统

本发明公开了一种针对向量承诺的简洁范围证明方法和系统，包括以下步骤：建立证明目标关系为证明者要向验证者证明其拥有的秘密向量中的每一个元素值均在待证明的范围内；证明者根据其拥有的秘密向量计算二元分解多项式；证明者向验证者证明二元分解多项式对应的二元分解矩阵的任一行的按列累加和等于原秘密向量中对应的元素值；证明者向验证者证明二元分解多项式对应的二元分解矩阵中任一列的任一元素属于待证明的范围。本发明能够实现批量化的证明和验证协议，从而减少证明大小和验证者计算压力，能够提升大规模数据证明的效率，有利于在去中心化金融、区块链等领域的规模化扩展。