https://www.defidaonews.com/article/6759676

离 2022 全球 Web3 生态创新峰会・新加坡还有不到 1 个月的时间了，大会前期的线上系列活动正如火如荼展开，DeFi 之道将在接下来的每周举办一场线上活动，与行业一线专家共同探索 Web3 前沿。6 月 16 日，DeFi 之道和金色财经联合主办了《Zk, 冉冉升起的新星》线上活动，邀请到了独立研究者头雁、Scroll 研究员 Young、StarkNet 中文 Leo 为我们分享了 ZK 的基本概念、应用进展以及未来发展，本场主持人是金色财经内容主编 Paul。

以下内容是嘉宾发言精华整理，有删减：

自我介绍

头雁：

我原先是一个传统的 Web2 的创业者，在 Web2 领域做了好多年的创业，做了三四家左右的公司，有两家出售掉了。19 年做了一个传统的隐私计算领域的 MPC 相关的业务，主要是用 MPC 还有联邦学习给传统的金融机构还有央企做一些数据可用不可见的建模服务。我去年 11 月份左右退出来，最近一直在看币圈的隐私计算和零知识证明结合的一些机会。我也在做二级投资，主要关注的领域是币圈的一些基础设施类的，还有一些偏隐私计算类的，比如说零知识证明、MPC 应用的场景。

Young：

我是 17 年进入 crypto 行业的，目前在 Scroll 这边做研究相关的一些工作。平时也会做 L2、ZKrollup 以及以太坊最新的 EIP 协议的技术进展的研究。

Scroll 是一个以太坊可拓展解决方案，我们的目标是成为对开发者最友好的一个 ZKrollup。我们在支持 evm 等同性的同时，也构建了 ZKevm 的解决方案，目前我们是在和以太坊基金会以及以太坊社区的一些成员在一起以一种开源的方式去 build。

Leo：

我知道比特币应该是挺早了，正经加入到 crypto 领域大概是 18 年，中间参与了一些项目，我现在主要是负责 StarkNet 在中文社区的生态推广。

**问题：**大家在谈论 ZK，ZK 到底是什么？对于技术理解不够深入的用户来说，很多专业名词容易搞混淆，比如 SNARK 和 STARK，ZKVM、ZKEVM。STARK、StarkEx 和 StarkNet。

Young：

ZK 概念是比较宽泛的，大概的意思是，意思就是一个证明者想让一个验证者去确信他的陈述是真的，同时作弊者是不能参与确信，在整个过程中不能提供额外的信息。

以寻找沃尔多游戏为例，玩家在一张有数千张面孔的图片中找到沃尔多，玩家需要去证明沃尔多在照片中的哪个位置，但是不能让观众了解到沃尔多具体在哪个位置。

玩家拿着一把剪刀走进一个房间，为了不让观众看到裁剪的痕迹，玩家背对观众把沃尔多裁剪下来，然后再把剩余的照片撕碎，最后玩家把沃尔多的人像交给了挑战者。

这个例子就非常好的证明了玩家知道沃尔多这个人在图片当中具体在哪里，但是因为把其他照片撕碎了，没有暴露他在图片中具体位置。

ZK 目前有很多不同的分支，大家目前听的比较多的是 SNARK 和 STARK。

SNARK 的基本的原因就是说它把复杂的计算转化成只有类似于像加法或者乘法的代数化的电路，也可以称为电路门。