知识证明的非互动性(zk snarks)与零知识范围证明(zkrp)的区别

Question

零知识不交互知识证明(zk snarks)与零知识范围证明(zkrp)的区别是什么？

Answer 1

英关于ZKRP的论文给出了一个非常好的解释：

ZK-SNARKS，是一种ZKP变体，不需要验证者和验证者之间的交互.Zcash最吸引人的例子是它在Zcash 8中的应用。此外，SNARKS大都会将介绍ZK-SNARKS。这表明，ZK-SNARKS确实可以在实践中应用.ZK是通用的；它们可以验证任何与提供图灵-完整的EVM功能特别相关的功能，从而允许开发人员构建任何类型的逻辑。通用ZKP，如ZK-咆哮，然而，来了一个代价。它们的效率明显低于特定的零知识证明。...零知识范围证明(ZKRP)允许证明一个数字在一定范围内.

证明一个数字在一定范围内是一个更具体的ZKP解决方案，它可以更有效地实现(->气体使用)比一般的ZK-SNARKS。