什么是zk斯纳克(zk-snark)？

Zk-SNARK是一个缩写词，代表“零知识简洁的非交互知识论证”。Zk-SNARK是一种密码证明，允许一方证明它拥有某些信息，而不透露这些信息。这个证明可以使用在事务发生之前创建的密钥来实现。它被用作加密货币Zcash协议的一部分。

关键要点

• zksnark是一种用于加密的零知识证明协议，是“零知识-简洁的非交互知识论证”的缩写
• 这个证明最早是在20世纪80年代末开发和引入的，现在被加密货币Zcash用于解决比特币类型区块链的感知匿名问题。
• Zk SNARK证明依赖于一个初始的“信任系统”设置，该设置被批评为一个固有的安全缺陷。

了解zk snark

对于加密货币社区的许多原始成员来说，比特币社区隐私是加密货币的一个假定目标和特征。然而，考虑到加密货币需要创建一个“不可信任”的系统来保证电子货币和数字交易的完整性，隐私始终是一个二级问题。

在2010年代早期，比特币用户有时会认为他们的交易是匿名的，因为他们的离线身份与用户的公钥没有关联。但在这十年结束后，数据科学家、黑客和执法部门的协同努力证明，重新识别向多个来源提供假名数据的人不仅是可能的，而且相对容易。

由于一些原始加密货币（如比特币）被认为缺乏隐私，开发人员开始开发以隐私为中心的货币。其中最突出的是Zcash，由一种称为zksnarks的技术支持。

零知识证明

zk SNARK（“知识的零知识简洁非交互论证”）使用了一个被称为“零知识证明”的概念。这些证明背后的思想最早是在20世纪80年代发展起来的。简单地说，零知识证明是这样一种情况，即交易中的双方都能够相互验证他们拥有一组特定的信息，同时又不透露这些信息是什么。

对于大多数其他类型的证据，双方中至少有一方必须能够获得所有信息。传统的证明可以比作访问在线网络的密码。用户提交密码，网络本身检查密码的内容以验证密码是否正确。为了做到这一点，网络还必须能够访问密码的内容。

这种情况的零知识证明版本需要用户向网络演示（通过数学证明）他们拥有正确的密码，而不实际暴露密码本身。这种情况下的隐私和安全优势是显而易见的：如果网络中没有出于验证目的而存储的密码，密码就不能被窃取。

zk-SNARKS的数学基础是复杂的。尽管如此，这类证据使一方当事人不仅能够证明某一特定信息存在，而且能够证明有关当事人知道该信息。在Zcash的情况下，zk snark几乎可以立即被验证，并且协议不需要验证者和验证者之间的任何交互。

对zk snarks的批评

当然，还有一些与zk SNARKs相关的问题。例如，如果有人能够访问用于创建证明协议参数的私钥，他们就可以创建错误的证明，尽管在验证者看来是有效的。这将允许该人通过伪造过程创造新的Zcash代币。为了防止这种情况的发生，Zcash的设计使证明协议更加详细，并在多方展开。

虽然Zcash证明过程的构建是以这样一种方式完成的，即最大限度地减少通过虚**明伪造代币的可能性，但至少还有一个问题与加密货币有关。创建Zcash时，对代币最初几年创建的所有区块征收20%的“税”。这种税被称为“创始人税”，用于补偿加密货币的开发者。

批评人士认为，创始人可能会利用系统的这一方面创造出无限数量的Zcash代币，而其他人却不知道这些代币的存在。因此，目前还不完全可能知道Zcash代币的确切数量。

自2019年以来，一些开发人员一直致力于通过删除可信设置来改进zk snark。一个名为Suterusu的团队开发了一个名为zK ConSNARK的系统，该系统声称在没有可信设置的情况下是可操作的，可以为比特币等主流区块链提供隐私保护，并且对于任何现存的加密货币来说通胀率最低。