原文作者：Fox Tech CEO 康水跃，Fox Tech 首席科学家 孟铉济
随着比特币、区块链、智能合约等概念的铺开，越来越多的人关注到Web3领域的蓬勃发展。而在技术方面，也有许多开发者关注到支撑区块链底层的密码学协议。在这之中，零知识证明协议以其独特的特性大放异彩，无论是在实现隐私保护，还是在实现 Layer 2 性能扩容的 zkrollup 项目当中，都发挥着关键的作用。
零知识证明是一类算法的统称，到目前为止，研究者发明了包括 Plonk、Groth 16、zkStark、Virgo、Orion、Foaks 等等在内的许多种协议。不同的协议适用于不同的计算场景，复杂度和效率也各有不同，例如 Foaks 就以线性的证明时间和较小的证明长度为优势。
上述的每一种协议，协议目标是相同的，就是证明者（Prover）希望在不向验证者（Verifier）透露任何关于自己的秘密的信息的情况下让验证者相信自己拥有秘密。sum-check protocol 是很多协议的组件，最早在[LFKN 92 ]当中被提出。很多计算问题可以被转化成 sum-check protocol 能处理的问题，从而生成证明。包括 Foaks 在内的不少协议的底层协议都基于 sum-check protocol，在其上进行调整来实现。
在 Fox Tech 所采用的 Foaks 证明系统当中，该协议同样发挥着重要的作用。具体来讲，为了实现对于某一操作码 opcode 正确性的证明，需要先将其转化为算术电路，之后转换为矩阵，最终生成多项式，对多项式应用证明系统当中的算法，在最后压缩证明的部分当中，同样将证明者（Prover）和验证者（Verifier）之间的交互过程转换为计算某个和式，也就是 sum-check protocol 的过程。
1.协议目标
协议的目标非常简单且容易理解。
假设我们有一个定义在有限域 F 上的 v 元多项式，记作 g。协议的目标是计算和式：
和在 zkRollup 当中考虑的“外包计算”的场景类似，在应用当中，上述式子的计算量会非常大，我们希望将这个式子的计算交给证明者（Prover），之后证明者向验证者（Verifier）证明自己的计算结果是正确的。
2. 协议假设
首先，需要明确在这个协议当中验证者的能力。我们假设验证者拥有可以计算函数 g 的预言（Oracle）。也就是说，对于验证者而言，确定某个输入 r 1, ... , rv 之后，计算 g(r 1, ... , rv)是容易的。但是计算完整的结果 H 是困难的。
事实上，在现实应用当中，预言（Oracle）不会存在，但是可以通过某种手段实现，例如我们可以让证明者帮助验证者计算这个值，并用更多的技巧附加正确性的证明。
第二点，关于协议的目标，事实上 sum-check 协议可以对于任意的集合 B 计算 bBmg(b)，但是不失一般性的，我们假设 B={ 0, 1 }。
Completeness: 若证明者拥有有效的 Witness，则验证者会以不低于（1-negl(n)）的概率接受证明；
Soundness： 若证明者没有有效的 Witness，则验证者会以低于 negl（n）的概率拒绝证明
Succinctness: Proof 的 Size 必须远小于 Witness 的 Size；
Zero-knowledge：验证者无法通过证明的交互过程获取任何关于 witness 的信息
#其中 negl（n）为任意可忽略的函数
Sum-check Protocol 的应用
在许多的零知识证明算法当中，sum-check protocol 都在发挥着重要的作用。许多问题的证明，都依赖于将原始的问题转化为 sum-check 的形式，再完成后续的步骤。
例如，可以利用 sum-check protocol 来计算一个无向图中的三角形数量。
首先，我们使用邻接矩阵 A 表示无向图 G，设 E 为其边集合，则 Ai, j= 1(i, j)E，也就是说若点 i, j 之间存在一条边则 Ai, j= 1 否则为 0 。对于点 i, j, k，三点构成三角形的条件是 Ai, j= 1, Ai, k= 1, Aj, k= 1 。
接下来记矩阵 A 为一映射表，表示的映射为 f:{ 0, 1 }log n{ 0, 1 }log n{ 0, 1 }，其中 logn 为 i，j 的二进制长度。所以对于点 i, j, k，三点构成三角形的条件进一步可以表示为 f(i, j)f(i, k)f(j, k)= 1 。
此外，在许多证明系统当中，都采用了 sum-check protocol 作为底层逻辑进行构造。下图展示了根据在 sum-check 基础上进行不同改造得到的不同证明系统。
图 4: Sum-check protocol 在四类证明系统当中的应用
图 5: Sum-check protocol 在简洁证明方面的具体应用
[LFKN 92 ] Carsten Lund, Lance Fortnow, Howard Karloff, and Noam Nisan. Algebraic methods for interactive proof systems. J. ACM, 39: 859 – 868, October 1992.
https://people.cs.georgetown.edu/jthaler/sumcheck.pdf
https://zkproof.org/2020/03/16/sum-checkprotocol/
https://eprint.iacr.org/2021/333.pdf
介绍 sum-check 的中文博客 https://blog.csdn.net/mutourend/article/details/111610754