区块链中什么是零知识证明（Zero Knowledge Proof, ZKP）？

什么是零知识证明(Zero Knowledge Proof, ZKP)?ZKP意味着A可以向B证明，他知道特定的信息，而不必告诉对方自己具体知道些什么。在这个例子中，A是证明者，B是验证者。在密码学中，这尤为有用，因为这将为证明者提供一层额外的隐私保护。

运行一个ZKP，要满足以下这些参数：

完整性：如果陈述属实，那么诚实的验证者能被诚实的证明者说服。

可靠性：如果证明者不诚实，他们无法通过说谎来说服验证者相信陈述是可靠的。

零知识：如果陈述属实，那么验证者无法得知陈述的内容是什么。

举一个零知识证明的例子。让我们观察一下阿里巴巴洞穴是如何运作的。在这个例子中，证明者(P)对验证者(V)说，他知道洞穴后面暗门的密码，并提出在不向验证者透露密码的情况下证明此事。那么，其验证过程如下图所示：

-Image courtesy: Scott Twombly (YouTube channel)-

证明者可以走路径A或者路径B，假设他们一开始决定通过路径A到达暗门。同时，验证者V来到入口，他对证明者选择哪条路径并不知情，并宣称他们希望见到证明者在路径B出现。

如图所示，证明者确实出现在路径B上，但万一这仅是巧合呢?也有可能是证明者凭运气在出发时选择了路径B，却因不知道密码被困在了门口。

所以，我们需要通过多次试验来确定测试的有效性。如果证明者每次都能出现在正确的路径上，那么证明者的确可以在不向验证者透露密码的情况下，证明自己知道密码。

区块链中的零知识证明是如何应用的?

许多基于区块链的技术都在使用Zk-Snarks。事实上，以太坊在大都会阶段就计划引入Zk-Snarks，并且将其加入以太坊的功能库。Zk-Snarks是“零知识简洁无交互知识认证”的简称，是一种在无需泄露数据本身情况下证明某些数据运算的一种零知识证明。

以上内容可用来生成一个证明，通过对每笔交易创建一个简单的快照来验证其有效性。这足以向信息接收方证明交易的有效性，而无需泄露交易的实质内容。

这就实现了以下两种情况：

实现了交易的完整性和隐私性。

实现了系统的抽象性。由于无需展示整个交易内部的工作方式，因此系统非常易用。 因此，以上就是区块链使用的一些重要的加密函数。现在，让我们观察其第二个支柱，经济学。

什么是零知识证明（ZKP）？

ZKP零知识证明是为了在区块肆羡皮链分布式账本结构上，创造一种新的解决方案，让交易以及信息一派兆切透明的区块链，能达到交易保密与交易验证的目的。FINTOCH便是使用裂差此技术，来打造监管节点的匿名性。你也可以百度下。

什么是零知识证明

密码学中讲的zero-knowledge proof，在不让对方获知任何资讯的情况下证明一件事，实例是身份辨别。或是用演化计算(Evolutionary Computation）产生判断下棋残局的程式，演化计算的”产物”，通常是人类无法读懂的程式（演算法），若我们能经由实验和机率分析得知这个程式以极低的机率（可能比陨石击中你家还低）完全答对残局的结果，那我们确实可以相信这个程式有能力判断残局，就可以在无法理解却信任的情况下使用它。 据个人理解、通闷伏俗点说（个人说法）： 在没有足够（甚至是根本没有）依据的情况下羡仿，猜出一个事件(密码反译）的计算方法，虽然是没有任何依据的猜，但是这个猜出的计算法方被证明是正兄罩纤确的，这就是零知识证明。

什么是ZK-Rollup（零知识汇总）？

ZK-Rollup（零知识汇总）基于zero-knowledge proof（零知识证明），在发往主链的交易包里包含了一个对应的零知识证明，主链上的rollup（汇总）智能合约只需验证这个零知识证明。这个零知识证明不会透露任何交易细节，但能通过与智能合约不断交互，证明上链的所有数据的有效性和真实性。液如优点：l高度的去中心化l隐私性好：零知识证明不会透露任何交易细节l上链效率高：一次性提交多笔操作的结果，节约时间和gas feel验证效率高：无需等待期，快速完成资产取出动作l安全性极高：zk技术保证了提交给主链的数据真实有效，同时主链可随时还原侧链空让发生的交易细节（即拥有主链的数据可用性），因此拥有以太坊级别的安全性缺点：l技术开发难度大l难兼容不同智能合约l需要大量运算代表项目：l路印：成熟的zk技术运用，获得4500万美元私募，当前市值超8亿美元lZKSync：旨在为以太坊带来 Visa 级别、每秒数千笔交易的吞吐量链乔教育在线旗下学硕创新区块链技术工作站是中国教育部学校规划建设发展中心开展的“智慧学习工场2020-学硕创新工作站 ”唯一获准的“区块链技术专业”试点工作站。专业站立足为学生提供多样化成长路径，推进专业学位研究生斗埋局产学研结合培养模式改革，构建应用型、复合型人才培养体系。