## 什么是 Zk-Snarks?
零知识简洁非交互式知识论证(ZK-SNARK)是一种密码学,允许双方在不泄露实际数据的情况下证明某些信息的知识。它代表零知识简洁非交互式知识论证。换句话说,对于一方来说,这是一种有效的方式来证明他们知道某件事,而不必透露他们到底知道什么。 Zk-Snarks 最初由 MIT 和 IBM 的密码学家于 2006 年开发,从那时起,它作为一种在涉及比特币和以太坊等加密货币的交易过程中确保隐私的手段而变得越来越流行。
## Zk-Snark 如何工作?
ZK SNARK 的核心是在两方之间提供加密证明,该证明可用于验证有关特定数据或程序的陈述,而无需披露验证本身之外的任何其他信息。此过程首先是双方创建公钥/私钥对并通过开放通道交换它们。然后,私钥用于生成“零知识”证明,允许一方确认另一方知道某些事实,同时将这些事实隐藏起来。
该验证过程背后的基础数学涉及使用椭圆曲线密码学与多项式承诺和零知识证明相结合来创建简洁的非交互式论证(SNARG)。这些工具允许交易中的所有参与者(包括矿工、节点、钱包)独立验证彼此关于其持有或行为的声明,而无需访问超出以太坊或比特币等区块链网络中成功执行严格要求的任何敏感信息或数据。现金。
## 使用 Zk Snarks 的优点和缺点?
使用 zk snarks 的主要好处是,它为用户在以太坊或比特币现金等区块链上进行加密货币交易时提供了更大的隐私,因为除了这些网络共识规则集中最初商定的内容之外,不需要透露有关其交易的额外细节。此外,由于其高度优化的使用算法,这些协议还大大减少了验证智能合约所需的计算能力;这使得它们比传统方法更适合处理涉及多个利益相关者的大规模 dApp。然而,zksnark 技术的一个潜在缺点是其复杂性;鉴于其复杂的内部工作原理,许多开发人员可能会发现很难理解工作原理,尽管它是在同行之间构建不信任系统的非常有用的工具。