什么是 Zk-SNARKS？

Zk-SNARKs 代表“零知识简洁非交互式知识论证”。它是零知识密码学的一种形式，可以证明拥有信息（例如私钥），而无需透露该信息，也不需要证明者和验证者之间的交互，从而确保用户的隐私。

“零知识”是指一方（“证明者”）能够向另一方（“验证者”）证明秘密参数（“见证者”）的知识，而无需向验证者或其他任何人透露见证者，除了见证者已验证。

“简洁”意味着零知识证明可以在几毫秒内得到验证，因为证明仅由几百个字节组成。 “非交互式”是指证明者只需向验证者发送一条消息。 “论证”是用来表示这些证明的术语，“知识”是指证明者拥有的秘密参数。

在区块链中进行交互时，用户可能必须证明满足某些条件才能完成交易。例如，他们需要证明自己有足够的资金来完成交易，但又不能透露钱包里有多少钱的信息。

当在区块链中证明一个人的身份时，Zk-SNARK 也很有用。例如，如果B想要验证A的身份，他们可以向A发送一条秘密消息而不告诉他们消息是什么，并要求A使用他们的私钥来解码该消息。然后 A 可以将消息发送回 B，证明其身份。

Zk-SNARKs 仅在区块链节点上记录交易的证明，保护发送者、接收者的身份以及与交易相关的其他详细信息。 Zcash 是第一个广泛使用的加密货币，它使用 zk-SNARK 来实现私密交易。