ARK:到底什么是零知识证明 (ZKP)？_Roller Inu

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

什么是零知识证明(ZeroKnowledgeProof)？

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

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

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

目前有两种零知识证明：

1.交互式的(Interactive)

2.非交互式的(NonInteractive)

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

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

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

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

苹果CEO库克：我还不确定普通人能说清楚元宇宙到底是什么:金色财经报道，最近苹果首席执行官蒂姆 · 库克（Tim Cook）在接受采访时表示，我还不确定普通人能说清楚元宇宙到底是什么。在谈到 Facebook 的 \"元宇宙 \" 时，库克表示，人们对产品的理解非常重要。我真的不确定普通人能告诉你到底什么是元宇宙，他补充道。元宇宙这个词出现在 Facebook 创立之前，最早出现在 1992 年的科幻小说《雪崩》 ( Snow Crash ) 中，但 Facebook 显然已经全盘接纳了这个词，甚至把公司更名为 Meta。[2022/10/2 18:37:39]

“我们将您的姓名、时间戳与最终年龄哈希代码一起打包。这个证明包将提供给他人验证。“

好了，那么当你想要向其他人证明你的年龄超过18岁时，你只需要证明从你拿到数字密码到最终年龄哈希代码之间的哈希算法处理次数大于18就可以了。

那么怎么证明呢？你只需要向他人展示最后的18次哈希算法处理记录。你需要自己进行前4次哈希算法处理(对数字密码进行哈希算法处理4次)，然后将结果提供给其他人：第四次哈希值。

他们会对第四次哈希值再处理18次(现在对你的数字密码总共进行了22次哈希算法处理)，最终他们能够得出最终年龄哈希代码并且使用证明包对它进行验证。

实际上，验证者是在说："发送我们一个值，我们会对其进行18次哈希算法处理，然后这个哈希值将与你提供的年龄哈希代码进行对比。"如果你低于18岁，最终年龄哈希代码的哈希算法处理次数就没有18次，我们对你提供的那个初始哈希值进行18次哈希算法处理后，就会与最终年龄哈希代码不一样。

对话链上ChainUP江南：99%的交易所技术服务新选择——WaaS联盟到底是什么？:随着Filecoin的主网上线在即，链上云平台率先支持FIL/USDT币对，并同步上线300多家交易所。上线一周，各大二线交易所的Filecoin币对及其期货交易量都十分惊人，是什么能让链上云如此敏锐的把握市场动向？

随后，LINK大热，同期链上云推出LINK3L期货，再次带动市场，掀起一波高潮。这背后又是怎样强大的系统能够支撑如此庞大，而且还能快速跟上热门主链和币种开发的服务？

专注优质项目，抢滩优质资产，是什么让链上ChainUP成为区块链行业最受信任和青睐的交易系统服务商？

7月23日晚20:00，链上ChainUP市场部合伙人江南将做客金色微访谈，带你看链上ChainUP在技术服务赛道的乘风破浪。[2020/7/23]

这里是另一个绝佳例子?

《一个很棒的零知识证明例子》-MathOverflow

https://mathoverflow.net/questions/22624/example-of-a-good-zero-knowledge-proof

?但是这种交互式方法有一些局限：

1.每次验证都需要进行整个冗长的过程。而上述例子只是简单的哈希算法处理，想象一下如果需要对实际加密算法进行计算会如何。

2.证明方与验证方都需要同时在场，不管是在线还是面对面。

动态 | “区块链到底是啥”登上百度搜索风云榜实时热点第二名:“区块链到底是啥 ”登上百度搜索风云榜，现以5336640的搜索热度排名第二位。[2019/10/29]

接下来是非交互式的零知识证明

1986年，Fiat与Shamir发明了Fiat-Shamirheuristic(启发式)算法，这是第一个基于交互式零知识证明来构建数字签名的算法。

Fiat-Shamirheuristic算法通过使用承诺方案(CommitmentScheme)可变为非交互式零知识证明。这就是所谓的ZK-SNARKs，也可以称为简洁的非交互式零知识证明(Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge)。

要使Fiat-ShamirHeuristic算法更加强大，需要使用承诺(commitment)。承诺方案在许多加密协议中都是基本组成部分。承诺方案允许承诺者发布一个值(即承诺)，然后将它们绑定到某消息上而不披露它们(隐藏)。

Pederson承诺与Polynomial承诺是ZK证明使用的两个最著名承诺方案。

但大约到2013年，ZK-SNARKs才实际可行和实现，并真正用于应用中。

我推荐你们阅读VitalikButerin写的?一篇解释zk-SNARKs如何可行的概论，这篇文章写得很棒，解释了ZK-SNARKs是如何实现的。只阅读一遍可能还不能理解整篇文章。多阅读3、4次，一旦你了解了ZK-SNARKs的原理，你会激动到全身起鸡皮疙瘩。

声音 | Tetras Capital联合创始人：去年以700美元卖空ETH 不相信BTC已经到底:据Newsbtc报道，总部位于纽约市的加密货币对冲基金Tetras Capital的创始合伙人Alex Sunnarborg近日接受福布斯采访时透露了其公司的投资策略。他表示，其公司在去年5月以700美元的价格卖空以太坊，完成了去年利润最高的一笔交易。当被问及比特币是否已经触底这个关键问题时，Sunnarborg回答说，我不这么认为，我觉得现在说这种话还为时过早，但这也是我非常感谢我们现在所处的位置的原因。我们可以对冲风险，保持中立，而不必预测准确的价格或时间底部。我现在对比特币还没有足够的信息。[2019/2/21]

?跟AI与Web3一样，我们似乎无法避免后量子世界到来，因此我们需要确保为ZK-SNARKs选择使用的加密函数不能被量子计算机暴力破解。这就是为什么我们还需要改进，以保证后量子安全性。

如果想要了解更多信息，可以观看由ACM发布的谈话?

提高非交互式零知识证明在后量子签名中的应用

https://www.youtube.com/watch?v=V0FfpVQzajk

现在终于明白ZK证明是什么了，但是它们应用到什么地方呢?？

在概念上它们有两个主要用例：

扩容区块链交易

个人数据隐私保护，例如在医疗卫生领域

金色相对论?|?王磊：目前熊市还没到底:本期金色相对论中，在关于“熊市过冬，靠什么？”这一问题上，新元区块链高级副总裁王磊表示：从纯粹K线技术层面分析，这两周算是正式进入熊市了，但平移比较古典VC对一个项目的估值逻辑，区块链还没到真正熊的时候。个人判断，目前市场还没有到底。熊市会对整个产业产生影响，从代写白皮书到公链开发，从挖矿到投资，从乙方到甲方。已经募到币的在挤兑变现，没有募到币的只能勒紧裤腰带开源节流了。整体而言，熊市是好事，让该归零的归零，洗掉大量不合格选手才有可能让这个赛道更有竞争力。在监管缺位的情况下，市场之手其实是无形的监管。[2018/8/17]

区块链扩容-ZKRollups

Rollup是一种扩容解决方案，在L1外执行交易，但在L1上发布交易数据。这种工作办法可以让rollup对网络进行扩容，但依然受到以太坊共识的安全保护。

将计算转移到链下进行，实际上可以处理更多交易。因为只需要将rollup交易的一些数据放进以太坊区块中。

要做到这一点，rollup交易在另一条链上执行，而这条链甚至可以运行一个rollup特定版本的EVM。

执行完rollup上的交易后，下一步是将这些交易打包成一个batch，然后发布到以太坊主链上。

整个过程基本是执行交易、提取数据、压缩，将其rollup到一个个batch中然后发到主链上，因而得名——”rollup“。

以太坊怎样得知这些数据是有效的、而不是由恶意份子出于牟利目的而提交的呢?？

每个rollup都会在L1部署一组智能合约，来负责处理存款、取款交易以及验证证明。

证明也是主要区分不同类型rollups的因素。

Optimisticrollups使用欺诈证明。与之相对，ZKrollups采用有效性证明。

在ZKrollups中，发布到L1的每个batch包含一个叫做ZK-SNARK的加密证明。当提交交易batch至L1之后，L1上的合约可以快速验证ZK-SNARK证明，无效的batch会被直接拒绝。

关于ZK与Optimisticrollups还有很多其他内容，比如它们的实现方法和限制。在这里我只是简短地介绍了一下它们的概念。

许多项目都在开发基于ZKrollups的以太坊扩容方案。一些比较知名的项目有dYdX、Loopring、PolygonMiden、PolygonHermez等等。

隐私——日常生活应用

假设有两个公司A和B想要使用区块链作为运行与通信的媒介。

A向B转移资产。并且他们想让这笔交易只有他们双方知道。没错，区块链会带来透明度、互操作性、数据安全性、完整性还有其他优点，但是公司怎么会想让内部运行信息在公众面前显示呢？零知识证明就是最佳选择。

比如你想隐私地给你的海外朋友转账，你会怎么做呢？选择零知识证明。

ZK证明还可以在医疗健康、保险、电子投票、身份管理等领域产生深远影响。

在医疗健康方面，ZK证明可以保证DNA数据、个人信息、医疗报告、基本病史信息、药物溯源、临床试验、医疗健康供应链、器官移植的隐私安全。

在保险方面，ZK证明可以保证保险单和保险凭证数字信息、个人信息、车辆信息、理赔信息的隐私安全。

使用区块链与ZKP的身份管理具有深刻意义。每个关联KYC(了解你的客户)的应用、学校、大学、支付软件都要询问我们的ID图像，例如驾照、护照、投票ID、国家ID。我们敏感的个人数据就这样给他们了，我们甚至都没有意识到这一点。通过ZKP，我们可以保证以上所有ID信息的隐私安全，只需透露必要信息给供应商、应用与官方即可。实际上，使用ZKP我们可以完全改进这些ID的发行方式。

我们可以使用ZK证明对这些信息进行加密处理。当需要给到一些信息时，用户授权并提供所需信息，而其他详细资料可以保持隐藏。

这些都是在2013年后，ZK-SNARKs在实际应用上足够有效率才开始被开发者使用。这也是为什么未来出现的ZKP应用会有很多发展空间。

2016年上线的Zcash是一个成功应用ZK-SNARKs的重要产品，为用户提供隐私交易功能。

最普遍的几种zkp系统的对比

来源：MatterLabs的github代码库

zk-STARK(zero-knowledgescalabletransparentargumentofknowledge)代表零知识的可扩展、透明知识证明，zk-SNARK(zero-knowledgesuccinctnon-interactiveargumentofknowledge)代表零知识的简洁、非交互式知识证明。

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

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

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

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

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

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

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

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

来源|ravjot.hashnode.dev

作者|RavjotSingh

标签：ARKNARROLLROLSTARPARKMADinArtRoller InuHydroLink

SOL热门资讯