论文部分内容阅读
现有的证明承诺值x位于特定区间[a,b]的协议皆是先证明x不小于a．然后再重复同样方法证明b不小于x．为了去掉这种方法上的重复性，通过联合运用两承诺值相等协议及CFT证明协议提出了一个证明承诺值位于特定区间的新协议．协议运行一次便可使验证者确信承诺值x位于区间[a，b]中．该协议是统计零知识证明．与Boudor协议比较，该协议在计算量上少了一个指数运算，在通信置上由16176比特下降为13222比特．通信效率提高了18．26％．