ZK 证明正在革新加密货币并膨胀自我。每个人都声称拥有唯一真正的证明系统，但应用程序才是重要的部分，证明现在成为了一种商品。 另外：如果一家公司的新 zk 证明以 'h' 或 'hyper' 开头，他们就抛弃了他们的旧神，转向了和检查。

求和检查是一种ZK方法，古老到没有人在Twitter上声称他们发明了它。 贾斯廷·泰勒（Justin Thaler）因指出它实际上是有用的而成名。他可能是对的……或者是在形成一个新的邪教。 但项目们转向求和检查，有时假装这是他们以前发明的神……

好吧，够了，不再用比喻了。 SNARKs 将程序表示为多项式。求和检查使用多变量多项式，例如，P(x,y) = x^2+2y。更令人困惑的是，“h”和“hyper”命名风格源于形成布尔超立方体的多项式。这是一种花哨的说法，表示每个变量是 0 或 1。

可以把它想象成计算机：计算机使用二进制而不是十进制，因为某些常见操作在逐位分解时比逐位分解更高效。 Sum-check 对程序进行类似的操作，以证明它们是满足的。

这种方法的一个优点，并不是仅限于 sum-check（参见例如折叠方案），就是流式处理。对于许多以 FFT 为主的/基于哈希的证明系统，您需要将您要证明的整个陈述放入内存中。对于小型内容来说，这很好，但很快就会达到笔记本电脑的极限。

这个限制使你只能使用大型服务器，所有人都必须将他们的数据发送到这些服务器进行证明。这并不是很符合 Zk 的理念。 它对于运行一个巨大的垃圾压缩机（呃，我是说，集中式汇总）是有用的，但在客户端隐私方面却失败了，而这正是市场目前关注的地方。

正如我所说，求和检查并不是唯一的流媒体方案。还有折叠。投入到所有这些 zk 方案中的艰苦工作也使它们成为了一种商品。选择你需要的，专注于应用。不要崇拜某个证明系统或团队。在内部，团队并不