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,这将严重限制其应用。】
- 基于以下事实:若
a∈[0,H],当且仅当有相应的系数
Gi,使得存在
bi∈[0,u−1]使
a=∑i=1nGibi。要求,
u<<H且
n足够小。接下来证明每一个
bi均满足
bi∈[0,u−1],利用commitment scheme的加法同态性可以verify
a=∑i=1nGibi。明显地有
a∈[0,2d−1] iff a=∑i=1d2i−1bi,其中bi∈0,1。对于任意的
a∈[0,H],直观地,可转换为2个证明
a∈[0,2⌊log2H⌋+1−1]且H−a∈[0,2⌊log2H⌋+1−1]。事实上,通过巧妙地选择系数
Gi,对于任意的
H>1,可以仅需要一个证明即可,
for a∈[0,H],for any H>1,iff a=∑i=1⌊log2H⌋+1Gibi and bi∈[0,u−1]。
2. 新的Range proof