以太坊支持零知识证明吗

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

ZK-Rollup（零知识汇总）基于zero-knowledge proof（零知识证明），在发往主链的交易包里包含了一个对应的零知识证明，主链上的rollup（汇总）智能合约只需验证这个零知识证明。

这个零知识证明不会透露任何交易细节，但能通过与智能合约不断交互，证明上链的所有数据的有效性和真实性。

优点：

l高度的去中心化

l隐私性好：零知识证明不会透露任何交易细节

l上链效率高：一次性提交多笔操作的结果，节约时间和gas fee

l验证效率高：无需等待期，快速完成资产取出动作

l安全性极高：zk技术保证了提交给主链的数据真实有效，同时主链可随时还原侧链发生的交易细节（即拥有主链的数据可用性），因此拥有以太坊级别的安全性

缺点：

l技术开发难度大

l难兼容不同智能合约

l需要大量运算

代表项目：

l路印：成熟的zk技术运用，获得4500万美元私募，当前市值超8亿美元

lZKSync：旨在为以太坊带来 Visa 级别、每秒数千笔交易的吞吐量

链乔教育在线旗下学硕创新区块链技术工作站是中国教育部学校规划建设发展中心开展的“智慧学习工场2020-学硕创新工作站 ”唯一获准的“区块链技术专业”试点工作站。专业站立足为学生提供多样化成长路径，推进专业学位研究生产学研结合培养模式改革，构建应用型、复合型人才培养体系。

2. 零知识证明是什么

在没有足够（甚至是根本没有）依据的情况下，猜出一个事件(密码反译）的计算方法，虽然是没有任何依据的猜，但是这个猜出的计算法方被证明是正确的，这就是零知识证明。
在Goldwasser等人提出的零知识证明中，证明者和验证者之间必须进行交互，这样的零知识证明被称为“交互零知识证明”。80年代末，Blum等人进一步提出了“非交互零知识证明”的概念，用一个短随机串代替交互过程并实现了零知识证明。非交互零知识证明的一个重要应用场合是需要执行大量密码协议的大型网络。
在零知识证明中,一个人(或器件)可以在不泄漏任何秘密的情况下,证明他知道这个秘密..如果能够将零知识证明用于验证,将可以有效解决许多问题..

证明材料
附相关零知识证明材料：
零知识证明不是证明在条款的数学感觉因为有一个固定的可能性 p 在任一零知识证明Peggy 能提供对挑战的正确反应即使她不知道钥匙。但是如果测试被重覆 n 计时欺诈被减少Peggy 的可能性 p n , 和由增加测试胜者的数字可能使Peggy 的可能性降低欺诈到一个任意水平。
零知识证明是指证明者能够在不向验证者提供信息本身内容的情况下，使验证者相信某个论断是真实可信的一种技术。目前匿名性非常突出的数字资产ZCash的匿名交易就是依靠“零知识证明”实现的。
举个例子，A要向B证明自己拥有某个房间的钥匙，假设该房间只能用钥匙打开锁，而其他任何方法都打不开。这时候，A可以选择把钥匙交给B，B用这把钥匙打开该房间的锁，从而证明A拥有该房间的正确的钥匙。
或者A自己用钥匙打开房间，从房间里拿出来一个物体出示给B，B知道这个物体确实只有房间里有。方法二的原理就是零知识证明。
零知识证明可以在不泄漏信息本身内容的情况下，证明我知道这个秘，可以有效解决许多验证问题。

3. 什么是零知识证明（Zero-knowledge Proofs）

密码学中讲的zero-knowledge proof，在不让对方获知任何资讯的情况下证明一件事，实例是身份辨别。或是用演化计算(Evolutionary Computation）产生判断下棋残局的程式，演化计算的”产物”，通常是人类无法读懂的程式（演算法），若我们能经由实验和机率分析得知这个程式以极低的机率（可能比陨石击中你家还低）完全答对残局的结果，那我们确实可以相信这个程式有能力判断残局，就可以在无法理解却信任的情况下使用它。

据个人理解、通俗点说（个人说法）：
在没有足够（甚至是根本没有）依据的情况下，猜出一个事件(密码反译）的计算方法，虽然是没有任何依据的猜，但是这个猜出的计算法方被证明是正确的，这就是零知识证明。

4. 现在有人推广超零币,这可靠吗

4.公链具备匿名发币功能。因为sero采用了以太坊的一些技术，所以发行Token功能是没问题的，有疑问的是怎么搭载匿名技术。

三、团队：

Sero开发团队应该全是中国人，而且应该都是来自于格瓦拉实验室，但在Sero的白皮书中，并不能查找出创始成员的真实情况。

四、通证模型：

白皮书没有描述Sero的通证模型，经查询Sero发行量是10亿，历史最高价3.9元，众筹价格为0.08元，增长了2178%。有的平台认为Sero代币10%属于开发者，10%预挖，80%挖矿所得，这里也有不认可意见的，既然预挖了10%，那么这10%属于开发者吗？这是矛盾的。在这里Sero团队并不透明，是不是锁仓也没有明示，从价格走势来看，Sero应该是高度控盘的。

五、应用场景：

Sero白皮书描述了5个应用场景是供应链体系、博彩、医疗健康、竞拍、游戏，这些应用场景，基本都有专业性公链在做，问题是在这5个应用场景是否有必要发行匿名货币或采用匿名DAPP？就算发行了匿名货币，对于这些行业来说，能否推动其发展？DAPP匿名的意义又在哪里呢？作为一个币圈人都知道的道理，在应用场景上，透明、可追溯才是DAPP发展方向。供应链需要的是可追溯性，发行匿名货币也做不到保护个人医疗健康方面的隐私。所以从应用场景的角度看，发行匿名货币是没有意义的。

通过读Sero白皮书，给大家的感觉是不太可信的，当然有没有这个实力就不可知了。【摘要】
现在有人推广超零币,这可靠吗?【提问】
您好，您的问题我已经看到了，正在整理答案，请稍等一会儿哦~【回答】
您好，为您查到以下文章。
一、Sero介绍：

超零协议（super zero），以下简称：Sero。根据白皮书所称，SERO系统是全球首创的，根据零知识证明技术实现隐私保护，而且可以支持图灵完备智能合约运行的区块链基础平台。Sero是世界上首个支持智能合约的隐私加密货币，同时也是世界上首个允许开发者发行支持智能合约的隐私加密货币且可在DApp使用的开发平台。若是从创新的角度上说，Sero确实挺厉害的，开创了币圈的新路，把匿名与发币结合起来了。
Sero的关键词有：零知识证明、图灵完备智能合约、发布匿名Token，这时候会发现除了没有融合2019年最火的跨链技术，应该有的全有了。Sero的白皮书描述也是to the moon，举例：Sero将会使用抗量子技术，确保不会被量子计算机破解。而币圈的主流观点是即使是最悲观的观点，也认为比特币十年内是不会有被量子计算机攻破的危险的，而Sero已经在思考未来抗量子计算的问题了。

二、Sero的技术：

按照白皮书的描述，Sero最厉害的是技术实力。

1.独创结合匿名拓展架构Sero创新性的以太坊的ACCOUNT和比特币UTXI模型混合应用，在隐私保护的计算层采用UTXI模式，并且可以映射逻辑上等价的ACCOUNT模式以支持图灵完备的智能合约虚拟机的运行。Sero通过pedersen commitment算法，将两种模式无缝连接。按照官方介绍，Sero与以太坊系统是可以兼容的，其实Sero的代码多数是抄袭以太坊的代码，甚至他们挖矿的客户端都是复制以太坊的挖矿。不过抄袭以太坊代码的太多了，波场也是靠抄袭以太坊起家的。若Sero真的能够融合以太坊ACCOUT模型和比特币的UTXO模型，实现智能合约、匿名技术的结合，那说明技术实力并不弱，也是很厉害的。

2.搭载大零币的零知识证明，比大零币快20倍。零知识证明还是可以的，但也不是没有瑕疵，在研发过程中一直有漏洞存在，但是zero的团队解决了这些问题，zero的速度比较慢，Sero声称比大零币快20倍，说明Sero的技术比zero的技术强很多，对此大家是有怀疑态度的。

3.TPS将达到数十亿计。EOS话说的太大了，最终上线时也只是是万级，而Sero已经提出了数十亿级的口号。
【回答】
4.公链具备匿名发币功能。因为sero采用了以太坊的一些技术，所以发行Token功能是没问题的，有疑问的是怎么搭载匿名技术。

三、团队：

Sero开发团队应该全是中国人，而且应该都是来自于格瓦拉实验室，但在Sero的白皮书中，并不能查找出创始成员的真实情况。

四、通证模型：

白皮书没有描述Sero的通证模型，经查询Sero发行量是10亿，历史最高价3.9元，众筹价格为0.08元，增长了2178%。有的平台认为Sero代币10%属于开发者，10%预挖，80%挖矿所得，这里也有不认可意见的，既然预挖了10%，那么这10%属于开发者吗？这是矛盾的。在这里Sero团队并不透明，是不是锁仓也没有明示，从价格走势来看，Sero应该是高度控盘的。

五、应用场景：

Sero白皮书描述了5个应用场景是供应链体系、博彩、医疗健康、竞拍、游戏，这些应用场景，基本都有专业性公链在做，问题是在这5个应用场景是否有必要发行匿名货币或采用匿名DAPP？就算发行了匿名货币，对于这些行业来说，能否推动其发展？DAPP匿名的意义又在哪里呢？作为一个币圈人都知道的道理，在应用场景上，透明、可追溯才是DAPP发展方向。供应链需要的是可追溯性，发行匿名货币也做不到保护个人医疗健康方面的隐私。所以从应用场景的角度看，发行匿名货币是没有意义的。

通过读Sero白皮书，给大家的感觉是不太可信的，当然有没有这个实力就不可知了。【回答】
文章回答的比较全面，可以说是有一定的理论依据和技术，但是信息不够透明，我们能了解到的都是有限的，这里面的黑雾有多深是无法预支的。所以建议您本着中立的态度去考虑这件事。
可以考虑其他。

网络沐沐很高兴为您服务，希望我的解答能够对您有所帮助。如果有需要可以关注沐沐，随时为您解答。【回答】

5. 何谓“零知识”，何谓“证明”

"零知识证明"-zero-knowledge proof，是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。它指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。零知识证明实质上是一种涉及两方或更多方的协议，即两方或更多方完成一项任务所需采取的一系列步骤。证明者向验证者证明并使其相信自己知道或拥有某一消息，但证明过程不能向验证者泄漏任何关于被证明消息的信息。大量事实证明，零知识证明在密码学中非常有用。如果能够将零知识证明用于验证，将可以有效解决许多问题。

6. 零知识证明有什么用

GPS身份识别协议是欧洲NESSIE工程的一个候选方案，该协议是一个交互式零知识识别协议，它具有以下特点：在一般任意模数离散对数问题难解的假设下是可证明安全的，基于身份的短密钥，非常小的信息传输量和最小化的在线计算量。

具体内容如下：
设k、l、A、B、S是5个整数，n=pq是一个kb模数，p和q是两个k/2b的素数，g为Zn中的一个元素，假定保密或销毁p、q，公开n，计算以g为底模n的离散对数是困难的。

1. 从[0,S)中选取私钥s，而公钥I则由I=g-x mod n确定。令Φ=(B–1)(S–1)，GPS身份识别协议的一轮识别过程如下：
2. 证明者从[0,A)中随机选取一个r，计算“委托”x=gr mod n并发送给验证者。
3. 验证者从[0,B)中随机选取一个“挑战”c发送给证明者。
4. 证明者验证c∈[0,B)，计算y=r+c*s，并将y发送给验证者。
5. 验证者验证x=gyIc mod n及y∈[0,A+Φ)是否成立。

重复上述过程t次。

1. GPS识别协议与Schnorr识别协议相比，有以下几个不同点：
2. 用一个合数代替了原来的素数p作为模。
3. 没有了原来的参数q，元素g的阶也不知道，而且y是在Z中计算的。
4. 在区间[0,A)中选取随机值r，使得私钥s隐藏于y=r+c*s。
5. 证明者必须验证c在正确范围之内，验证者必须检查y值不能太大。

GPS识别协议针对主动敌手的安全性（包括完全性、合理性和零知识性）可以得到证明。

这个零知识证明我在学习的时候就感觉很难懂，如果将来工作不是涉及到方案的安全证明（做理论的时候应用），其实很少能被应用到的。当然这种纯理论的东西对于进军科研界的学者还是必经指路。这是我曾经学习用到过的笔记。如果让我用特别生动形象的形式来说明出来（手动笑哭），脑细胞都是这么没的。密码学非一般寻常领地，入行需谨慎嗯嗯，只能帮你们这么多了~

7. 解释说明什么是零知识证明，并举例描述

零知识证明指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。零知识证明实质上是一种涉及两方或更多方的协议，即两方或更多方完成一项任务所需采取的一系列步骤。证明者向验证者证明并使其相信自己知道或拥有某一消息，但证明过程不能向验证者泄漏任何关于被证明消息的信息。大量事实证明，零知识证明在密码学中非常有用。如果能够将零知识证明用于验证，将可以有效解决许多问题。

8. 区块链中的零知识证明是什么

如何不给你看我妈但是仍然证明我妈是我妈？
零知识证明是指证明者能够在不向验证者提供信息本身内容的情况下，使验证者相信某个论断是真实可信的一种技术。目前匿名性非常突出的数字资产ZCash的匿名交易就是依靠“零知识证明”实现的。
举个例子，A要向B证明自己拥有某个房间的钥匙，假设该房间只能用钥匙打开锁，而其他任何方法都打不开。这时候，A可以选择把钥匙交给B，B用这把钥匙打开该房间的锁，从而证明A拥有该房间的正确的钥匙。
或者A自己用钥匙打开房间，从房间里拿出来一个物体出示给B，B知道这个物体确实只有房间里有。方法二的原理就是零知识证明。
零知识证明可以在不泄漏信息本身内容的情况下，证明我知道这个秘，可以有效解决许多验证问题。

9. 什么是零知识证明有什么用

在没有足够（甚至是根本没有）依据的情况下，猜出一个事件(密码反译）的计算方法，虽然是没有任何依据的猜，但是这个猜出的计算法方被证明是正确的，这就是零知识证明。
在Goldwasser等人提出的零知识证明中，证明者和验证者之间必须进行交互，这样的零知识证明被称为“交互零知识证明”。80年代末，Blum等人进一步提出了“非交互零知识证明”的概念，用一个短随机串代替交互过程并实现了零知识证明。非交互零知识证明的一个重要应用场合是需要执行大量密码协议的大型网络。
在零知识证明中,一个人(或器件)可以在不泄漏任何秘密的情况下,证明他知道这个秘密..如果能够将零知识证明用于验证,将可以有效解决许多问题..

证明材料
附相关零知识证明材料：
零知识证明不是证明在条款的数学感觉因为有一个固定的可能性 p 在任一零知识证明Peggy 能提供对挑战的正确反应即使她不知道钥匙。但是如果测试被重覆 n 计时欺诈被减少Peggy 的可能性 p n , 和由增加测试胜者的数字可能使Peggy 的可能性降低欺诈到一个任意水平。

例子战略
Peggy 的公开密钥是一张大图表, 我们将称 G。Peggy 被组建的 G 某时从前, 和广泛然后出版它。由于她特别地制造了它为目的, Peggy 知道一个汉密尔顿的周期。Peggy 将对胜者证明她的身份, 她知道一个汉密尔顿的周期在 G。即使 G 是公开信息, 没人能做到, 因为没人知道G 的一个汉密尔顿周期 , 并且发现汉密尔顿的周期在图表是一个困难的问题(参见NP 完整性) 。
但是, Peggy 不能简单地告诉胜者汉密尔顿的周期,因为这样胜者(或偷听者)就可以装作是Peggy 。Peggy 不能在任何周期显露任何信息, 因为偷听者也许能在几个不同场合收集信息并整合，使偷听者有足够的信息能扮演Peggy 。
要证明她的身份, Peggy 和胜者扮演以下比赛的几个圆:
Peggy 标记G 端点 以随机号。边缘可能然后代表作为一对这些数字。她列出G 边缘 , 和编成密码各个边缘以一个另外密钥。她然后寄发被编成密码的边缘到胜者。
胜者翻转硬币。
* 如果硬币过来头, Peggy 向随机号投降密钥和测绘从端点。胜者解码边缘和然后核实, 被编成密码的边缘被派在步骤1 实际上做 graph.g 和没有某一其它图表。
* 如果硬币过来尾巴, Peggy 投降密钥只为实际上形成汉密尔顿的周期的边缘。胜者解码这些边缘和核实, 他们的确形成正确长度的周期。
冒名顶替者(' Pamela ') 能设法扮演Peggy, 和有成功地唬弄胜者的50% 机会在任何尤其圆。有二个可能的扮演战略。Pamela 能派Peggy 的graph.g 的编成密码 。在这种情况下, 她逃脱侦查如果胜者投掷头; 她显露编成密码, 并且胜者核实图表的确是 G。但如果胜者投掷尾巴, Pamela 被捉住。她被要求显露的一套的钥匙组成一个汉密尔顿的周期G 边缘, 并且她无法做那, 因为她不认识一。
Pamela 能跟随的另一战略是准备某一其它图表她 知道一个汉密尔顿的周期的H编成密码。她在这种情况下是安全的如果胜者投掷尾巴; 她显露周期, 并且, 因为胜者从未看边缘的剩余, 他从未获悉图表是 H 和不是 G。但如果胜者投掷头, Pamela 被要求显露整个图表, 并且胜者看见这不是 G。
由扮演这场游戏二十回合, 胜者能使由Pamela 被唬弄的可能性降低到一仅仅为1/2。由扮演更多圆, 胜者能减少可能性就渴望。
信息由Peggy 显露提供胜者任何信息在所有不G 的汉密尔顿的周期 。看这, 注意胜者能制造比赛的抄本没有谈话与Peggy 根本。他能选择序列头和尾巴, 和然后准备假定回复从Peggy, 没有曾经知道汉密尔顿的周期, 由从事适当的冒名顶替者战略在每个圆。抄本, 和它不遏制, 有线索关于Peggy 的身份合法的信息。Peggy 证明她的身份不是因为她能基于正确的答复, 但因为她能基于正确的答复没有知道将是什么问题。
所谓零知识证明，指的是示证者在证明自己身份时不泄露任何信息，验证者得不到示证者的任何私有信息，但又能有效证明对方身份的一种方法。看起来有点别扭，我给2个例子，也许好明白一些。
零知识证明的几个例子[原创]

证明举例
1）A要向B证明自己拥有某个房间的钥匙，假设该房间只能用钥匙打开锁，而其他任何方法都打不开。这时有2个方法：
①A把钥匙出示给B，B用这把钥匙打开该房间的锁，从而证明A拥有该房间的正确的钥匙。
②B确定该房间内有某一物体，A用自己拥有的钥匙打开该房间的门，然后把物体拿出来出示给B，从而证明自己确实拥有该房间的钥匙。
后面的②方法属于零知识证明。好处在于在整个证明的过程中，B始终不能看到钥匙的样子，从而避免了钥匙的泄露。
2）A拥有B的公钥，A没有见过B，而B见过A的照片，偶然一天2人见面了，B认出了A，但A不能确定面前的人是否是B，这时B要向A证明自己是B，也有2个方法。
①B把自己的私钥给A，A用这个私钥对某个数据加密，然后用B的公钥解密，如果正确，则证明对方确实是B。
②A给出一个随机值，B用自己的私钥对其加密，然后把加密后的数据交给A，A用B的公钥解密，如果能够得到原来的随机值，则证明对方是B。
后面的方法属于零知识证明。
3）有一个缺口环形的长廊 ，出口和入口距离非常近（在目距之内），但走廊中间某处有一道只能用钥匙打开的门，A要向B证明自己拥有该门的钥匙。采用零知识证明，则B看着A从入口进入走廊，然后又从出口走出走廊，这时B没有得到任何关于这个钥匙的信息，但是完全可以证明A拥有钥匙。

10. 什么是零知识证明

80年代初,Goldwasser等人提出了零知识证明这一概念.从本质上讲,零知识证明是一种协议.所谓协议(Protocol),就是两个或两个以上的参与者为完成某项特定的任务而采取的一系列步骤,包括以下三个特征：1.协议自始至终是有序的过程,每一步骤必须依次执行,在前一步骤没有执行完之前,后面的步骤不可能执行.2.协议至少需要两个参与者,一个人可以通过执行一系列的步骤来完成某项任务,但它不构成协议.3.通过执行协议必须能够完成某项任务.零知识证明必须包括两个方面,一方为证明者,另一方为验证者.证明者试图向验证者证明某个论断是正确的,或者证明者拥有某个知识,却不向验证者透露任何有用的消息.零知识证明目前在密码学中得到了广泛的应用,尤其是在认证协议、数字签名方面,人们利用数字签名设计出了大量优良的算法.用一个关于洞穴的故事来解释零知识.洞穴中有一个秘密,知道咒语的人能打开 C 和D之间的密门,对其它人来说,两条通道都是死胡同.Peggy 知道这个洞穴的秘密.她想对 Victor 证明这一点,但也不想泄露咒语.下面是她如何使 Victor 相信的过程：(1) Victor 站在A点.(2) Peggy 一直走进洞穴,到达C点或者D点.(3) 在 Peggy 消失在洞穴中后,Victor 走到B点.(4) Victor 向 Peggy 喊叫,要她：从左通道出来,或者从右通道出来.(5) Peggy 答应了,如果有必要她就用咒语打开密门.Peggy 和 Victor 重复第(1)至第(5)步 n 次.假设 Victor 有一个摄像机能记录下他所看到的一切.他记录下 Peggy 消失在洞中情景,记录下他喊叫 Peggy 从他选择的地方出来的时间,记录下 Peggy 走出来.他记录下所有的 n 次试验.如果他把这些记录给 Carol 看,她会相信 Peggy知道打开密门的咒语吗?在不知道咒语的情况下,如果Peggy和Victor事先商定好 Victor 喊叫什么,那将如何呢?Peggy 会确信也走进 Victor 叫她出来那条路,然后她就可以在不知道咒语的情况下在 Victor 每次要她出来的那条路上出来.或许他们不那么做,Peggy 走进其中一条通道,Victor 发出一条随机的要求.如果 Victor 猜对了,好极了.如果他猜错了,他们会从录像中删除这个试验.总之,Victor 能获得一个记录,它准确显示与实际证明 Peggy 知道咒语的相同的事件顺序.这说明了两件事.其一是 Victor 不可能使第三方相信这个证明的有效性；其二,它证明了这个协议是零知识的.在 Peggy 不知道咒语的情况下,Victor 显然是不能从记录中获悉任何信息.但是,因为无法区分一个真实的记录和一个伪造的记录,所以 Victor 不能从实际证明中了解任何信息－它必是零知识.也就是说,Peggy 在向 Victor 证明的过程中没有泄露任何有关秘密的知识,称为零知识.