尽量最初打算写短一些，但此刻已经写了几十页了，不外这篇文章读起来险些不需要什么预备常识，而且你也可以随意跳过熟悉的部门。假如你不熟悉文中利用的某些数学标记也不需要担忧，文中将会对这些标记逐个举办先容。

zk-SNARK 这个术语自己是在 [Bit+11] 中引入的，它在[Gro10]的基本上，又遵循了匹诺曹协议[Gen+12; Par+13] 使其可以或许合用于通用的计较。

· 纳税而不透露收入

此刻我们来看一下由数学方程式暗示的多项式，它可以被画成坐标系上的一条曲线：

在任意的「零常识证明」系统中，都有一个 prover 在不泄漏任何特别信息的前提下要让 verifier 确信某些告诉（Statement）是正确的。譬喻 verifier 仅能知道 prover 的银行账户金额高出 X（也就是不披露实际金额）。协议该当满意下面三本

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。