Comment by @realzkmark • Hey

zk-SNARK代表“零知识简洁非交互式知识论证”。 零知识证明的目的是让验证者能够让自己相信证明者知道某个称作证词（witness）的秘密参数。这个秘密参数事先不暴露给验证者或任何其他人，而且这个参数满足某种关系。 更具体认为有一个用C表示的程序，它带2个参数：C(x, w)。输入x是`公共输入`，w是