V神认为与区块链一样重要的 zk-SNARKs 是什么

近日，V神在黑山 EDCON 大会中表达出未来10年 zk-SNARKs 将与区块链一样重要的结论。那么信息君为大家简单解读什么是 zk-SNARKs？

 

SNARK 全称为(succinct non-interactive argument of knowledge)，即简洁非交互式知识论证。它是一种加密证明系统，允许一方(证明者)向另一方(验证者)证明某个陈述是真实的，而不泄露任何关于陈述本身的信息。换句话说，它可以在不泄露底层数据或计算的情况下验证权利要求。

 

“zk”属性意味着除了陈述是真实的事实之外，该证明没有揭示任何额外的信息。

 

“简洁”的性质表明证明是简短的，可以有效地验证。

 

“非交互”属性意味着证明可以由证明者提前生成，并且不需要证明者和验证者之间的来回通信。

 

zk- SNARK 通常用于区块链和隐私保护技术。它们允许创建私有和安全的交易，在不泄露发送方、接收方或交易金额的情况下，可以证明交易的有效性。这在公共区块链网络中实现了隐私，同时仍然确保了交易的完整性和正确性。

 

zk- SNARK 基于高级数学概念，如椭圆曲线密码学、基于配对的密码学和高级代数结构。它们涉及一个设置阶段，在此阶段生成一个公共引用字符串，然后证明者可以使用引用字符串为特定语句创建一个证明。验证者可以使用引用字符串和语句检查证明的有效性，而无需知道底层数据。

 

V神去年曾经表示，使用 ZK-SNARKs 可改善隐私和稳健性，将所有用户的存款放入默克尔树中，并使用 ZK-SNARK 来证明树中的所有余额都是非负的，将这些余额加总则为所声称的价值。

 

值得注意的是，虽然 zk- SNARK 提供了强大的隐私增强功能，但它们确实需要一个可信的设置阶段来生成初始引用字符串。如果这个设置被破坏，它可能会破坏系统的安全性。

 

然而，人们正在努力开发不需要可信设置的 zk-SNARKs，例如使用基于更有效的加密结构的零知识证明，如 zk-STARKs (零知识可扩展透明知识论证)。还有更多例子，欢迎大家在评论区探讨。

免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。