以太坊联合创始人 Vitalik Buterin（V 神） 20 日在蒙特内哥罗举办的 EDCON 2023 大会上表示，未来 10 年， zk-SNARK 将与区块链一样重要。本文将以最白话的方式简单举例介绍什麽是 ZK 。
（前情提要：V神：以太坊3挑战「扩容、隐私和用户安全」，10年後zk-SNARKs与区块链一样重要）
（背景补充：V神《别让以太坊的共识超载》全文，贯彻区块链极简主义）
本文目录
ZK 这个词的热度自 2022 开始持续至今，在今年 3 月份结束的 ETH Denver 大会上， ZK 是开发者和投资者们交流中最高频的热词 。在前几天 5 月 19 日 – 23 日蒙特内哥罗举办的 EDCON 2023 大会上，以太坊共同创办人 Vitalik Buterin（V 神）表示，未来 10 年， zk-SNARK 将与区块链一样重要。
而关於 zk-SNARKs 的底层技术便是 ZK ，那你知道什麽是 ZK？主要拿来干什麽吗？不妨一起来看看。
ZK 是什麽
ZK 英文为 Zero Knowledge Proofs，简写为 ZK 或 ZKP，意为零知识证明，是密码学的一个分支，是一种证明方法，也可以称为技术。
零知识证明，从字面意思理解就是不需要过程就能证明结果。比如下面这个例子： 如何向色盲患者证明形状、大小相同的两个球的颜色是不同的？
让色盲小白猫在手里握住两个不同色的球，然後藏到背後随机交换两个球的位置，再展示给小黑猫看无数次，小黑猫如果每次都能精准猜到小白猫是否调换了两球位置，即可证明这两个球是不同色的。
因为瞎蒙一次可能是运气，但是 100 次、1000 次、10000 次都正确，那只能说明这两个球颜色是不一样的。
这就是零知识证明。
即通过零知识证明，一方能在不提供任何必要资讯的情况下，向另一方证明某件事，从而达到保护隐私的效果。
简单来说就是，证明者（Prover）说服验证者（Verifier）相信某些宣告是真的，但除了宣告是真的之外，验证者没有获得其他资讯。
ZK 主要解决哪些问题
ZK 最基本的两大特性：
1. 证明了自己想证明的事情，同时透露给验证者的资讯为「零」
2. 生成证明很费劲，验证证明很容易
基於这两大特性，我们很自然的发展出了两大类应用：
1. 隐私
关於隐私，就是在区块链上进行活动时尽量减少公开的资料量，比如提交交易资料时，只记录交易，但不用提交买卖双方资讯和具体数额等。比如 Zcash、之前被监管的 Tornado Cash 等。
2. 扩容
提到扩容，我们就不得不说以太坊 Layer2 扩容，在 Layer 2 扩容方案中，比较主流且受追捧的大约是 Optimistic Rollup 和 ZK-Rollup。
Optimistic Rollup 是目前 Layer 2 专案中生态最大的解决方案，之前提到的 Arbitrum 就采用此技术，而 ZK-Rollup 则被 V 神认为是解决扩容问题的最终方案。
看着 ZK-XXX 字样，即代表应用了零知识证明扩容解决方案。
现在发展的怎麽样
结合特性，零知识证明在区块链领域已经有了丰富的应用场景：
1. Layer 2 扩容： 零知识证明的可验证计算，允许 L1 将交易处理外包给链外高效能系统（也称为 Layer 2）。这使得区块链可以在不损害安全性的情况下进行扩容。
2. 隐私 L1： Aleo、Mina 和 Zcash 等 Layer1 公链允许交易者使用零知识证明隐藏传送者、接收者或金额。
3. 去中心化储存
4. 区块链压缩
但除此之外，零知识证明也可用於现实生活保护不同领域中的资料隐私权：
1. 金融： 如抵押贷款申请人可以证明他们的收入在可接受的范围内，而不透露他们的确切工资。
2. 线上投票： 零知识证明允许选民匿名投票，并验证他们的投票是否包含在最终计票中。
3. 身份验证： 零知识证明可用於对使用者进行身份验证，而无需交换密码等机密资讯。
4. 机器学习： 零知识证明可以让机器学习演算法的所有者说服其他人了解模型的结果，而无需透露关於模型本身的任何资讯。
小结
将零知识证明与区块链相结合，能很好的推动行业发展，而且由於零知识证明的特性，其实也能应用到现实生活中，比如医疗、保险等需要私密性强的领域。随着行业不断发展，零知识证明方案可能会获得更多个人使用者和企业的青睐。
📍相关报导📍
Ｖ神：别让以太坊共识超载，社群「硬分叉」风险用预言机、L2解决！
「以太坊圣山」就在台湾！V神大头照秘密破解
V神连线台北｜ETHTaipei破千位国际开发者参与，Vitalik描绘以太坊未来蓝图
