让我们来解释一下ZK： 📚 ZK代表零知识，它解锁了两个超级能力：隐私和扩展性。 ZK对我来说意义重大，既是ZK-STARKs的共同发明人，也是两个ZK项目的共同创始人：@Zcash（专注于隐私）和@StarkWareLtd（专注于扩展性，现在也关注隐私）

@Zcash @StarkWareLtd ZK是如何工作的？ 有两种类型的实体：证明者和验证者 证明者承担了繁重的工作： - 注册所有交易的数据 - 处理数据 - 更新系统的状态（即所有交易后的余额） - 生成状态更新和证明

@Zcash @StarkWareLtd 一个典型的证明者声明说："我，证明者，从状态 A 开始，处理了 1,000,000 个交易，并基于这些，达到了状态 B"。 证明是一个数字和哈希的序列，可以检查以证明整个声明的完整性。

@Zcash @StarkWareLtd 验证者（通常位于链上）检查证明，使用数学和密码学来验证声明在被接受之前是否为真。 我们多年来证明的定理表明，验证者总是接受真实的声明，而从不接受虚假的声明。

@Zcash @StarkWareLtd 一个恶意的证明者如果试图说服验证者接受一个虚假的陈述，必须进行与在加密哈希函数中找到碰撞相似的工作，而这在我们的太阳冷却之前是无法完成的。

@Zcash @StarkWareLtd 为什么ZK对隐私有好处？ 验证者并不通过处理其证明的数据来检查声明的正确性。这就是为什么数据可以在保持对验证者隐藏的情况下被验证为有效。

@Zcash @StarkWareLtd 为什么 ZK 对扩展性有好处？ 验证者不需要重新进行证明者所做的计算。 证明者可以处理 100 万笔交易，但验证者不需要重复这些交易以验证其正确性。检查证明就足够确保它们的有效性。