承诺值在特定区间的高效证明

摘要

现有的证明承诺值x位于特定区间[a,b]的协议皆是先证明x不小于a,然后再重复同样方法证明b不小于x.为了去掉这种方法上的重复性,通过联合运用两承诺值相等协议及CFT证明协议提出了一个证明承诺值位于特定区间的新协议,协议运行一次便可使验证者确信承诺值x位于区间[a,b]中.该协议是统计零知识证明.与Boudot协议比较,该协议在计算量上少了一个指数运算,在通信量上由16 176比特下降为13 222比特,通信效率提高了18.26%.