本文来自于 PSE Acceleration Program1的赞助支持。
代码: pylookup2
这个代码是参考 CQ 的 paper 实现的,请看 README.md
了解如何运行。另外,其中还包括了一个 cq.ipynb
文件, 是一个 Python notebook 版本的实现,是一个简化版本的 CQ 实现,和这个教程比较接近。
Lookup 要解决的问题
在零知识证明系统中,通常会利用算数化过程将一个计算问题转化为与之等价的数学表达形式(通常是多项式),这样就可以利用数学性质来对多项式进行变换,计算和验证。这是构建零知识证明的关键步骤,因为它使得复杂的计算过程可以在数学上被精确地表达和验证。
但有些计算不能被很好的算数化,或者算数化后会产生更多的约束(多项式)。比如证明一个值是否在一个范围内( 0<x<5 ),可能需要 10 个以上的约束。这时候使用 Lookup Arguments 能减少约束的数量,减少生成的证明大小。
Lookup Arguments 允许证明者(prover)证明一个值属于一个预先定义的集合。
拿刚才的例子来说,证明 0<x<5 只需要一个 lookup 约束: x∈{1,2,3,4} , 即证明 x 在表 {1,2,3,4} 中。
上面的例子是一个单列的表格。更进一步,一个表可以表达任意的关系,只要对应的输入输出能在表中找到,我们就可以说 lookup 证明成立。
Input 1 | Input 2 | Input3 | Output |
---|
1 | 2 | 3 | 6 |
2 | 3 | 4 | 24 |
3 | 3 | 8 | 48 |
4 | 8 | 3 | 13 |
13 | 6 | 4 | 33 |
比如表格第一行我们可以定义为一个加法: 1+2+3=6 ,只要给定的查找是 {1,2,3,6} ,就满足 lookup 的约束; 第二行可以定义为乘法: 2∗3∗4=24 ,只要给定的查找是 {2,3,4,24} ,就满足 lookup 的约束。
CQ 的贡献
从论文中的对比(下图)可以看到,CQ(Cached Quotients Lookup Arguments) 是目前 prover 计算复杂度最低的 lookup argument,仅为 O(nlogn) ,这一点通过一定的预处理来实现。和 Baloo 相比,CQ 有更少的群运算和更小的 proof size。

CQ 和上表中提到的四个 lookup arguments 主要差别是,CQ 利用了对数导数这个技巧,让 prover 的计算可以基于原始的大表,而不需要从大表中提取出一个子表(subtable),从而让 prover 的计算更加高效。
下面我们针对 CQ 的核心原理进行解释,如果你对更多的细节和优化感兴趣,可以参考原始的 paper。
对数导数
lookup argument 就是要证明向量/表 f 中的元素都在 t 中,这一点和其它 lookup argument 都是一致的。
假设:
-
f={f1,f2,f3,f4,...,fn}
-
t={t1,t2,t3,t4,..,tn}
例如:
-
f={1,2,2,3,3,3}
-
t={1,2,3,4}
上面的问题可以转化为一个新的问题: 用这些元素构建一个多项式, 他们拥有相同的根:
-
f(x)=(x−1)(x−2)(x−2)(x−3)(x−3)(x−3)
-
t(x)=(x−1)1(x−2)2(x−3)3(x−4)0
这样的好处是,我们可以利用多项式的数学性质进行后续的计算和证明。
注意 t(x) 中需要统计 f 中出现重复元素的次数,作为多项式 t(x) 对应根的位置的幂次,没有出现的元素的次数为 0。可以看到, f 中元素在 t 中出现的次数:
-
1 在 t 中出现的次数为 1
-
2 出现次数为 2
-
3 出现次数为 3
-
4 出现次数为 0
这里可以用一个向量 m 表示:
m={1,2,3,0}
所以 t(x) 有这样的构造: t(x)=(x−1)1(x−2)2(x−3)3(x−4)0 。
可以看到,如果 f(x) 等于 t(x) ,就可以说 f 中的元素都在 t 中,满足 lookup argument 的证明。
构造连乘的多项式还有一个好处,可以不用考虑 f 和 t 两个向量中元素的顺序。
不过实际中通常不会直接对比,因为:
-
f 通常是秘密的值,不是公开的,不能直接对比
-
f 和 t 的 size 一般都非常大,构建的多项式次数很高,相对难以处理
有没有更好的方式证明 f(x)=t(x) 呢?
有。CQ 使用了Multivariate lookups based on logarithmic derivatives3论文中提到的「对数导数法」,将乘法关系转换为加法关系,让证明变得简洁了很多。
什么叫对数导数法?
在数学中,对数导数法是一种求函数导数的技巧,特别适用于复杂函数的求导,尤其是当函数是多个函数的乘积形式时。这种方法通过应用自然对数( ln )和链式法则来简化求导过程。
下面我们来计算 f(x)=(x−1)(x−2)2(x−3)3 的对数导数。按照对数导数法的步骤,我们先对 f(x) 取对数,然后对所得表达式求导。下面是具体的计算步骤:
取对数:
ln(f(x))=ln((x−1)(x−2)(x−2)(x−3)(x−3)(x−3))
展开对数(利用对数的性质,将乘积转换为求和):
ln(f(x))=ln(x−1)+ln(x−2)+ln(x−2)+ln(x−3)+ln(x−3)+ln(x−3)
对等式两边求导(应用链式法则和基本导数规则):
dxdln(f(x))=dxd(ln(x−1)+ln(x−2)+ln(x−2)+ln(x−3)+ln(x−3)+ln(x−3))
化简为:
f(x)f′(x)=x−11+x−21+x−21+x−31+x−31+x−31
即:
f(x)f′(x)=j∈∣f∣∑x−fj1
同样对 t(x) 求对数导数得到:
t(x)t′(x)=x−11+x−22+x−33
即:
t(x)t′(x)=i∈∣t∣∑x−tjmi
所以需要证明:
f(x)f′(x)=t(x)t′(x)
即:
j∈∣f∣∑x−fj1=i∈∣t∣∑x−timi
简化一下写法,定义 ai=mi/(x−ti) 和 bj=1/(x−fj) ,
即需要证明:
i∑ai=j∑bj
可以看到这个过程将多个函数的乘积转换为求和的形式。最终将 lookup 证明转换为证明对数导数( f(x)f′(x) 和 t(x)t′(x) ) 相等。
对数导数 lookup 协议
通过上面的对数导数可以构建一个简单的 lookup argument:
-
prover 给 verifier 发送 f,t,m
-
verifier 给 prover 发送随机数 β
-
prover 给 verifier 发送多个值: ai=mi/(β−ti) 和 bj=1/(β−fj) ,其中 i 和 j 的取值范围为 t 和 f 中元素的个数,即 i∈∣t∣,j∈∣f∣
-
verifier 做三种检查
- ai 值检查: ai∗(β−ti)=mi
- bi 值检查: bi∗(β−fi)=1
- sum 检查: ∑iai=∑jbj
对于 ai 和 bi 的检查,上面的 lookup 协议有一个问题,就是 proof size 比较大,因为需要将所有的 ai 和 bi 值都发给 verifier。要解决这个问题,我们可以利用 Schwartz-Zippel 定理,将所有 ai 和 bi 的值编码到多项式中,然后 verifier 只需要发送一个随机值进行验证就可以保证 prover 提供的所有 ai 和 bi 的值是正确的。
对于 sum 检查,我们可以直接使用 univariate sumcheck。
下面我们分别看看如何构造对应的证明。
多项式构造和 pairing: 证明 ai 和 bi
为了验证:
我们通过将 ai 和 bi 分别构造成一个多项式,然后利用多项式的性质来进行验证。
所以需要:
构造多项式我们通常使用拉格朗日插值法。这就需要构造一系列 {xi,yi} 值对,将这些值对插值成多项式,通常 {xi} 的值来自于一个乘法子群,群的大小为 {yi} 的大小,这里分别为 ∣t∣ 和 ∣f∣
如何构造 A(x) ?
-
verifier 发送随机数 β ,令 x=β
-
选择大小为 ∣t∣ 的乘法子群 Ht={ωi} , i∈∣t∣
-
A(ωi)=ai=mi/(ti−β) 。 {xi,yi} 值对为 {ωi,ai}
-
使用拉格朗日插值法得到多项式 A(x)
如何检查 A(x) 被正确构造?
-
分别对 m 和 t 在乘法子群上进行插值得到多项式 M(x),T(x)
-
在乘法子群 Ht 上,多项式满足 A(x)=M(x)/(T(x)−β)
-
变换为 A(x)(T(x)−β)−M(x)=0
-
由多项式余式定理得到 A(x)(T(x)−β)−M(x)=QA(x)∗ZA(x) 。这个等式对 x 为群上的任意值都成立。其中 QA(x) 为商多项式, ZA(x)=∏i(x−ωi) 为消失多项式
-
prover 发送
a. A(x) 的承诺 [A(x)]1
b. QA(x) 的承诺 [QA(x)]1
c. M(x) 的承诺 [M(x)]1
-
verifier 自行计算 T(x) 的承诺 [T(x)]2 和 ZA(x) 的承诺 [ZA(x)]2 ,然后通过椭圆曲线的 pairing 进行 KZG 验证: e([T(x)]2,[A(x)]1)=e([1]2,[A(x)]1∗β+[M(x)]1)∗e([ZA(x)]2,[QA(x)]1)
注意: 和 paper 有些区别的地方是,为了方便解释,文章中有些地方使用了 − 号而不是 + 号,这是因为在群上做减法运算会转化成加法运算,比如对于 modulus=5 的群, β=−2%5=3 ,所以 (x−2)%5=x+3 ,我们随时可以将减法转化为加法表示,因此在符号表示上,在有些场景下不做区分。
同样的方法构造 B(x) :
-
verifier 发送随机数 β ,令 x=β
-
选择大小为 ∣f∣ 的乘法子群 Hf={ωj} , j∈∣f∣
-
B(ωj)=bj=1/(fj−β) , {xj,yj} 值对为 {ωj,bj}
-
使用拉格朗日插值法得到多项式 B(x)
检查 B(x) 被正确构造:
-
对 f 在乘法子群上进行插值得到多项式 F(x)
-
在乘法子群 Hf 上,多项式满足 B(x)=1/(F(x)−β)
-
变换为 B(x)(F(x)−β)−1=0
-
由多项式余式定理得到 B(x)(F(x)−β)−1=QB(x)∗ZB(x) 。这个等式对 x 为群上的任意值都成立. 其中 QB(x) 为商多项式, ZB(x)=∏j(x−ωj) 为消失多项式
-
prover 发送
a. B(x) 的承诺 [B(x)]1
b. QB(x) 的承诺 [QB(x)]1
c. F(x) 的承诺 [F(x)]1
-
verifier 自行计算 ZB(x) 的承诺 [ZB(x)]2 ,然后通过椭圆曲线的 pairing 进行验证: e([F(x)]2,[B(x)]1)=e([1]2,[B(x)]1∗β+[1]1)∗e([ZB(x)]2,[QB(x)]1)
注意: paper 中的验证对计算过程进行了一定的优化,我们这里为了叙述方便,没有使用和 paper 中一样的验证方式,不过核心原理是一样的, 都是通过 pairing 进行 KZG 验证。
Sumcheck
接下来我们要验证 sum 成立: ∑iai=∑jbj
前面证明了左右两边每一项都是正确的,那下面需要证明左右两边的加和是正确的,也就是需要彼此相等. 证明的方法是 sumcheck。可以利用这样一个引理来证明:
a∈H∑f(a)=t⋅f(0)
其中:
-
H 为乘法子群: H={1,ω,ω2,...,ωt−2,ωt−1} , t 是 H 中元素的个数, t=∣H∣ , ω 是单位根
-
f(x) 为一个多项式,
f(x)=f0+f1x+f2x2+...+ft−2xt−2+ft−1xt−1
让我们来分解一下计算过程,将 a 取 H 中的值带入 f(x) 可得:
a∈H∑f(a)=f(1)+f(ω)+f(ω2)+...++f(ωt−1)=f0+f1+f2+...+ft−2+ft−1+f0+f1ω+f2ω2+...+ft−2ωt−2+ft−1ωt−1+f0+f1(ω2)+f2(ω2)2+...+ft−2(ω2)t−2+ft−1(ω2)t−1...+f0+f1(ωt−2)+f2(ωt−2)2+...+ft−2(ωt−2)t−2+ft−1(ωt−2)t−1+f0+f1(ωt−1)+f2(ωt−1)2+...+ft−2(ωt−1)t−2+ft−1(ωt−1)t−1=t⋅f0+f1i∈t∑(ω)i+f2i∈t∑(ω2)i+...+ft−2i∈t∑(ωt−2)i+ft−1i∈t∑(ωt−1)i
上面公式中,除了第一项,后面的 t−1 项每个 sum 都为 0。这是因为,每个 ωi 都是有限域上乘法子群中的元素,而乘法子群中每个元素都可以作为乘法子群的生成元,也就说明后面的 t−1 项的每个 sum 都是乘法子群中所有元素的 sum 。
有限域上的乘法子群与复数域上的单位圆结构类似。在单位圆上:
因此所有单位圆的元素 sum 等于 0。
因为要使用 FFT(Fast Fourier Transform)做多项式的插值,所以要求乘法子群的元素个数是 2 的幂次个。在乘法子群中,每个元素也有对称的点,对于拥有 t 个元素的乘法子群 H : Hi+Hi+t/2=0 ,这两个对称的点相加等于 0,所以乘法子群所有元素的 sum 也等于 0。这就是为什么后面的 t−1 项每个 sum 都为 0:
i∈t∑(ω)i=0i∈t∑(ω2)i=0...i∈t∑(ωt−2)i=0i∈t∑(ωt−1)i=0
所以:
a∈H∑f(a)=t⋅f0+f1i∈t∑(ω)i+f2i∈t∑(ω2)i+...+ft−2i∈t∑(ωt−2)i+ft−1i∈t∑(ωt−1)i=t⋅f0+f1⋅0+f2⋅0+...+ft−2⋅0+ft−1⋅0=t⋅f0
所以:
∑x∈HtA(x)=∣t∣⋅A(0)
∑x∈HfB(x)=∣f∣⋅B(0)
我们只需要验证下面的关系是否成立:
∣t∣⋅A(0)=?∣f∣⋅B(0)
最终,我们通过这三个证明就完成了 CQ 要证明的 lookup。
致谢
-
Guo Yu
-
Yu-Ming Hsu
-
Jing-Jie Wang
-
Paul Yu
-
Even Lu
参考
撰文:@harryx1x1
编辑:@ziyinlox
-
PSE Acceleration Program: https://github.com/privacy-scaling-explorations/acceleration-program
-
pylookup: https://github.com/luckyyang/pylookup/tree/cq_fk/src/cq
-
Multivariate lookups based on logarithmic derivatives: https://eprint.iacr.org/2022/1530.pdf