向量承诺的简洁证明

  • RareSkills
  • 发布于 2024-10-31 12:33
  • 阅读 224

文章介绍了如何在不发送整个向量的情况下,证明已知 Pedersen 向量承诺的开启,并详细描述了算法的实现和安全问题。

如果我们有一个 Pedersen 向量承诺 AA,它包含对向量 a\mathbf{a} 的承诺,形式为 A=a1G1+a2G2++anGnA = a_1G_1 + a_2G_2+\dots + a_nG_n,我们可以通过将 a\mathbf{a} 发送给验证者来证明我们知道承诺的开启,验证者会检查 A=?a1G1++anGnA \stackrel{?}= a_1G_1 + \dots + a_nG_n。这要求将 nn 个元素发送给验证者(假设 a\mathbf{a} 的长度为 nn)。

在上一章中,我们展示了如何做到这一点而不泄露任何信息。本章中,我们展示了如何在发送少于 nn 个元素的情况下证明我们知道开启,但没有零知识属性。

动机

我们在此开发的技术将成为证明有效内积计算的重要构建块,证明的大小为 logn\log n,其中 nn 是向量的长度。

在上一章中,我们展示了如何证明我们正确执行内积,但不揭示向量或结果。但是,证明的大小是 O(n)\mathcal{O}(n),因为证明者发送 lu\mathbf{l}_uru\mathbf{r}_u 的步骤。

本文中的子例程将在减少证明大小方面发挥重要作用。本文章不是关注零知识,因为前面讨论的算法具有零知识属性。也就是说,lu\mathbf{l}_uru\mathbf{r}_u 本身并不保密,因此无须对其进行模糊化。

问题陈述

给定一个商定的基向量 G=[G1,,Gn]\mathbf{G}=[G_1,\dots,G_n],证明者向验证者提供一个 Pedersen 向量承诺 AA,其中 AA 是对 a\mathbf{a} 的非盲承诺,即 A=[a1,,an],[G1,,Gn]A = \langle[a_1,\dots,a_n],[G_1,\dots,G_n]\rangle,并希望证明他们知道承诺的开启,同时发送少于 nn 个项,即发送整个向量 [a1,,an][a_1,\dots,a_n]

一个小于 nn 的证明

缩小证明大小依赖于三个见解:

见解 1:内积 a,b\langle \mathbf{a},\mathbf{b}\rangle 是外积的对角线

我们将利用的第一个见解是内积是 外积 的对角线。换句话说,外积“包含”内积。在一维向量的上下文中,外积是通过将第一个一维向量中的每个元素与第二个向量中的每个其他元素相乘而形成的二维矩阵。例如:

a=[a1,a2], b=[b1,b2],  ab=(a1b1a1b2a2b1a2b2)\begin{align*} \mathbf{a}=[a_1, a_2],\space \mathbf{b}=[b_1, b_2], \end{align*} \space\space \mathbf{a} \otimes \mathbf{b} = \begin{pmatrix} \boxed{a_1 b_1} & a_1 b_2 \\ a_2 b_1 & \boxed{a_2 b_2} \\ \end{pmatrix}

这可能看起来像是朝错误的方向,因为外积需要 O(n2)\mathcal{O}(n^2) 的步骤来计算。然而,以下见解表明,有可能在 O(1)\mathcal{O}(1) 的时间内间接计算外积。

见解 2:外积的和等于原始向量的和的乘积

第二个观察是外积的项的和等于原始向量和的乘积。也就是说,

i=1naii=1nbi=ab\sum_{i=1}^{n} a_i\sum_{i=1}^{n} b_i=\sum\mathbf{a} \otimes \mathbf{b}

对于我们向量 [a1,a2][a_1,a_2][b1,b2][b_1,b_2] 的例子,这将成为

(a1+a2)(b1+b2)aibi=a1b1+a1b2+a2b1+a2b2ab\underbrace{(a_1 + a_2)(b_1 + b_2)}_{\sum a_i\sum b_i} = \underbrace{a_1b_1 + a_1b_2 + a_2b_1 + a_2b_2}_{\sum\mathbf{a} \otimes \mathbf{b}}

从图形上看,这可以想象成矩形的面积,边长为 (a1+a2)×(b1+b2)(a_1 + a_2) \times (b_1 + b_2)a1×b1+a1×b2+a2×b1+a2×b2a_1 \times b_1 + a_1 \times b_2 + a_2 \times b_1 + a_2 \times b_2 的“面积”相同。

a1+a2b1a1b1+a1b2+b2+a2b1+a2b2=a1a2b1a1b1a2b1b2a1b2a2b2\begin{array}{|c|cc|} \hline &a_1+a_2\\ \hline b_1&a_1b_1 + a_1b_2\\ +b_2& + a_2b_1 + a_2b_2\\ \hline \end{array}= \begin{array}{|c|c|c|} \hline &a_1&a_2\\ \hline b_1&a_1b_1&a_2b_1\\ \hline b_2&a_1b_2&a_2b_2\\ \hline \end{array}

在我们的例子中,向量 b\mathbf{b} 实际上是椭圆曲线点的基向量,所以我们可以说

(a1+a2)(G1+G2)=a1G1+a1G2+a2G1+a2G2(a_1 + a_2)(G_1 + G_2) = a_1G_1 + a_1G_2 + a_2G_1 + a_2G_2

注意我们的原始 Pedersen 承诺

A=[a1,a2],[G1,G2]=a1G1+a2G2A = \langle[a_1,a_2],[G_1,G_2]\rangle = a_1G_1 + a_2G_2

嵌入了外积的盒装项中:

(a1+a2)(G1+G2)=a1G1+a1G2+a2G1+a2G2(a_1 + a_2)(G_1 + G_2) = \boxed{a_1G_1} + a_1G_2 + a_2G_1 + \boxed{a_2G_2}

因此,通过将向量项的和相乘,我们也计算了外积的和。

由于内积是外积的对角线,因而我们已经 间接地 通过将向量项的和相乘来计算内积。为了证明我们知道内积,我们需要证明我们也知道外积中不属于内积的项。

对于长度为 2 的向量,我们可以将外积中不属于内积的部分称为 非对角线乘积

下面,我们将用 \square 标记构成非对角线乘积的项,用 \blacksquare 标记构成内积的项:

a1a2b1b2\begin{array}{|c|c|c|} \hline &a_1&a_2\\ \hline b_1&\blacksquare&\square\\ \hline b_2&\square&\blacksquare\\ \hline \end{array}

我们现在可以正式陈述我们将依赖的关系。如果 n=2n=2,则有: ab=a,b+offdiagonal(a,b)\sum\mathbf{a}\otimes\mathbf{b}=\langle\mathbf{a},\mathbf{b}\rangle+\mathsf{off\\_diagonal}(\mathbf{a},\mathbf{b})

如果其中一个向量是椭圆曲线点的向量(即使它们的离散对数未知),该关系也成立。

对于 n>2n > 2 的情况,证明内积的知识意味着证明者需要说服验证者他们知道下面紫色阴影区域的“面积”。

一个方阵,每个条目都有阴影,除了主对角线

n>2n > 2 时简洁地传达这一信息更为棘手,因此我们稍后会重新审视这一点。

n=2n = 2 的情况下,面积仅仅是非对角线部分。

见解 3:如果 n=1n = 1,则内积等于外积

一个重要的边缘案例是,当我们有一个长度为 1 的向量。在该情况下,证明者只需将验证者的 a\mathbf{a}(长度为 1)发送给验证者,而验证者只需将 a\mathbf{a} 的单个元素与 G\mathbf{G} 的单个元素相乘。

算法草图

我们现在可以为案例 n=2n=2 创建一个算法的初稿,以证明我们已经计算出 a\mathbf{a}G\mathbf{G} 的内积,这等价于展示我们知道承诺 AA

证明者与验证者之间的交互如下:

  1. 证明者将他们的承诺 A=a1G1+a2G2A = a_1G_1 + a_2G_2 发送给验证者。
  2. 证明者将 a\mathbf{a} 中的所有项相加,并将其发送为 a=a1+a2a’ = a_1 + a_2 给验证者(请注意,向量的分量求和是一个标量,因此对 a\mathbf{a} 的元素求和得出的标量为 aa’)。此外,证明者计算 aG\mathbf{a} \otimes \mathbf{G} 的非对角线项(即 R=a2G1R = a_2G_1L=a1G2L = a_1G_2),并将 LLRR 发送给验证者。

从图形上看,LLRR 可以如下所示:

a1a2G1RG2L\begin{array}{|c|c|c|} \hline &a_1&a_2\\ \hline G_1&&R\\ \hline G_2&L&\\ \hline \end{array}
  1. 验证者通过计算 aGa’G’ 间接计算 aG\mathbf{a} \otimes \mathbf{G},其中 G=G1+G2G’ = G_1 + G_2 并检查

aG外积和=A内积+L+R非对角线项\underbrace{a’G’}_\text{外积和} = \underbrace{A}_\text{内积} + \underbrace{L + R}_\text{非对角线项}

在展开形式中,上述等式为: (a1+a2)(G1+G2)外积=a1G1+a2G2内积+a1G2+a2G1非对角线项\underbrace{(a_1 + a_2)(G_1 + G_2)}_\text{外积} = \underbrace{a_1G_1 + a_2G_2}_\text{内积} + \underbrace{a_1G_2 + a_2G_1}_\text{非对角线项}

请注意,上述检查等价于之前的关系:

aG=a,G+offdiagonal(a,G)\sum\mathbf{a}\otimes\mathbf{G}=\langle\mathbf{a},\mathbf{G}\rangle+\mathsf{off\\_diagonal}(\mathbf{a},\mathbf{G})

安全漏洞:多个开启

然而,有一个安全问题——证明者可能会为同一承诺找到多个证明。例如,证明者可以随机选择 LL,然后计算

R=aG’–LR = a’G’ – L

为了防止这种情况,我们重用了我们讨论零知识乘法的类似思想——证明者必须在计算中包含验证者提供的随机性 uu。他们还必须在获取 uu 之前 提前 发送 LLRR,以便 LLRR 无法被“有利地”选择。

证明者必须单独发送 LLRR 而非发送它们的总和 L+RL + R 的原因是,因为证明者能够在没有限制的情况下在 LLRR 之间移动值。换句话说,因为

L+R=aGL + R = a’G’

证明者可以选择某个椭圆曲线点 SS,并计算出虚假的 LL’RR’

(L+S)L+(RS)R=aG\underbrace{(L + S)}_{L’} + \underbrace{(R – S)}_{R’} = a’G’

我们需要强制证明者将 LLRR 分开。

以下是更新后的算法,以修正这一漏洞:

  1. 证明者和验证者就基向量 [G1,G2][G_1, G_2] 达成一致,该基向量的点是随机选择的,并且它们的离散对数未知。

  2. 证明者计算并发送给验证者 (A,L,R)(A, L, R)

A=a1G1+a2G2// 我们正在证明其知识的向量承诺L=a1G2// 左对角线项 R=a2G1// 右对角线项\begin{align*} A &= a_1G_1 + a_2G_2 && \text{// 我们正在证明其知识的向量承诺}\\ L &= a_1G_2 && \text{// 左对角线项 }\\ R &= a_2G_1 && \text{// 右对角线项}\\ \end{align*}
  1. 验证者回复一个随机标量 uu

  2. 证明者计算并发送 aa’

a=a1+a2ua’ = a_1 + a_2u

  1. 现在持有 (A,L,R,a,u)(A, L, R, a’, u) 的验证者检查:

L+uA+u2R=?a(uG1+G2)L + u A + u^2R \stackrel{?}= a'(u G_1 + G_2)

从底层来看,这被写为: a1G2L+u(a1G1+a2G2)uA+a2uG1u2R=(a1+ua2)a(uG1+G2)\underbrace{a_1G_2}_L + \underbrace{u(a_1G_1 + a_2G_2)}_{uA} + \underbrace{a_2u G_1}_{u^2R} = \underbrace{(a_1 + u a_2)}_{a’}(u G_1 + G_2)

若证明者正确计算了 aa’LLRR,则此等式完全正确。

请注意,验证者将 uu 应用于 G2G_2,而证明者将 uu 应用于 a1a_1。这使得原始内积的项成为结果多项式的线性系数。

LLRR 之间用 u2u^2 分开,验证者控制,从而防止恶意证明者进行之前描述的攻击。换句话说,证明者不能将值从 RR 移动到 LL,因为他们移动的值必须按 u2u^2 缩放,但证明者必须在收到 uu 之前发送 LLRR

对算法的另一种解释:将 nn 的维度减半

验证者只进行一次乘法,即 $a...

剩余50%的内容订阅专栏后可查看

点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。
该文章收录于 零知识证明之书
16 订阅 29 篇文章

0 条评论

请先 登录 后评论