ZKP 在可持续性上有什么优势吗？

虽然没有研究数据的支持，但理论上，在区块链上本地使用递归零知识证明 (ZKP) 比常规的权益证明 (PoS) 和工作证明 (PoW) 共识机制更具可持续性。

例如，Mina 在区块链上原生使用递归 ZKP，因此它的大小保持在 ~11KB。传统区块链需要节点运营者使用耗能机器来验证数百 GB 的数据以运行节点，但 Mina 轻量而固定的大小允许用户通过各类消耗更少能量的常规计算机运行节点。当你将其与 PoS 系统结合使用时，你会得到一个非常环保的区块链。

关于递归 ZKP，无限可组合性意味着什么？

与 ZK 有关的递归就像一个循环的概念。它是指你对另一个证明的证明，对另一个证明（或同一证明）的证明，以此类推。

无限可组合性意味着你可以生成一个关于 zkApp 的某个部分的证明，并将该证明用于 zkApp 的另一部分以执行其他操作。例如，你可以生成一个证明，证明你控制某个具有特定属性的 Mina 账户，然后将其传递到智能合约的另一部分中，该部分将使用此信息在特定条件下允许资金转移。

递归往往更注重处理层面的效率，而可组合性则更注重你能用一个（或多个）所能实现的丰富程度和重复利用它们的能力。

在游戏方面，你希望看到什么样的 ZK 用例或应用？

完全可验证的隐私型扑克：如果你在线上玩扑克，有人可能会看到游戏的完整状态，或者运行服务器的人可能正在与身边的人交流以有效作弊。借助零知识证明，你可以构建完全可验证的隐私型扑克，以避免共享数据或类似的负面动态。

在最新一轮的 zkIgnite 中，有几个获得了资助的游戏类 zkApp 也非常有趣。

zkRollup 和 zk-zkRollup 有什么区别？

"zk-zkRollup"指的是对零知识证明（ZKP）进行另一层零知识证明。基本上是证明证明的正确性。这是一种增加匿名性的方式，也可以说是递归 SNARKS 的另一种说法，这也是 Mina 的核心。

有一个名为 Anomix 的 zkIgnite 项目正在做这件事，并且正在做更多的隐私链上操作。还有另一个获得资助的 zkIgnite 项目叫做 Noord，它是一个可扩展、模块化和可互操作的 zk-zkRollup。

利用 ZK 技术（例如 Mina 在区块链中所使用的）压缩信息是怎么做到的？

这种压缩是一种近似值，计算上是不可伪造的。类似于像SHA256 这样的加密哈希算法打破了鸽笼原理的做法。

ZK 技术是否只对像 rollup 这样的可扩展性有用？

这是一个普遍的误解。ZK 不仅与可扩展性有关，它还可以用于基础设施和应用级别的隐私和证明。

包括 rollup、桥接、轻客户端和状态通道在内的区块链等基础设施可能会使用 ZK 技术。然而，ZK 主要作为一种隐私加密原语是独一无二的，因为它可以在不泄露信息细节的情况下验证信息。Mina 上的 zkApp 利用这项技术将其隐私保护功能应用于现实世界的应用，例如在不泄漏你的社会安全号码的情况下证明你的信用评分。

零知识证明能证明什么？

近期 ZKP 技术的进展使得任意计算的证明成为可能。基本上，现代 ZKP 系统允许用户证明任何可以表达为程序的内容。但是还有一些注意事项。

由于这些系统所依赖的独特的加密假设，某些在实际硬件上高效的操作在零知识电路中可能效率不高。

添加 ZKP 可以实现全面的完全私密吗？

这是一个很好的想法，如果只需添加零知识证明就能使所有东西完全私密。但事实比较微妙。零知识证明在不泄露相关信息的情况下证明了计算，但仍然需要有人进行计算，并且该人必须知道相关信息。

最近有几个非常有趣的密码学分支引起了人们的关注。其中最流行的三个分支是零知识证明（计算证明）、同态加密（如果 A+B=C，则加密的 A + 加密的 B =加密的 C）和多方计算（将过程传播到多方，防止任何一方直接看到该过程）。这些技术各自都非常强大，但它们的结合使用可能会更加有效。例如，将零知识证明和同态加密结合使用可以实现强大的匿名投票。

零知识证明是一项前沿技术，正在迅速创新并被多个项目采用。Mina 协议是该领域的领先者，具有原生的 ZK 链和 ZK 智能合约层可用于应用程序。