自在 Zerocoin 和 Zerocash 中首次实施以来，零知识证明 (ZKP) 在加密货币的背景下有着特别重要的历史。 自在Zerocoin 和 Zerocash中首次实施以来，零知识证明 (ZKP) 在加密货币的背景下有着特别重要的历史 。虽然早期的实现针对的是一般隐私，但 ZKP 只是现在才开始被用于许多其他强大的功能，而不仅仅是混淆。例如，zkRollups 在以太坊上实现了更高的交易吞吐量，并且正在使用诸如 Halo 之类的递归证明结构来创建压缩区块链。Proof-of-Necessary Work等提议 利用 zkSNARK 的功能在网络的共识层提供安全性，并通过 Zexe 等结构，ZKP 支持链下计算甚至全新的编程模型。 零知识证明通常被称为单体，但重要的是要记住有许多不同类型的 ZKP。严格来说，ZKP 方案是一种提供“零知识”属性的方案，其中证明的验证者对被证明的陈述背后的事实一无所知。ZKP 可以是交互式的，验证者直接与证明者交互，也可以是非交互式的，证明者可以独立生成证明。有几类满足该标准的非交互式 ZKP，包括：非交互式零知识论证 (NIZK)简洁的非...