了解零知识 (ZK) 证明的来龙去脉

零知识证明（ZK-proofs）今年在加密世界开始流行，但非密码学家和程序员可能会感到困惑。

尽管 ZK 证明看起来很复杂，但它却很复杂。它们允许证明者轻松地向验证者展示其知识，而无需共享细节。这不需要证明者讨论信息。

20 世纪 80 年代中期，很少有学者率先提出了这一想法。此后，它已成为可验证计算的现实机制，并为 Web3 环境奠定了框架，其中 ZK 证明更为重要。

区块链中的 ZK：其角色的变化

ZK 证明在区块链技术出现之前就已经存在于理论密码学中，但区块链的去中心化使它们变得更加可见和突出。本质上，区块链是一个公共分类账。无论交易如何，每个细节都会被记录下来并向公众公开。

区块链技术提供了透明度，但用户隐私是一个主要问题。

ZK 证明解决了区块链隐私与开放的冲突。它们在不发布交易信息的情况下提供交易验证，维护用户隐私和区块链不变性。

可验证的链下计算是区块链的一项关键进步，在过去十年中已成为 Web3 上 ZK 证明的突出用例。

尝试寻找可扩展性问题的解决方案

可验证的链下计算很重要，但首先，我们需要讨论智能合约的严格限制。从本质上讲，智能合约具有三个主要缺点：

• 智能合约可以获得的某些类型的信息是有限的。例如，他们无法获取有关代币价格或未保存在区块链上的任何其他信息。

• 区块链存储数据的能力：区块链并不是用来保存大量数据的。将其付诸实施将非常昂贵并且需要大量时间。

• 他们可以做的思考是：如果智能合约不需要支付天价的天然气费用，那么它只能使用最基本的条件逻辑形式。

  
  

必须解决这些问题，区块链才能扩展以满足 Web3 生态系统的需求。值得庆幸的是，ZK 与 Web3 一起成长。

我们可以通过从区块链上卸载一些数据和计算劳动来优雅地解决网络有限的存储和计算问题。

随着链下活动可以执行并且可以使用 ZK 证明将链下操作的简短且可信的摘要传递到主链而无需共享所有底层数据，区块链技术已经发生了变化。让我们来看看这个领域不断发展的协议。

ZK 的下一代整体

尽管去中心化存储和 ZK-rollups 上的 ZK 证明扩展了区块链的可能性，但仍然缺少一些重要的东西。去中心化存储的可能性比看上去的要多。

数据存储至关重要，但这些平台除了数据检索（而不是“计算”）之外无法执行更多操作，限制了它们的适用性。 ZK-rollups 可以执行多个计算作业，但也无法缩小差距。