你可能听说过很多关于它们的信息，但 ZK 证明到底是什么？你也许了解了基础知识，但想知道使用 ZK 证明最有前途的项目是什么？现在就让我们通过 ZK 证明的概述、应用项目和底层技术来回答这些简单又复杂的问题。01 概述1. 什么是 ZK 证明？ZK 证明使用密码学允许某人（证明者）向其他人（验证者）证明事实是百分百真实的，但除了特定真实性的陈述之外，不会透露任何额外信息。即能保守秘密，又能让人相信你。另一个比较通俗的定义是：ZK 证明本质上是让某人证明他们知道或拥有某些东西，而不会泄露他们知道或拥有什么的任何信息。也许举几个例子会更有助于理解：可以使用 ZK 证明来证明我拥有某个 NFT 的事实，而无需透露我拥有哪一个、购买时间或所花金额。可以使用 ZK 证明来证明将 Token 从账户 A 发送到账户 B 的以太坊交易的有效性，而无需透露任一账户的 Token 余额或发送的金额。ZK 证明在 1985 年 MIT 的一篇研究论文中第一次出现。像许多技术一样，ZK 证明首先引起了大量理论论证，然后在进一步发展和完善后逐渐找到实际运用。麻省理工学院研究复杂加密问题的研究人员最早的 ZK 证明是交互式的。为了证明某事，你必须和验证者玩一个问答游戏。就像测谎仪测试——验证者不断对证明者所拥有的“知识”进行一系列提问。通过不停的提问，让验证者相信证明者的确知道这些”知识”。但是这样的方法并不能使人相信证明者和验证者都是真诚的，因为两者可以提前串通，以便证明者可以在不知道答案的情况下依然通过验证。后来发展到非交互式的。非交互式是证明者现在可以生成一个东西，一段数据，作为他的 ZK 证明提交给验证者，而无需多轮沟通。这种 ZK 证明不太像游戏/仪式/协议，而更像是可以由证明者生成并提交给验证者的不可伪造物品，避免了证明者和验证者串通的可能性。

一人读博，全家枫叶卡，我的人生我做主
​
​滑铁卢大学，组合学和优化博士

研究领域：
代数组合学
持续优化
密码学
离散优化
图论
量子计算

入学要求：
1.组合学和优化或密切相关领域的硕士学位，硕士学位课程的平均成绩至少为 89%。
2.完成硕士论文。
3.托福90（写作25，口语25），雅思7.0（写作6.5，口语6.5）

入学日期：2023.09

#山大资讯#
近日，《麻省理工科技评论》公布了中国2022年隐私计算科技创新人物名单，全国共有10名专家学者入选。山东大学网络空间安全学院陈宇教授位列其中。
陈宇入选关键词为“以密码理论研究见长，致力于应用前沿密码技术赋能隐私计算”。他的研究方向是理论密码学及应用，研究工作围绕基本密码组件展开，发展了抗泄漏、抗篡改等极限安全密码体制的创新构造方法与技术，取得了一系列对公钥密码理论体系发展和完善具有重要意义的原创性成果，在CRYPTO、ASIACRYPT、PKC、DCC、JoC等密码方向的顶刊顶会上以第一/通讯作者发表论文多篇。2019年起专注于应用密码学赋能隐私计算，理论与实践并重：面向分布式计算场景，提出层级签名加密、零知识证明友好的同态加密等多个创新密码方案，首次破解了长久以来密钥分离与重用策略无法两全的难题，率先设计出可监管审计的隐私保护密码货币；聚焦两方安全计算的高频应用，带领团队设计实现了敏捷高效的隐私集合计算统一框架，在隐私集合求并方向取得了重要突破，设计出首个具有最优线性复杂度的协议，效率相比现有协议提升1-2个数量级。