ROLL:寻找 2023 ZK 赛道新密码

会议成员

主持人:Jesse,Biteye内容组长

嘉宾:

Cora,PolygonHeadofChina

Leo,StarkNet中文核心贡献者

Todd,A&TCapitalInvestmentDirector

Young,Scroll研究员

潘致雄,ChainFeedsFounder

问题导览

1.ZKrollup它是什么?它在我们区块链的扩容和隐私方面起到了什么作用?

2.Polygon、StarkNet、Scroll三个不同项目对于ZKevm解决方案里面的特色是哪些?以及目前的进展以及之后的发展计划?

3.零知识证明在未来的Web3中会去扮演着什么样的角色呢?除了经常谈到的扩容和隐私,还有没有哪些场景没有被挖掘?在零知识证明赛道里面还有哪些值得关注的早期项目?

4.作为普通投资者的话,我们如果想要搭上ZK的快车,我们有哪些可以做的?

会议摘要

zkevm分类:按照V神zkevem的4个分类(以太坊兼容性和zk证明时间的权衡),scroll和polygon正在建设第二个分类,而starkware通过把Solidity编译成Cairo,也可以实现第四个分类。

项目计划:Scroll2月份下旬测试网迁移到以太坊Goerli,年底launch主网;polygon的zkevm会在3月27号进行主网测试版上线;Starkware的Cairo升级到Cairo1.0,需要社区投票。

项目新动向:基于zk技术的PolygonID;Visa最近在Starkware做了支付的应用,关注Starkware的链游和defi;Scroll开源方式和社区共建zkevm,以及分布式的证明者网络。

zk应用场景:扩容,隐私,zk跨链桥,zkoracle,zk+gamefi,zk工具(比如利用semaphore开发隐私社交unirep.social)。

Cora

Hello,大家好,我是Cora,来自Polygon,Polygon我觉得大家应该现在都比较熟悉,现在是整个区块链的第三大生态,早期它是一个以太坊的侧链,然后做到了一个layer2围绕以太坊的一个全站的扩容方案,包括主网也是上链的。

主网在2020年已经推出了,接下来我们将从一个围绕以太坊的一个全站扩容方案,演变成一个专攻于zk的方案。

在2021年的时候,我们推出了一个10亿美金的基金专门针对于zk的研发,Polygon现在针对于zk即将推出zkevm。

3月27号是zkevm主网测试版本的一个上线的日子,包括用zk的技术,我们还做了polygonID,未来会牵扯到比如说是跟英国的一个手机服务商,还有HTC的合作。

未来的Socialfi赛道也会与PolygonID会有比较大的融合,也希望大家期待,谢谢。

Leo

大家好,我是StarkNet中文的Leo,主要是负责StarkNet在中文社区的内容教育,StarkNet是StarWare这个团队用Stark有效性证明来做的Layer2的扩展方案。

StarWare最早开发的是大家都很熟知的StarkEx,上面的应用有DYDXIMX等非常知名的项目。

现在已经处理的总交易量已经有8500?多亿,单日的最高交易量有100多亿。StartEx是最早的一个利用zk技术stark有效性证明来做的一个扩展的方案。

在StartEx之后,StarkWare就推出了StarkNet,它是一个通用计算的一个开放式的平台。

最早StarkNet上已经有很多的开发者和应用,最著名的就是近期的visa主动在StarkNet上利用账户抽象来做一些转账支付的应用。

所以说StarkNet未来在Layer2上会有非常不同的表现,希望大家能多多关注,谢谢。

Todd

我是Todd,来自于A&TCapital,我们Fund在zk方面目前为止投了有像Scroll,delphinuslab,然后最近也有参与一些硬件方面的投资。ZK也是我重点去关注去研究的一个方向,就先介绍到这里。

至少三个美联储机构正在积极寻找CBDC相关人才:金色财经报道,与央行数字货币(CBDC)相关的工作正在全球范围内涌现。最近的一项调查显示,93%的央行表示有兴趣探索CBDC,其中一些央行考虑在未来三年内发行。此外,至少三个美联储前哨机构正在积极寻找候选人加入他们的团队,进行CBDC研究并改进当前系统,例如旧金山联邦储备银行(高级加密架构师— CBDC)、波士顿联邦储备银行(首席应用架构师- 数字货币)、克利夫兰联邦储备银行(高级应用架构师- CBDC)。[2023/7/25 15:56:09]

Young

Hello大家好,我是Young。目前做一些ZK和以太坊相关一些技术研究,然后Scroll的话我们是一个字节码级别去兼容以太坊的zkrollup,也就是evm的ZKRollup。Scroll是在不牺牲安全性的前提下,对以太坊进行扩容。

我们与其他扩容方案不同的是,我们开发人员可以在Scroll上面拥有和以太坊完全相同的开发体验。

目前我们正在和以太坊基金会一起以开源的方式去共同去buildzkevm.因此Scroll的应该说是这种性能最好的Layer2。

从整个ZKevm的话,从第一天Build我们就是以一种开源的方式,其实有这样一个开源的代码,对于整个项目有非常多的一些独特属性,所有的PR和代码都经过了一些贡献者和社区同行的评审,同时就是这样一个开源的氛围,吸引了很多的zk开发的人才,还有一些对ZK关注的行业的学术机构。

目前对于开发者的体验的话,大家在我们上面去部署,你不需要去重新去编译或者审计,可以无缝的去从原来EVM去迁移到Scroll网络上,对于开发者的体验会非常好。

另外我们在Proof方面我们会有个Proofnetwork,这样可以高效的支持我们去做一些并行加速的计算帮助证明快速的生成。

我们会构建一个decentralized一个Provernetwork,然后还会有一个极快的GPU的解决方案来支持它。

目前整个网络的情况是在去年10月份的时候,允许了开发者还有一些DeFi在上面去部署合约,包括一些ERC20代币的一些跨链。

然后目前的话,目前我们会在2月底左右我们会上线ETHGoerli的测试网,这版本的功能会是一个更加完整的proof,然后我们会把所有的code都会去对应zk化。

我们目前在生态方面的合作了包括像Lens,Thegraph、Ledger、Orbiter,目前已经有几十个项目步入我们的测试网,还有100多个项目正在我们测试网去做一些测试。

目前整个测试网的一个数据化是我们目前做zkevm的同行总交易量的300倍左右,然后应该是zkSync的目前总交易量的2万倍左右。

潘致雄

我叫潘致雄,我们现在在做一个叫ChainFeeds的内容聚合平台,平时的话我是比较关注密码学和zk相关的一些进展,会做一些学习,今天来主要是向各位项目方学习。

Jesse

在开始之前向大家简单的介绍一下什么是零知识证明,以及它是如何工作的。零知识证明它的英文就是Zero-knowledgeProof,也就是俗称的zk,是一个早在1985年就提出来的数学协议。

零知识证明里面有两个重要的角色,一个是证明者,他要证明自己知道某一个信息,另外一个是验证者,用来验证证明者是否知道这个信息,零知识证明允许证明者来向验证者证明某一件事情的真实性,但是除了这个事实之外,不会再透露任何其他的信息。

所以零知识证明提供了一种有效的,几乎没有风险的一种数据分享方式,利用零知识证明,我们可以保留对数据的所有权,可以极大的提高隐私保护,有可能会使我们数据泄露的事情成为过去式。

零知识证明有三个特点,分别是完整性、合理性和零知识。完整性是指如果一个声明是真实的,诚实的验证者会被诚实的证明者说服,也就是说如果一个事实是对的,那么它是错不了。

合理性是指如果一个声明是错误的,在绝大多数的情况下,的证明者不能让诚实的验证者相信这个虚假的证明,也就是说如果一个事件它是错误的,那么肯定是对不了。

最后一点零知识,如果一个声明它是真实的,验证者除了能得知这个声明是真实的之外,他不能再获得任何多余的信息。那么零知识证明是如何工作的?它主要分为交互式、零知识证明和非交互式零知识证明。交互式由三者组成,分别是证据、挑战和回应三部分。

Celsius将存储20,000台矿机,对寻找新的托管站点持乐观态度:金色财经报道,破产贷款公司 Celsius 的采矿部门将临时存放从 Core Scientific 收回的 20,000 台矿机,并对寻找新的托管地点持乐观态度。在法官允许 Core Scientific关闭这些机器后,该公司已经开始收回 37,500 台机器。首席重组官兼临时首席执行官Chris Ferraro表示,该公司预计将在 3 月中旬完成这一流程。

此前消息,Celsius 与 Core Scientific 就托管协议的条款发生了冲突,Core Scientific 也在上个月申请了破产保护,前者在 9 月份提出了强制执行自动中止的动议。然而,Core声称Celsius “正在使用其第 11 章程序来拒绝支付某些费用。”上个月,Core Scientific 获得了破产法官的批准,可以关闭 Celsius 的所有机器。[2023/1/25 11:28:59]

证据指的就是秘密信息,不想让其他人知道的信息,用证据就是来建立一系列的问题,而这些问题只有知道这些信息的人能够正确回答,验证者会首先发起一个挑战,他会随机的抽取一个问题来要求证明者来回答,证明者接受这个问题之后,会把计算的结果返还给验证者,证明者的回应能够使验证者来检查这个证明者是否知道这个证据。

如果这个过程重复很多次之后,证明者在不知道这个秘密信息的情况下,猜中正确答案的概率就会变得非常的低,这也就是为什么零知识证明它是有效的,但是交互式的零知识证明它具有一定的局限性,一方面它是需要我们进行多次的重复验证,效率会比较低。

另一方面,每一个证明它不可以在独立的验证中重复使用,所以其实交互式证明相对来说效率会比较低。

因此有人就提出了一个非交互式的零知识证明,它由证明者和验证者来共享一个密钥,通过仅进行一次的认证,来使零知识证明更加有效。

而且证明一旦生成之后,任何有共享密钥和验证算法的人都可以进行验证。所以非交互式的零知识证明是zk技术里面的一大突破,也促进了现在zk赛道的蓬勃发展,主要的方法就有大家所熟知的ZK-SNARK和ZK-STARK。

Jesse

在了解完零知识证明之后,下面我们进入提问环节。

首先第一个问题是,ZKrollup它是什么?它在我们区块链的扩容和隐私方面起到了什么作用?

Young

关于零知识证明的话,它本身的概念还是比较宽泛的,建议大家就可以去看一下相关文章。

然后我稍微在零知识证明这里补充一个案例,比如说在一个现场,你知道现场主持人的电话号码,但是你不能去暴露他这个号码。你如果知道信息的话,你直接可以给他打电话,如果他的电话在现场响了之后,那就说明你知道他的信息。

所以你要证明一个statement的真实性,而不去透露任何超出这个statement本身有效性的信息。

关于ZKRollup我们可以首先了解一下什么是Rollup,它其实是一种把计算去移到链下,同时把一些记录的消息或者交易放在Layer1上的一种方式。

Rollup本质上实现了两个大的方向,它释放了原来技术层的一些资源,同时又继承了目前Layer1的安全性。

然后Rollup主要分为两种,一种是OptimismRoll-up,然后另一种就是今天要讲的ZKRollup。ZKRollup的一个出发点就是一开始在Layer1上有一个问题,每笔交易都需要去广播到一个P2P的网络里,各个节点会收到一个装满交易的块,大家都需要去重新执行里面的所有交易,这样的方式其实在Layer1是非常低效的,而且会存在大量冗余。

所以说ZKRollup背后的idea就是说你现在不需要去把每个交易去广播到一个P2P的网络里,正好相反,把所有的交易发送到一个离线的Layer2节点,假设你现在收到了1000条交易,他可以去产生一个数学证明的proof,这个是依赖于input的一些交易产生的证明,他不需要去重新广播到所有的交易,它只需要去提交这条交易的一部分。

比如说可以恢复出account数值等一些比较重要的信息,它可以作为publicinput和再加proof,它要比原生的交易要小很多,而且验证这些proof的效果和你去重新去执行去计算这些交易是完全等价的。

因此我们可以把ZKRollup归结为三点,它利用了ZK-SNARK去做交易的验证。

Sushi 创始人发布推特称正在社区寻找多重签名公证人:9月4日,Sushi 创始人(推特名 Chef Nomi) 发布一条推特称,正在社区寻找多重签名公证人,希望寻找到社区信任的人可以执行提案。目前已有多位圈内知名人士对此回复,表示愿意成为多重签名公证人。[2020/9/4]

其次所有节点之间它不需要相信证明者就可以验证交易的正确性,同时它在使交易成本更低的情况下,又继承了以太坊的安全性。

关于ZKRollup的扩容和隐私方面,主流的zkevm它并没有去考虑隐私性。

其实主要用到了ZK-SNARK里面一个的特性去把计算量给压缩下来。目前这一块的话,做ZKevm项目和一些隐私保护项目也没法对比,但是做隐私是一个非常重要的方向。

Cora

ZKevm大致大家理解的就是用ZKRollup解决evm兼容的问题。简单的说就是让零知识证明ZK这个技术更好的兼容以太坊现有的基础设施,然后提高zk证明的生成和验证效率。

ZKRollup的evm兼容之所以成为一个需要解决的问题,是因为以太坊在创立之初没有考虑兼容ZK技术,现在用evm直接生成验证zk的证明速度是非常慢的,根据以太坊目前的情况,可能需要几个小时,所以说ZKRollup需要在evm兼容与ZK效率之间做一个平衡。

之前整个行业是认为evm等效的zkevm是不会存在的,以太坊的社区要做出一定的妥协,例如提款延迟和欺诈证明为ZKRollup设计全新的语言,或者用特殊编译器来兼容zkevm相对来说都是缺乏对现有以太坊开发工具的支持。

要做到真正的evm等价,就意味着以太坊可以在不采取折中的措施的情况下进行扩展,而扩展以太坊的最佳的方式就是要保留现有的以太坊生态,比如代码工具和基础设施都是需要正常工作的。

之前在V神的一个博客里他对于zkevm进行过详细划分,比如说类型一是兼容性最强,但ZK效率最低的,这个是他个人想要的一个最理想的形态。

类型二是Polygon目前比较想达到的一个目标,虽然不完全等效以太坊,但是完全等效evm。类型二与以太坊的数据结构上会有一些不同,删除了部分对ZK不友好的堆栈,但它会完全兼容现有以太坊的APP调试的工具和开发人员的一些基础设施。

类型三其实就是目前polygon处在的一个阶段,几乎等效于evm。

Polygon6个月前推出的测试网和3月27号即将推出的主网测试版本,都是希望有通过一些测试能让整一个方案就得到一个更好的优化,尽量的往类型二去靠。

目前面临的一个问题首先就是链上可能需要足够的多测试的项目,从中找寻有一个更优化的方式。

Todd

从本人角度来讲,ZKevm跟其他的evm最核心一个区别就是他们最后发送到以太坊的section,或者说一个数据Data包里面,所包含的东西是不一样的。

Zk发送回以太坊的是一个zk的proof,在以太坊一层网络上是需要能有一个verifier,然后来验证zkevm发回到以太坊一层的package,来确认以evm为自己虚拟机的Layer2,他们在过去的这一个块里面所执行所有交易的真实性。

而其他的evm更多的其实是直接把整个交易压缩了以后就发回,并不是以一个proof的形式所发回去的.ZK的Layer2通常来讲只需要等待以太网一层网络验证完了proof以后,其他整个Layer2过去这一个区块的交易就已经可以达到最终性了,而不是像Arbitrum或者Optimism大概需要有7天的等待期,才能够完成对Layer2交易的确认。

再说一下瓶颈这个阶段,刚刚cora已经讲了很多了,我补充一个,如果想要在ZKevm里完全实现对以太坊EVM完全等效的话,目前这是一个很难的一个难题。

这个地方现在被卡住最明显的一件事情是因为整个evm原来的Code编译到zk整个电路里面去,这是一个非常不友好,相当于两套设计的方案,其中的兼容性会不太友好。

那么如果说一定要将100%的EVM等效编译到页面里面去会出现一个问题,你所对应的proof的生成时间会非常长,大家可能也看过去年V神写的一篇文章,一个完全等效的evm生成一个proof的时间,大概会在几个小时这样的一个量级。

这种冗长的时间会对这个类型的ZKevmLayer2的交易效率会有非常明显的影响,用户提出去的交易到能够确认需要等几个小时,这样的一个时间是过长的,文章里面也涉及到对整个电路部分的优化。

声音 | 赵长鹏:存储加密资产要寻找信誉最好的交易所:赵长鹏发推评论新西兰加密交易所Cryptopia遭黑客攻击一事:投资者自己存储代币,就要自己与黑客战斗,保护资产免遭损失。存储在交易所,则要使用最有信誉的、经验丰富的交易所。[2019/1/15]

个人理解这个部分的优化现在无论是以太坊自己的的团队,还是说外部的一个团队,大家都在尝试着去把优化尽可能的实现,使得说一个绝对完全等效的ZKevm能够尽快的被大家所用上。

在那之前就像大家刚才讲像Scroll或者Polygon,大家可能都会选择像Type2或者type3的这样的一些ZKevm,虽然等效性没有那么强,但是也能够极大可能性的让开发者不改变过去的开发习惯就可以实现一些应用。

Jesse

Polygon、StarkNet、Scroll三个不同项目对于ZKevm解决方案里面的特色是哪些?以及目前的进展以及之后的发展计划?

Leo

我现在介绍一下StarkEx和StarkNet。StarkEx它是一个商用的定制的解决方案,就像dydx等项目专门去为他定制的zk电路,然后因为它对于ZK在扩容方面的应用的话,这种单独为每个应用来单独定制的话是非常容易,但是这样的话其实是不具备开放性。

Starkware想要做另外一种扩容方案,一个开放式的无需许可的,然后这种通用型的Layer2解决方案,就推出了StarkNet。刚才cora说到,如果要做这种evm全兼容的通用型电路,难度是非常大的。

刚才也说到它的速度会比较慢,所以说Starkware在这方面就做了一个自己的语言,叫Cairo,Cairo它也是一个通用型的语言,是专门来处理stark证明的一个语言。

Cairo之前的一个版本跟Python比较像,最近要做一次重大的更新,升级到Cairo1。Cairo1是基于Rust的全新的语言。

Cairo1升级以后会对开发者更加友好,如果说之前有Rust的开发经验,可以很容易的来对接到StarkNet的生态里面。

之前Cairo的话并不支持循环,只是递归的形式,现在对开发者来说可以使用这个循环,然后还有很多新的功能,Cairo1现在已经开放了阿尔法测试,可以开始写ERC20的合约然后在测试网上来测试了,之后会逐渐的来更新让Cairo之前版本的所有功能在后面就会进行实现。

另外最近在22年年底和23年1月份又陆续了公开了sequencer和prover的开源。现在sequencer已经在上个版本实现了并行交易,如果开源的话,还会增加一些其他的功能来提高交易的速度,后面的话sequencer上有个对整个网络的性能会有很大的提升。

另外就是prover的开源,是基于之前通用型的证明器,就是说一个证明器每只能处理一种类型的这种交易,做一种类型的业务逻辑的证明,而通用型的证明器可以做成多种业务类型的都可以来产生证明,之后StarkEx的prover也会也会开源。

开源之后,在Stark上开发这些应用,开发者可以根据自己的需求来定制一些更好的方案。

另外还有StarkWare推出的全节点Papyrus一个新的Rust全节点。现在StarkNet市场已经有三个全节点,Equilibrium开发的Pathfinder,和Nethermind开发的Juno。之后Cairo1.0更新以后,StarkNet会有一次大的更新,就是StarkNet0.11版本,这个版本同时就会完全兼容Cairo1.0就是Rust的版本的Cairo。

这次升级会有一个社区的投票来决定,大家可以来参与到整个生态当中。另外刚才还有说到Evm,Starknet事实上并不是Vitalik提到的Evm之一,但是由Nethermind开发了一个转译器,就是可以将Soildity转译Cairo。这就是Warp。

通过Warp实际上也能实现Type4?EVM跟以太坊语言级别的兼容。Warp之前已经在去年十一月份已经将UniswapV3所有的合约转移到了Cairo,还有AAVE他们也是会用到Warp转译成Cairo,所以有对soildity有开发经验的开发者,通过Warp可以很轻松的来对接到Starknet网络当中。

Young

不同的项目对于ZK目前的一个解决方案是不太一样的,主要就分为在语言级别或者bytecode级别。

动态 | 韩国娱乐提供商用区块链寻找韩流人才:韩国娱乐提供商Z-POP Dream计划使用区块链技术寻找下一个韩国流行音乐人才,并开发一个新的娱乐平台。[2018/9/3]

Scroll在金融性方面是一个字节码级别去进入以太坊的ZKrollup。这样做的好处是对于evm的一些开发者来讲,他们在以太坊上面开发的体验和在scroll上面是完全一样的。

而且现在整个evm生态里面的Dapp,他们可以去无缝的去迁移到ScrollNetwork上面,去部署整个项目。这样对于开发者的体验非常好,对于开发者社区的成长会非常快。

另外一点就是我们是从第一天开始去做zkevm就是和以太坊基金会一起在开源的去build,这样好处就是会让整个Scroll的项目它的因为它代码是开源的,所以代码具有非常好的安全性。因为所有的PR和代码都是经过了非常多的贡献者和社区同行的评审。

另外这样一个开源的culture的一个社区,会吸引非常多对于zk广泛关注的人才,也会吸引非常多的开发者来社区做贡献。,Scroll也会自己的Grant,为了强化Scroll上整个生态的基础设施建设,同时也去服务整个生态的builder,去促进整个网络的连接。

目前Scrollfocus的领域,比如说像一些publicgoods,还有包括infra的research的一些项目,然后标准的话就跟我们自身的一个开源文化一样,我们会资助一些开源的项目,让项目去回馈整个Scroll,还有以太坊整个社区。

在Grant这方面,Scroll不光是去做一些资金的支持,也会提供技术层面或者其他的资源来帮助生态的开发者去解决他们当前遇到的一些问题,是目前Scroll最重要的宗旨。

另外第三点的话,Scroll应该是最早提出证明外包的概念。在证明者方面,Scroll会有一个ProverNetwork,在今年的话会上线一个decentralizedprovernetwork,还有一个非常快的GPU的解决方案去支持Prover的网络。

这样的话Scroll会为整个Layer2去产生Proof提供非常大的支持,同时它未来还会给Layer3一些像性能要求高的应用,会给他们提供一些这种Proof的生成的支持。

在证明网络这方面,Scroll今年会开源一个硬件加速算法,另外Scroll现在也在和国内外的一些做硬件的厂商去做一些合作,可能会开出应用加速这块API,然后去找一些合作伙伴去测试,主要还是对于目前整个机型,包括一些整体的优化的测试。

目前整个网络的进展的话,Scroll在22年8月份上线的Prealphatestnet,在10月份Scroll做了一次比较大的升级,然后会在2月中下旬会把测试网整个都迁移到Ethereumgoerli里的版本,scroll预计在今年的Q2末左右会上线我们的ProverNetwork,然后会在今年年底会Launch主网,在主网之前会进行非常严格的一些安全审计。

在Sequencer方面的话,Scroll会在主网上线之后做一个去中心化,今年也会出一些关于dcentralisesequencers的文章。

因为我们觉得前期的sequencer去中心化不一定很好,但还是sequencer去中心化是一个长期的方案。目前整个生态方面,Scroll去接触了大量的基础设施项目,为后面生态的成长去做基础性的建设。

Cora

Polygonzkevm目前实现了zkproof的开源,包含完整的可用源代码的zk证明系统,并且承诺完全开源,然后是由社区驱动的无需许可协调者网络以及带有验证奖励代币的去中心化的一个拍卖模型。

Polygonzkevm目前已经通过了100%的适用于zkevm的以太坊测试向量,开发人员可以复制粘贴适用于以太坊的代码,并且使用它在Polygonzkevm上面构建是无需做任何更改的。

所以以太坊工具都可以与Polygonzkevm无缝的衔接以及协作,那么Polygonzkevm也不会为了evm等效性而牺牲性能。目前一批数百笔交易的证明时间是接近两分钟,在不久的将来吞吐量是会增加的。需要强调一下的是证明时间它是决定了延迟不是扩展性,所以Polygonzkevm可以并行的生成证明,几分钟之内在Layer1上实现高吞吐量的交易。

Polygonzkevm在3月27号进行主网的测试版本的上线,在6个月的测试网的运行下,Polygonzkevm超过了84,000个钱包的注册,生成了超过30万个区块,生成了超过75,000个zk证明,部署了超过5000个智能合约,两次公开的第三方审核。

后面还进行了6个月的公开测试,100%通过了适用于zkevm的以太坊测试量,并且将证明生成时间缩短到将近两分钟,为大量交易生成证明的成本,现在降低到差不多0.06美金。

Polygon的目标是做到V神说的type2,也就意味着Polygonzkevm最终从内部看起来是与以太坊一模一样的,Polygonzkevm还在不断的优化中,也欢迎有更多的项目方来我们即将上线的主网的测试版本进行测试。

Jesse

零知识证明在未来的Web3中会去扮演着什么样的角色呢?除了经常谈到的扩容和隐私,还有没有哪些场景没有被挖掘?在零知识证明赛道里面还有哪些值得关注的早期项目?

潘致雄

我觉得扩容和隐私肯定是两个大的方向,扩容这一块能看到大家都在往zkevm相关的事情在做尝试,但是从更长期角度来看,更通用的evm或者不需要承载以太坊包袱的evm也可能会是一个相对长期的方向。

已经有些项目在做这些早期的尝试,包括新的Layer1或者是Layer2上,我觉得至少也会有人做这些通用的evm,像starknet这种,其实我觉得可能相对长期一些.然后隐私这块其实有非常多的场景的,比如说资产、转账等。

最近我们在调研一个叫以太坊基金会旗下的一个应用零知识证明团队appliedzkp团队,他们的semaphore的一个代码库工具库,他们发布了V3的代码,叫这里叫semaphore,他们其实包装了很多底层的电路之类的一些东西。

对于开发者而言不需要了解零知识证明这些东西,但是对于Dapp的开发者,你了解这个之后,你就可以直接来使用semaphoreV3,可以做一些特定的ZK场景。

比如他们现在提供的两个场景,可以证明你所在某一个群组里面的关系,另外一块可以证明某一个组里面的人做了一次投票,或者是说了一句什么话,但是不用揭露你自己到底是谁,但他和你是一个群组的。

工具代码库开源了之后,会有很多新型的社交类产品都有可能去使用他们,比如说在在去年就有个团队展示的一个项目叫unirep.social,他们把semaphore和一些概念融合在一起,做了一个博客和推特类的一个产品,用户可以匿名的给一些人投票支持他们。

我觉得在零知识证明的框架下,会细分出很多新的有意思的很具体的一些场景,然后可以利用在相对比较通用的这种平台上,作为新的功能能赋予大家。

Todd

我先沿着潘老师刚刚讲的隐私方面做个补充,最近有看到一批项目,尝试着基于ZKP去做关于KYC这个部分,想去实现就是说对传统用户链下身份的认证,最后将认证的结果发送到链上。

就是说这个客户是KYC过的,但并不会将客户的具体的一些信息给发送到链上,因为链上数据库是一个完全公开的状况,如果你把用户的信息完全放在链上的话,是不太符合传统金融里面的一些场景或者需求的。

除此以外,就是用ZKP运用到跨链这个方向。主要的价值其实是用ZKP去记录整个lightclient这种跨链模式,它会验证整套体系,然后用ZKP去复刻,最后将整个结果以ZKP发送到链上。

最终能够实现的效果就是让单个区块的BlokHeader的可以以一个trustless的情况下,发送到任意一个目标链上,最终落到整个跨链整个领域的话,以一个trustless高效的方式完成对信息跨链的这样的一个支撑。

平时使用跨链的话,大家知道在跨链这个领域过去会存在着所谓的不可能三角,在你的效率,在setup,在成本的几个部分其实是没有办法同时去满足的。

但是在这些基于ZKP去新做出来的类似ZKbridge这样的东西,如果这些项目他们能够按照自己的白皮书去比较完整实现的话,那么大家在未来可以用到一个安全高效,而且且是一个完全trustless,成本也很低的跨链工具。这就是做一个说在ZKP过去一段时间里面,看的比较多的能够发挥价值的一个方向。

Cora

我本来想分享的跟ZK有关的内容,其实跟Todd讲的有一点类似。现在整个行业其实对于DID这块是有一个比较大的预期的,DID未来的价值估量是不会低于公链的。

Polygon也有PolygonID这个产品,它也是用ZK的技术来做的。现在可以不仅仅把目光放在zkevm上面,还可以放到比如说隐私计算这一块,因为zk它也是有隐私功能的。

如果隐私计算加上一个零拷贝技术,零拷贝技术也是Web2的一些大厂在研究的,用隐私计算加零拷贝的技术,在未来可能还会配合。

比如协调多方计算这样的功能,就像Todd讲的有些项目可能不需要你真实的数据,只需要给一个数据框架就可以自己计算找寻数据,然后通过ZK的隐私计算,把计算的结果上传到链上。

其实我觉得大家可以多关注多元的东西,就是围绕zk这个技术,再配合其他的技术亮点做出来的项目。

比如说大多数人认为Layer2它一定是未来的一个热度,有zk这个技术,包括DID包括Socialfi、Gamefi这些赛道都很大。但是从个人的观感,比如说Socialfi配合DID的融合技术的赛道会更值得关注。

Jesse

最后一个问题,作为普通投资者的话,我们如果想要搭上ZK的快车,我们有哪些可以做的?

Cora

大家可以多去看一些,它没有主要标榜ZK技术,但是它是用到了zk技术的项目,它的技术亮点可能就是比如说多方计算或者零拷贝,这些是比较有亮点的项目。

如果有一个大前提是比如说是DID或者资产跨链,能够解决整个区块链的生态技术瓶颈的项目,其实大家是可以多看一点的。

再回到针对于以太坊的扩容的Layer2的赛道来说,其实就是很简单,要么就是没发币的项目就多参与互动,以个人的形式或者团队的形式去获取一点奖励。

发了币的的话,像Polygon这种的已经上了二级了,大家可以去看一下Polygon现在的整个发展的基本面,那么大家可以去考虑一下要不要在相对比较低的时候去买一些代币去做价值投资。

我们经常说现在的整个行业的投资环境已经不像早期的只看技术逻辑是能实现的就有投资了。现在不仅仅是这样,还要看你团队的运营能力怎么样,团队的BD能力怎么样,你团队有没有一个就是你能推动你这个公司在整个行业里面往前走的一个好的strategy,我觉得这个很重要。

所以现在其实很多资本或者资产比较多的个人投资者,他们会比较看好Polygon的一个原因就是Polygon的一个基本面已经给大家展示出来了,去年我们是唯一一个带着整个行业去推动Web2资产的一条链。

在去年在行情不好的情况下,Polygon的代币相对来说是非常保值的,所以个人觉得投资者在未来的一个投资可能是需要多去看看一个团队的综合能力的。

我是觉得相对来说喜欢价值投资的比较保险的投资者,可以选择Polygon,对于一些风险偏好稍微大一点的,可能他想要一个更大的收益的。那么可以去看一些现在比较初创的,用zk技术来做的一些项目。

Leo

实际上目前的ZK就像潘老师说的主要还是扩容,方案也就是在座的各位的这几个项目,然后以StarkNet来说,上面的生态现在也逐渐的在繁荣,未来会随着新的Layer2这种高性能的基础设施,肯定会诞生出以太坊这样的生态,肯定会诞生出全新的东西会出来。

现在有一些有意思的东西,像全链上的游戏,有一些在StarkNet上比较的活跃,还有一些另外的一些DeFi的项目,大家都可以来多关注。

另外刚才说到zk的应用,事实上Cairo这个语言实际上它不光是一个在StarkNet上使用,并不是一个专门写智能合约的语言,它是一个通用型的语言,相当于就跟c语言rust这些语言是一样的,它不限于在StarknNt上写智能合约,它可以做一些很多其他的事情。

未来zk就像大家刚才说的,如果说zk的技术在其他领域有发展的话,这个Cairo也可以在StarkNet之外可以得到更多的应用,我就说这两点。

Young

我觉得对于普通投资者来讲的话,也可能包括对一些机构来讲,未来ZK还是一个非常大的赛道,我可以分为几个大的方面。

首先第一点,关于zk的就是硬件加速这一块,我们知道原来去原来btc它的价值是在于它去计算一些哈希,最终它消耗一些资源,达成共识,它有一定价值。

然后对于zkp的来讲的话,它本质上它是算了一些更有用的计算,做了大量的并行计算,也消耗非常多的算力,去产生proof来支撑整个基础设施,包括基础设施之上的一些应用。

所以我觉得ZK在硬件加速这一块,ZK挖矿大的赛道上面,本质上来讲是一个非常有潜力的,因此我觉得对于普通的投资者来讲的话,可以关注一下这个方面。

第二点的话,大家可以关注一下ZK在Gaming方面的一些应用,就是一我觉得未来的话ZK加Game包括一些跟Gamefi之类会有非常大应用场景。

现在的Scroll的话在和像腾讯,包括一些非常大的知名的游戏公司也在做这种的合作,包括最近马上我们要去参加腾讯云的关于Web3的会议,也可能也会去跟他们去聊聊,就在游戏方面基于zk的一些探索。

比如说像然后这是在游戏方面的。另外的话在中间件也是有一些不错的,像刚才Todd老师提到的关于bridge类似这种项目,另外的话还有一些做zkoracle的一些项目,我觉得这些基于ZK的中间件大家可以去重点去看一下。

在zk在MeV这个方面肯定也是有一些场景的大家也可以重点去关注一下。

另外的话我们也可以回归到zk它本身。我把zk分为就是4个大的方向,首先第一点就是protocol在zk企业层面它有哪些新的机会。

然后在circuit这一层的话,它可能会有一些非常好的开源电路库,大家也可以去关注一下他们背后的团队。

另外的话在zk这个行业赛道上面还有一些把zk在前端展示非常好,他们去做一些前端带图灵的一些工具,包括后端的一些工具。我觉得做工具的这些方向大家也可以去看一下。

最后一个就是关于zk的一些应用,对,所以其实本质上zk能想到的,现在有在做的方向会非常多,所以赛道非常有机会的,大家可以深度的去关注一下,肯定是能发现未来就是特别大的项目的一些潜力。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

FILCHA:ChatGPT反噬百度

一则传闻,成了打断百度股价上升态势的重要因素之一。当天发布2022年第四季度财报之后,百度股价美股盘前一度大涨7.6%,开盘后却由涨转跌,最终当天收盘后百度股价下跌2.6%.

[0:15ms0-1:963ms