到底什么是零知识证明 (ZKP)？

你可能曾经听说过 ZK 证明或零知识证明。但为什么它会突然变成一个热词？它是什么？什么是 ZK-rollups? 什么是 ZK-SNARKS? 以上问题都会在本文中得到解答，抓紧了快上车！

什么是零知识证明 (Zero Knowledge Proof)？

零知识证明可以让一方 (证明方) 在不透露任何实际信息的情况下向另一方 (验证方) 证明某保密信息或声明是真的。

术语 “零知识“ 本身就表明了不需要揭露任何信息，证明方就可以向验证方证实 ta 所知道的保密信息以及 ta 的声明都是真的。

“比特币到底是什么”登上抖音热榜:抖音热榜数据显示，比特币到底是什么”登上抖音热榜，现排名第2位，当前热度值为857.6w。[2021/2/23 17:43:36]

那为什么需要零知识证明呢？当我们不想披露任何信息，但需要说服其他人相信我们知道的保密信息和提出的声明是真的时候。

目前有两种零知识证明：

1.交互式的 (Interactive)

2.非交互式的 (Non Interactive)

举例说明交互式的零知识证明

假设你需要通过 ZKP (零知识证明) 证明你的年龄大于或等于18岁，但不揭露具体年龄。我们需要第三方机构为你的年龄担保，具体如下：

声音 | 赵长鹏在推特发文：引发下一波牛市的到底是什么:赵长鹏发布推文问到：到底什么才是引发下一波牛市的关键事件呢？他同时表示自己并不知道答案，只是会经常在推特上跟大家讨论。孙宇晨则转发推文表示，下一波引爆牛市浪潮的将会是 DApp的爆发。[2018/12/8]

第三方说：”已接收您出生证明的复印件，我们已经得知您的年龄为 21 岁。现在为您提供一串数字密码，请将它保存到保密与安全的地方。稍后您会用到它。“

”你持有的那串数字密码将会被哈希算法处理 22 次，然后得出一个最终年龄哈希代码给你 (没错，处理次数必须为年龄 +1，才能使得整个操作行得通)。也就是说，你拿到那串数字密码之后，会有 22 次哈希处理过程才能获得最终的年龄哈希代码。“

声音 | John McAfee：不能肯定市场已到底部:John McAfee发推文称，现在已经上涨第二天了。不能肯定这是底部，但如果你要买东西，你就无法选择最美好的一天。[2018/11/30]

以太坊或出现签署交易不允许消息滚动到底部的问题:金色财经报道，据以太坊社区用户 /img/2022812181322/0.jpg" />

来源：Matter Labs 的 github 代码库

zk-STARK (zero-knowledge scalable transparent argument of knowledge) 代表零知识的可扩展、透明知识证明，zk-SNARK (zero-knowledge succinct non-interactive argument of knowledge) 代表零知识的简洁、非交互式知识证明。

这两种零知识技术都是非交互式的，这意味着代码可被部署且自动作用。

Zk-SNARKs 底层依靠椭圆曲线保证安全性。在密码学中，椭圆曲线在这样一个基本假设下运行：根据一个公开已知的基本点来找到一个随机椭圆曲线元素的离散对数是不可行的。也就是说，Zk-SNARKs 也需要信任设置。

信任设置是指密钥的初始创建事件，它会被用于生成隐私交易的证明以及验证那些证明。

如果用于创建信任设置的密钥的保密信息没有被销毁，那么这些保密信息可能会被利用通过虚假验证来伪造交易。

SNARKs 的另一个限制是，在前文中我们已经知道了：它们在后量子世界中的可行性。

?另一方面，在一个网络中开始使用 STARKs 的话，不需要信任设置。这些都可认为是抗量子的。虽然 STARK 的证明大小要比 SNARK 大得多。

但是 STARKs 现仍处于初期阶段，开发者们得不到太多支持，所以基于 ZK-STARK 的产品还需要一些时间才能成熟。

本文到这里就结束了。这只是一篇简短的关于 ZK 证明在 Web3 世界是怎样运作的介绍。

来源 | ravjot.hashnode.dev

作者 | Ravjot Singh

标签：ARKARKSNARSTARKark币行情ARKS价格MADinArtSTARK价格

币安app下载热门资讯