在zcash中是如何工作的？

Question

对于一个公共的单向函数f()，我们可以用零证明来证明我知道一些秘密x，使得x的输出是一个特定的数字y。

但是，在some中，我需要证明我有一些秘密x，那么cm是x的承诺结果是Merkle中的一片叶子。在这里，cm不是一个特定的数字，它是秘密的。

我该如何证明这一说法？我不知道用ZK的电路结构和过程。

Answer 1

“使用ZK进行T处理”是将被证明的语句表示为一个R1CS系统，生成证明和验证公钥，生成和验证一个snark-证明。一个大型的非平凡的R1CS系统通常用高层次的“电路结构”的“小工具”来表示。

在https://eprint.iacr.org/2016/260.pdf上介绍了一种比较流行的算法/证明，并在libsnark中实现了该算法。在他们的“协议”文件中记录了特定的Zcash“电路”。