从 ETHDenver 看 ZK 赛道的 2023 新趋势 | Foresight Talking 实录
ForesightNews 独家
2023-03-10 17:20
订阅此专栏
收藏此文章
我们邀请了四名嘉宾来分享 ETHDenver 上有关 ZK 的所见所闻以及对 ZK 赛道未来发展趋势的看法。


主持人:Eric

嘉宾:Young(Scroll 研究员)、Qi Zhou(EthStorage 创始人)、ian(Foresight Ventures 研究员)、Victor(Manta Network 联合创始人)

整理:Babywhale,Foresight News



本文仅做重要观点整理,想了解完整内容可收听 Twitter Space回放

 

主持人:本场 Twitter Space 也是 Foresight News 近期举办的第三场 ETHDenver 相关的线上活动,主题是 ZK 赛道,我们请到了四位嘉宾分享一下在 ETHDenver 的所见所闻以及对 ZK 赛道的见解。首先先请各位分享一下参会的感受以及有没有值得分享的有趣的事情。

 

Young: Ok 对,我应该属于没有去的,然后我的话基本上就是和团队的小伙伴去同步了一些现场情况。首先今年的人数相较于去年应该是多了挺多的,差不多好像是有三四万人,华人的占比达到了 20%-30%,可能是因为疫情放开的原因。

 

然后这里也感谢一下 Foresight News 总结了一个参会指南,然后我也发给了国内小伙伴,他们去可以看一些会议的时间线,比较高效。

 

另外的话还有一个感受就是这次去的很多的一些 VC 今年关注基础设施方面比较多。

 

Qi Zhou:首先,相比上次会议,本次主办方还是花了非常大的力气去找到更好的地方,然后去让更多的项目方开发者或者投资人都能够一个交流机会。

 

第二点,本次会议质量也是非常高的,可以看到里面有非常多的这种 builder,然后大家一起在讨论未来的话 Web3 需要什么样的基础设施,虽然其实今年相对比过去来说其实算是寒冬,但是,今年的大家都在非常活跃的在做事情,并且希望能够在下一步的行情里面,要么能够去抓住的机会,或者是引领下一步的潮流。

 

同时的话我也看到了很多很有意思的一个现象,很多 Web2 的一些人,比如像谷歌、Facebook 的人,他们都纷纷的怎么请假来参会。可能有一部分人可能是和工作有关系,但也有相当多一部分是为了能够去更好去了解和学习整个 Web3 的技术,然后自费来参与这个会议。

 

ian:本次会议其实去了非常多 VC,然后项目方也很多,但项目可能更多是偏成熟或者偏后期的一些项目,然后对就像刚刚周博士说的 Web2 的朋友也很多。然后包括其实我们最近聊的一些项目,他们其实都非常积极的在 ETHDenver 做一些 pitch 以及一些展示,然后参与度和质量也非常高。

 

Victor:感受分为两方面,第一方面是我们自身在 ETHDenver 上举办了活动。首先是第一天隐私项目组成了一个联盟:Universal Privacy Alliance,这个联盟实际上也是我们(Manta Network)和 Aztec、Zcash 等项目一起牵头成立的。

 

然后 28 号是非常大的一个 ZK Day,是由 Manta 和 Polychain Capital 共同举办的,Polychain 投资的一些头部的项目也参加了活动。然后我们也邀请了很多亚洲的一些机构,比如说 HashKey 还有 SevenX,活动也吸引了很多非常优秀的开发者和从业者。

 

3 月 1 号的时候,我们在主会场进行了分享,分享了我们和 Jump Crypto 在 WASM 加速方面一起做的研究并获得了 Zprize 相关奖项。

 

以上是 Manta 自己举办的活动,在参会的情况我觉得和去年也是有很大不同,今年大家真正看到了 ZK 一个方向、一个风口。氛围上,我感觉两部分人,一个是单纯 builder 在跟 builder 一起玩,然后 VC 跟 VC 一起玩,VC 找不到真正早期项目的 builder,然后 builder 实际上也没有那么在乎 VC,因为大家也知道跟 VC 聊实际上大部分也募不到钱,因为 VC 现在不投,然后但是做项目还是该做应该做,实际上这个是一个我觉得很有意思的事儿。

 

此外,对比 Consensus 这样的会议,ETHDenver 包含了跨链桥、安全、ZK、社交等方面的活动,主要集中在 infra 层面,且更倾向于项目方,交易所的活动参加的人反而少很多。我觉得这是这个世界上最古老的以太坊活动应该有的样子,也是未来的一个趋势。可能很多人不同意,但是这是我的观点。

 

主持人:感谢嘉宾的分享,本来第二个问题的第一个部分是想问各位嘉宾本次会议对 ZK 的讨论度高不高,根据刚刚的描述看来这个问题无需再问了,那就请四位嘉宾聊一聊现在对 ZK 赛道有哪些关注的点。

 

Young:ZK 这块的话主要是几个方向,一是关于 ZK 的一些中间件,然后另外一块的话,就是账户抽象,然后还有个词叫 Attestation 的一个词。这个词的话我个人的理解它应该就是说是指验证者在不暴露身份的同时,又可以防止别人去冒充你的个人的信息。

 

这项技术可能会提高整个网络的一个安全性和可靠性,然后去防止一些第三方去篡改验证者的一些信息。

 

所以的话由此去衍生出来的,像一些做 zkDID 的一些应用,比如说像以太坊基金会下属的 PICE 小组,他们之前做了一个偏 ZK 的底层技术栈,利用零知识证明协议去做一些隐私保护,让用户在不暴露自己身份的情况下,对以太坊的智能合约进行授权和验证。这个技术栈基本上包含了 4 个方向,首先它是利用了 zk-SNARK,然后它包含一个匿名的投票系统,同时还有一个隐私交易的工具。最后就是允许用户在不泄露自己的地址的情况下去做一些转账的操作,整体上就是一个偏保护用户隐私的一个衍生的 DID 的方向。

 

另外的话就是 ZKML(零知识机器学习) 赛道的研究,不过还比较早期,基本上就是讨论怎么可以让用户去在基于以太坊的平台上去上传和训练以及部署一些机器学习模型,然后再最后通过一些比如说合约其他的进行验证和奖励。

 

最后还有个方向就是 ZK 的基础设施,例如生成证明以及硬件加速一些解决方案,通过高性能计算硬件去提高整个 ZK 证明速度的一个过程。

 

ian:这次跟同事讨论下来,会议对 ZK 的讨论度跟关注度还是很高的,包括刚才 Young 所说的 ZKML 其实我们也最近在关注,然后包括近期 Modulus Labs 也在持续的发一些相关的论文,然后他们团队对 verify model inference on chain 这个事情也考虑的比较多。然后我觉得还是 ZK 和各个领域的结合,然后不管是刚才说到的 ZKML,还是说通过 Time Limit Encryption 去做一些 sequencer layer 或者说 Rollup as a Service 等很多可能性。

 

Qi Zhou:刚刚其实大家讨论的都我觉得基本上把 ZK 的各个方面都都讲了一圈,我这边就稍微一点补充,刚才说到的硬件加速,我的确看到现在已经有很多人开始做 FPGA。因为现在很多 zk 还是使用 GPU,然后通过 FPGA 做原型验证,然后包括在使用 ASIC,但里面还有很多问题,例如带宽、内存各方面的一些问题,然后怎么能够更好的通过软硬件、还有包括可能分布式的方式会去解决 ZK 里面的证明的一些问题,这是第一个。

 

第二的话我也看到很多有一些新的大家叫什么叫 zkVM 的一些方式来去去做一些更加通用化的一些这种证明,包括像 zk Assembly,包括使用这种其他的一些指令的一些方式来去做证明。

 

所以的话我觉得随着 zk 的技术不断去发展不断成熟,希望未来有一天能够让 ZK 更好的去服务一些应用场景,并且在区块链这种特殊的环境下,能够去极大去提升性能。

 

Victor:新的趋势我们一直在跟进,像 Cysic、HyperOracle、Veridise 都是我们很早的合作伙伴。实际上我觉得 ZK 项目的主要趋势基本就包含在 Polychain 的投资组合和 Manta 的合作伙伴中。然后我们跟 Scroll 也有很多的交流以及技术上的合作。

 

具体来讲的话,我们一直在跟进底层的技术,例如 zkEVM,然后还有 zkWASM 甚至 zkMOVE,还有例如 HyperOracle 这种类型的项目,然后包括硬件加速的项目。

 

但我觉得最终的目标就是说怎么能做应用,这个是我从产品角度来交流的事情。从我的角度,我更关注就是说哪个 ZK 应用先能到 10 万、20 万的 DAU,哪个应用能先有 100 万个用户,这个是 Manta 今年会要做的事情,就是让用户无需了解底层技术,只是像使用 MetaMask 一样去使用一款产品,这是一个方向。

 

主持人:刚才我们一直在聊 ZK 好的一方面,现在想让几位嘉宾聊一聊 ZK 的另一面,就是 ZK 赛道距离发展出丰富的落地应用和一个比较完善的生态还有哪些瓶颈和挑战。

 

Young:目前对于 ZK 这块的话,挑战主要包括几个方面,首先整个零知识证明目前最大的是一个效率的问题,对于目前大家去做一些应用,包括一些去和其他一些技术结合会有一些挑战。

 

另外这项技术可能还会存在一些地方的法律法规的问题,因为它确实是会有匿名性,所以在整个落地的时候,比如说用在一些隐私方面,可能会要配合一些具体的法规的问题。

 

然后目前来讲虽然现在有一些像我们在和以太坊去合作开发的一些开源的电路库,但是远远不够的。所以希望未来能有更多的一些能开源出来的电路库的话,可以直接拿来去用,这样是会比较好的。

 

最后一点,我感觉还是因为现在 ZK 相较于其他一些技术来讲,虽然说研究很长时间,但还是在工程化方面还比较新且少,所以未来可能会慢慢会有一些标准化的东西出来,但现在的话其实还是相对来说属于一个各个方面都在进行探索的阶段。

 

再补充一点,现在以太坊它的一些架构,包括它的里边一些底层的逻辑,其实是对于 ZK 非常不友好的,如果要去用 ZK 去做开发的话开销比较大。所以如果未来以太坊也会做一些对于底层逻辑以及算法一些优化,可能会对 ZK 更友好一些。

 

Qi Zhou:我讲一下我对 ZK 的一些看法,首先第一点就是 ZK 有一个非常大的一个瓶颈,就是在于它的上手成本很高,且学习曲线并不友好了。例如开发者会遇到常见的一些写电路的约束各种问题,如果没有人去指导的话,我相信可能 90% 以上人可能会写出来一些错误的电路。

 

这面的话我觉得在 ZK 的教育还有非常大的空间,包括我自己也是在通过这些方式来去更好的去学习 ZK。所以这方面目前更多是依赖于国际上的各种课程材料,但是我们也是希望华人在整个 ZK 领域出一些针对程序员入门上手的资料,包括一些基本的数学知识,这方面我觉得其实是有非常多的一些工作可以做的。我现在也在做一些 ZK 应用的入门教学,一方面降低大家的学习门槛,另一方面提供一些了解 ZK 最新进展的机会。

 

第三点我可能看到讨论的比较多的就是关于量子计算机对整个的 ZK 的包括我们现在用的加密学这个体系可能会产生的一些影响,因为最近包括谷歌、IBM 都分别在量子计算上有一些不错的进展,但一旦量子计算机实现,那么可能我们现在做得很多可能都需要重新的根据抗量子的计算进行重新设计,包括我认识一些专门做量子计算的一些加密学的专家,那么他们也表示这方面担忧。

 

ian:我认为其实本质上还是需要找到一些在 ZK Rollup 或 ZK Layer 1 上的杀手级应用,先把生态做起来。一方面我觉得 ZK 生态这一块还是比较受局限,还是需要去想一下怎么去做出一些包括能发挥优势,或者说在 ZK 上发展出一些新的应用,我觉得机会是很大的。

 

然后再补充另外一个点,之前 Polygon 表示 Prover 不一定是 ZK 的一个瓶颈,它其实从某种角度来讲,它也可能是一个瓶颈,就是说其实从 Polygon 的角度,可能是定序器可以去对多个区块去进行并行处理。但计算的时间,如果没有在硬件上有提,或者说在对硬件的优化上有提升的话,其实计算时间还是不会有提高。这也是包括 StarkWare 需要去思考的一个问题,这些也是我们比较关注的一个点,但是这个方向还是非常确定的。

 

Victor:我觉得第一个就是 Performance,说实话,Performance 实际上是非常大的一个问题,ZK 的东西目前很多是成本高或者是速度慢,即使是说现在扩容以太坊是相当于把它做的更便宜和更快,但依然这有很多开发上一些困难,同时不可避免地出现系统越复杂,安全性越差的问题。所以实际上就是说电路并不是说有 ZK 就会更安全,反而会出现更多被攻击的可能性,所以这是非常大的一个问题,然后性能也是非常大的问题。

 

第二个部分是我觉得性能上的话,实际上是在各种 scheme 上是有很多创新的点,但我觉得最终还是要找到你最适合的 scheme 来开发。Manta 最早用的还是 Gorth16,但是应该 Gorth16 是全网最快的,我们能做到 2~4 秒,中间有了很多优化,从技术上来说我觉得这方面是要继续去做的。

 

另外的话,从成本来说,像 Scroll 这种级别电路的话,它不做多电路,它的电路非常大,需要有硬件加速这种才让 ZKP 生成的成本降下来,我觉得也是一个非常大的机会。

 

从应用端的角度来讲的话,现在很多人对 ZK 的了解还不够深入,ZK 其实包含了很多方面,ZK Rollup、zkEVM 并不能完全代表 ZK。我现在很看好的方向实际上是就是说在一些 SocialFi 和 GameFi 上的一些应用。从完全去中心化的全链游戏和全链社交应用的角度,需要用 ZK 来做投票等。从非全链的角度,例如 NFT 的信息可以通过 ZKP 来做降低用户摩擦的,这个也是我在很看好的一个方向。

 

主持人:最后一个问题,ZK 未来有哪些值得期待的新的趋势或者说有哪些潜在的应用只有 ZK 能够推动的?

 

Young:我认为其实目前 ZK 本质上只有两个方面,一方面是在隐私或匿名性方面有非常大的优势,这也是它一个技术特性。这里需要强调的是,ZK 只是做了一个单方的隐私性,它本身和 MPC 还不太一样,所以我觉得话它在做隐私交易或匿名代币的话,ZK 目前看来是一个非常有优势的技术。

 

另外一块的话 ZK 可以帮助以太坊缓解拥堵和高 Gas 费的问题,同时把整个链的性能也做一定提升。所以我的认为我的观点的话就可能大的方向就在这两个方面。当然,未来的技术的发展一定是一个多元化的,我认为 ZK 至少在这两个方面更能适合一些应用场景,以及和其他的技术的融合。

 

未来 ZK 还可以通过并行计算生成证明,为包括 Layer 2 或者 Layer 3 以及其他一些应用场景去提供一种新的基础设施。

 

Qi Zhou:我在思考怎么能够用 ZK 去对一些纯链上应用进行优化。目前 Optimism 有在做一些纯链上的应用的尝试,然后从这个角度的话,ZK 从安全性以及链上验证有效性各方面来说,ZK 还是有天生优势的。但是看到 ZK 这方面的一些应用,比如说在以太坊上面跑的主要还是像 Dark Forest 和 Tornado Cash。虽然现在受限于电路等方面的问题,但我还是非常期待未来能有基于 ZK 的有趣的应用。

 

ian:我认为 ZK 之所以它叙事的热度比较高,然后未来确定性也比较强,因为它其实是一个天花板比较高的事情,然后基于 ZK 可以去做非常多的探索,开发者也非常积极的参与这些探索,这也是我们作为 VC 也非常喜欢看到的,虽然可能还在一个比较早期的阶段,但是在各个方向上大家都有一些探索。

 

其他的话就包括之前所提到的 ZKML 以及验证等方面,更不用说隐私等方面的应用,所以其实 ZK 的应用的领域非常广。虽然仍在早期阶段,我们还是能看到很多有意思的探索,我觉得这个是 ZK 比较值得期待的点。

 

Victor:就像刚才说的,ZK 目前的门槛仍然很高,所以我们(Manta)目前在与 Protocol Labs、Jump Crypto 以及 Scroll 合作做 OpenZL(ZK Library),OpenZL 就是一个公开的 ZK library,可以让开发者用现有的语言去写电路。之所以要做这个事,是因为事实上能写出完整 ZK 电路的人很少,人力成本很高,可能一般的项目没有能力去养这些人。所以我们希望建立这样一个平台让更多开发者可以相当于调用这些电路。

 

另一个方向就是不需要调用电路,而是能够基于 Infra 层面,就像 zkEVM 这样完全兼容,这是 Scroll 做的方向。这个方向也是我觉得能让解决现有的问题,可以让用户在使用体验上与以太坊保持一致。

 

虽然短期有一些困难,但是长期来讲的话,为什么以太坊这么重视 ZK?因为我觉得最重要的实际上就是说没有别的更好的既去中心化又能做证明的技术,例如 TEE 一类的技术最终会拍在历史的沙滩上,这个是一个趋势的问题。两年前我们就这么认为,现在还是这么认为。

【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。

相关Wiki
ForesightNews 独家
数据请求中
查看更多

推荐专栏

数据请求中
在 App 打开