零知识证明（Zero-knowledge proofs ）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK 证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。

但 ZK 证明还有另一个令人兴奋的用例：扩展通用区块链。通过有效性证明，区块链节点可以在不存储详细信息或重放计算的情况下验证交易。这减少了确认时间并提高了网络吞吐量。

由于其可扩展性优势，ZK 证明已成为区块链扩展项目的核心基础设施，尤其是零知识汇总（zero-knowledge rollups）。ZK-SNARKs和ZK-STARKs是零知识证明的主要类型。作为一个全币种区块链浏览器，Tokenview同样支持了Horizen、Zcash等注重隐私的ZK-SNARKs类型的公链。本期文章就来一起学习一下什么是ZK-SNARKs？

什么是 ZK-SNARKs？

ZK-SNARKs 是一种在不暴露底层数据的情况下生成零知识证明来验证信息真实性的协议。首字母缩略词全称为：Zero-Knowledge Succinct Non-Interactive Argument of Knowledge。

ZK-SNARKs 协议涉及两方：证明者 (Alice) 和验证者 (Bob)。证明者（Alice）是提出声明的一方，而验证者（Bob）是负责验证声明的一方。

声明中引用的信息称为见证（witness）或秘密（secret）。证明者（Alice）使用 ZK-SNARK 机制产生证明，以向验证者（Bob）表明声明是真实的，而无需透露参考信息。

一个涉及 ZK-SNARKs 的假想示例是验证用户身份。个人可以在不透露个人信息ÿ