A Non-Interactive Range Proof with Constant Communication
1. 背景知识
Rafik Chaabouni,Helger Lipmaa和Bingsheng Zhang 2012年论文《A Non-Interactive Range Proof with Constant Communication》,与Lipmaa 2012年论文《Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments 》,两者之间有交叉引用。
Rafik Chaabouni,Helger Lipmaa和Bingsheng Zhang 2012年论文《A Non-Interactive Range Proof with Constant Communication》中,要点为:
- 基于CRS model的non-interactive range proof.
- 采用Hadamard product来实现parallel证明。
- 证明COCOON2009 [21]论文中的Range Proof为不安全的。
截止改论文发表时,现有的range proof大致可以分为两类:
- 第一类: uses a classical result of Lagrange that every non-negative integer is a sum of four squares [13, 7, 21]。【要求相应的group具有unknown order,这将严重限制其应用。】
- 基于以下事实:若,当且仅当有相应的系数,使得存在使。要求,且足够小。接下来证明每一个均满足,利用commitment scheme的加法同态性可以verify 。明显地有。对于任意的,直观地,可转换为2个证明。事实上,通过巧妙地选择系数,对于任意的,可以仅需要一个证明即可,。