皇冠官方网址(www.huangguan.us)是皇冠体育官方信用网线上直营平台网址。皇冠官方网址开放信用网和现金网代理申请、信用网和现金网会员注册、线上充值线上投注、线上提现、皇冠官方APP下载等业务。

首页科技正文

联博统计接口(www.326681.com)_寻找 2023 ZK 赛道新密码

admin2023-02-245chơi tài xỉu kiếm tiền

集会成员

主持人:Jesse,Biteye 内容组长

嘉宾:

Cora,Polygon Head of China

Leo,StarkNet 中文焦点孝顺者

Todd,A&T Capital Investment Director

Young,Scroll 研究员

潘致雄,ChainFeeds Founder

问题导览

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

2. Polygon、StarkNet、Scroll 三个差异项目对于 ZKevm 解决方案内里的特色是哪些?以及现在的希望以及之后的生长设计?

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

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

集会摘要

zkevm 分类:根据 V 神 zkevem 的 4 个分类 (以太坊兼容性和 zk 证实时间的权衡),scroll 和 polygon 正在建设第二个分类(完全 evm 兼容),而 starkware 通过把 Solidity 编译成 Cairo,也可以实现第四个分类(高层的编程语言兼容)。

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

项目新动向:基于 zk 手艺的 Polygon ID;Visa 最近在 Starkware 做了支付的应用,关注 Starkware 的链游和 defi;Scroll 开源方式和社区共建 zkevm,以及漫衍式的证实者网络。

zk 应用场景:扩容,隐私(包罗基于 zk 的 KYC),zk 跨链桥,zk oracle,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,上面的应用有 DYDX IMX 等异常着名的项目。

现在已经处置的总生意量已经有 8500 多亿,单日的最高生意量有 100 多亿。StartEx 是最早的一个行使 zk 手艺 stark 有用性证实来做的一个扩展的方案。

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

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

以是说 StarkNet 未来在 Layer2 上会有异常差其余显示,希望人人能多多关注,谢谢。

Todd

我是 Todd,来自于 A&T Capital ,我们 Fund 在 zk 方面现在为止投了有像 Scroll,delphinus lab,然后最近也有介入一些硬件方面的投资。ZK 也是我重点去关注去研究的一个偏向,就先先容到这里。

Young

Hello 人人好,我是 Young。现在做一些 ZK 和以太坊相关一些手艺研究,然后 Scroll 的话我们是一个字节码级别去兼容以太坊的 zk rollup,也就是 evm 的 ZK Rollup。Scroll 是在不牺牲平安性的条件下,对以太坊举行扩容。

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

现在我们正在和以太坊基金会一起以开源的方式去配合去 build zkevm. 因此 Scroll 的应该说是这种性能最好的 Layer2。

从整个 ZKevm 的话,从第一天 Build 我们就是以一种开源的方式,实在有这样一个开源的代码,对于整个项目有异常多的一些怪异属性,所有的 PR 和代码都经由了一些孝顺者和社区偕行的评审,同时就是这样一个开源的气氛,吸引了许多的 zk 开发的人才,另有一些对 ZK 关注的行业的学术机构。

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

另外我们在 Proof 方面我们会有个 Proof network,这样可以高效的支持我们去做一些并行加速的盘算辅助证实快速的天生。

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

现在整个网络的情形是在去年 10 月份的时刻,允许了开发者另有一些 DeFi 在上面去部署合约,包罗一些 ERC20 代币的一些跨链。

然后现在的话,现在我们会在 2 月尾左右我们会上线 ETH Goerli 的测试网,这版本的功效会是一个加倍完整的 proof,然后我们会把所有的 code 都市去对应 zk 化。

我们现在在生态方面的互助了包罗像 Lens,The graph、Ledger、Orbiter ,现在已经有几十个项目步入我们的测试网,另有 100 多个项目正在我们测试网去做一些测试。

现在整个测试网的一个数据化是我们现在做 zkevm 的偕行总生意量的 300 倍左右,然后应该是 zkSync 的现在总生意量的 2 万倍左右。

潘致雄

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

Jesse

在最先之前向人人简朴的先容一下什么是零知识证实,以及它是若何事情的。零知识证实它的英文就是 Zero-knowledge Proof,也就是俗称的 zk,是一个早在 1985 年就提出来的数学协议。

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

以是零知识证实提供了一种有用的,险些没有风险的一种数据分享方式,行使零知识证实,我们可以保留对数据的所有权,可以极大的提高隐私珍爱,有可能会使我们数据泄露的事情成为已往式。

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

合理性是指若是一个声明是错误的,在绝大多数的情形下,诱骗的证实者不能让忠实的验证者信托这个虚伪的证实,也就是说若是一个事宜它是错误的,那么一定是对不了。

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

证据指的就是隐秘信息,不想让其他人知道的信息,用证据就是来确立一系列的问题,而这些问题只有知道这些信息的人能够准确回覆,验证者会首先提议一个挑战,他会随机的抽取一个问题来要求证实者往返覆,证实者接受这个问题之后,会把盘算的效果返还给验证者,证实者的回应能够使验证者来检查这个证实者是否知道这个证据。

若是这个历程重复许多次之后,证实者在不知道这个隐秘信息的情形下,猜中准确谜底的概率就会变得异常的低,这也就是为什么零知识证实它是有用的,然则交互式的零知识证实它具有一定的局限性,一方面它是需要我们举行多次的重复验证,效率会对照低。

另一方面,每一个证实它不能以在自力的验证中重复使用,以是实在交互式证实相对来说效率会对照低。

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

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

Jesse

在领会完零知识证实之后,下面我们进入提问环节。

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

Young

关于零知识证实的话,它自己的看法照样对照宽泛的,建议人人就可以去看一下相关文章。

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

以是你要证实一个 statement 的真实性,而不去透露任何超出这个 statement 自己有用性的信息。

关于 ZK Rollup 我们可以首先领会一下什么是 Roll up,它实在是一种把盘算去移到链下,同时把一些纪录的新闻或者生意放在 Layer 1 上的一种方式。

Roll up 本质上实现了两个大的偏向,它释放了原来手艺层的一些资源,同时又继续了现在 Layer 1 的平安性。

然后 Roll up 主要分为两种,一种是 Optimism Roll-up,然后另一种就是今天要讲的 ZK Rollup。ZK Rollup 的一个起点就是一最先在 Layer1 上有一个问题,每笔生意都需要去广播到一个 P2P 的网络里,各个节点会收到一个装满生意的块,人人都需要去重新执行内里的所有生意,这样的方式其着实 Layer 1 是异常低效的,而且会存在大量冗余。

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

好比说可以恢复出 account 数值等一些对照主要的信息,它可以作为 public input 和再加 proof,它要比原生的生意要小许多,而且验证这些 proof 的效果和你去重新去执行去盘算这些生意是完全等价的。

因此我们可以把 ZK Rollup 归结为三点,它行使了 ZK-SNARK 去做生意的验证。

其次所有节点之间它不需要信托证实者就可以验证生意的准确性,同时它在使生意成本更低的情形下,又继续了以太坊的平安性。

关于 ZK Rollup 的扩容和隐私方面,主流的zkevm它并没有去思量隐私性。

实在主要用到了 ZK-SNARK 内里一个的特征去把盘算量给压缩下来。现在这一块的话,做 ZKevm 项目和一些隐私珍爱项目也没法对比,然则做隐私是一个异常主要的偏向。

Cora

ZKevm 大致人人明白的就是用 ZK Rollup 解决 evm 兼容的问题。简朴的说就是让零知识证实 ZK 这个手艺更好的兼容以太坊现有的基础设施,然后提高 zk 证实的天生和验证效率。

ZK Rollup 的 evm 兼容之以是成为一个需要解决的问题,是由于以太坊在确立之初没有思量兼容 ZK 手艺,现在用 evm 直接天生验证 zk 的证实速率是异常慢的,凭证以太坊现在的情形,可能需要几个小时,以是说 ZK Rollup 需要在 evm 兼容与 ZK 效率之间做一个平衡。

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

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

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

类型二是 Polygon 现在对照想到达的一个目的,虽然不完全等效以太坊,然则完全等效 evm。类型二与以太坊的数据结构上会有一些差异,删除了部门对 ZK 不友好的客栈,但它会完全兼容现有以太坊的 APP 调试的工具和开发职员的一些基础设施。

类型三实在就是现在 polygon 处在的一个阶段,险些等效于 evm。

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

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

Todd

从本人角度来讲,ZK evm 跟其他的 evm 最焦点一个区别就是他们最后发送到以太坊的 section,或者说一个数据 Data 包内里,所包罗的器械是纷歧样的。

Zk 发送回以太坊的是一个 zk 的 proof,在以太坊一层网络上是需要能有一个verifier,然厥后验证 zkevm 发回到以太坊一层的 package,来确认以 evm 为自己虚拟机的 Layer 2,他们在已往的这一个块内里所执行所有生意的真实性。

而其他的 evm 更多的实在是直接把整个生意压缩了以后就发回,并不是以一个 proof 的形式所发回去的. ZK 的 Layer2 通常来讲只需要守候以太网一层网络验证完了proof以后,其他整个 Layer 2 已往这一个区块的生意就已经可以到达最终性了,而不是像 Arbitrum 或者 Optimism 也许需要有 7 天的守候期,才气够完成对 Layer 2 生意简直认。

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

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

那么若是说一定要将 100% 的 EVM 等效编译到页面内里去会泛起一个问题,你所对应的 proof 的天生时间会异常长,人人可能也看已往年 V 神写的一篇文章,一个完全等效的 evm 天生一个 proof 的时间,也许会在几个小时这样的一个量级。

,

以太坊统计网

,

以太坊博彩游戏www.eth0808.vip)采用以太坊区块链高度哈希值作为统计数据,以太坊博彩游戏数据开源、公平、无任何作弊可能性。

,

www.326681.com采用以太坊区块链高度哈希值作为统计数据,联博以太坊统计数据开源、公平、无任何作弊可能性。联博统计免费提供API接口,支持多语言接入。

,

这种冗长的时间会对这个类型的 ZKevm Layer2 的生意效率会有异常显著的影响,用户提出去的生意到能够确认需要等几个小时,这样的一个时间是过长的,文章内里也涉及到对整个电路部门的优化。

小我私人明白这个部门的优化现在无论是以太坊自己的的团队,照样说外部的一个团队,人人都在实验着去把优化尽可能的实现,使得说一个绝对完全等效的 ZKevm 能够尽快的被人人所用上。

在那之前就像人人适才讲像 Scroll或者 Polygon,人人可能都市选择像 Type2 或者 type3 的这样的一些 ZKevm, 虽然等效性没有那么强,然则也能够极大可能性的闪开发者不改变已往的开发习惯就可以实现一些应用。

Jesse

Polygon、StarkNet、Scroll 三个差异项目对于 ZKevm 解决方案内里的特色是哪些?以及现在的希望以及之后的生长设计?

Leo

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

Starkware 想要做另外一种扩容方案,一个开放式的无需允许的,然后这种通用型的 Layer 2 解决方案,就推出了 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。之后 Cairo 1.0 更新以后,StarkNet 会有一次大的更新,就是 StarkNet 0.11 版本,这个版本同时就会完全兼容 Cairo 1.0 就是 Rust 的版本的 Cairo。

这次升级会有一个社区的投票来决议,人人可以来介入到整个生态当中。另外适才另有说到 Evm,Starknet 事实上并不是 Vitalik 提到的 Evm 之一,然则由 Nethermind 开发了一个转译器,就是可以将 Soildity 转译 Cairo。这就是 Warp。

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

Young

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

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

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

另外一点就是我们是从第一天最先去做 zkevm 就是和以太坊基金会一起在开源的去 build,这样利益就是会让整个 Scroll 的项目它的由于它代码是开源的,以是代码具有异常好的平安性。由于所有的 PR 和代码都是经由了异常多的孝顺者和社区偕行的评审。

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

现在 Scroll focus 的领域,好比说像一些 public goods,另有包罗 infra 的 research 的一些项目,然后尺度的话就跟我们自身的一个开源文化一样,我们会资助一些开源的项目,让项目去回馈整个 Scroll,另有以太坊整个社区。

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

另外第三点的话,Scroll 应该是最早提出证实外包的看法。在证实者方面,Scroll 会有一个Prover Network,在今年的话会上线一个 decentralized prover network,另有一个异常快的 GPU 的解决方案去支持 Prover 的网络。

这样的话 Scroll 会为整个 Layer 2 去发生 Proof 提供异常大的支持,同时它未来还会给 Layer 3 一些像性能要求高的应用,会给他们提供一些这种 Proof 的天生的支持。

在证实网络这方面,Scroll 今年会开源一个硬件加速算法,另外 Scroll 现在也在和海内外的一些做硬件的厂商去做一些互助,可能会开出应用加速这块 API,然后去找一些互助同伴去测试,主要照样对于现在整个机型,包罗一些整体的优化的测试。

现在整个网络的希望的话,Scroll 在 22 年 8 月份上线的Pre alpha testnet ,在 10 月份 Scroll 做了一次对照大的升级,然后会在 2 月中下旬会把测试网整个都迁徙到 Ethereum goerli 里的版本,scroll 预计在今年的 Q2 末左右会上线我们的Prover Network,然后会在今年年底会 Launch 主网,在主网之前会举行异常严酷的一些平安审计。

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

由于我们以为前期的sequencer去中央化纷歧定很好,但照样 sequencer 去中央化是一个耐久的方案。现在整个生态方面,Scroll 去接触了大量的基础设施项目,为后面生态的发展去做基础性的建设。

Cora

Polygon zkevm 现在实现了 zk proof的开源,包罗完整的可用源代码的 zk 证实系统,而且答应完全开源,然后是由社区驱动的无需允许协调者网络以及带有验证奖励代币的去中央化的一个拍卖模子。

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

以是以太坊工具都可以与 Polygon zkevm 无缝的衔接以及协作,那么 Polygon zkevm 也不会为了 evm 等效性而牺牲性能。现在一批数百笔生意的证实时间是靠近两分钟,在不久的未来吞吐量是会增添的。需要强调一下的是证实时间它是决议了延迟不是扩展性,以是 Polygon zkevm 可以并行的天生证实,几分钟之内在 Layer 1 上实现高吞吐量的生意。

Polygon zkevm 在 3 月 27 号举行主网的测试版本的上线,在 6 个月的测试网的运行下,Polygon zkevm 跨越了 84,000 个钱包的注册,天生了跨越 30 万个区块,天生了跨越 75,000 个 zk 证实,部署了跨越 5000 个智能合约,两次公然的第三方审核。

后面还举行了 6 个月的公然测试,100% 通过了适用于 zkevm 的以太坊测试量,而且将证实天生时间缩短到快要两分钟,为大量生意天生证实的成本,现在降低到差不多 0.06 美金。

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

Jesse

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

潘致雄

我以为扩容和隐私一定是两个大的偏向,扩容这一块能看到人人都在往 zkevm 相关的事情在做实验,然则从更耐久角度来看,更通用的 evm 或者不需要承载以太坊肩负的 evm 也可能会是一个相对耐久的偏向。

已经有些项目在做这些早期的实验,包罗新的 Layer1 或者是 Layer2 上,我以为至少也会有人做这些通用的 evm, 像 starknet 这种,实在我以为可能相对耐久一些. 然后隐私这块实在有异常多的场景的,好比说资产、转账等。

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

对于开发者而言不需要领会零知识证实这些器械,然则对于 Dapp 的开发者,你领会这个之后,你就可以直接来使用 semaphore V3, 可以做一些特定的 ZK 场景。

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

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

我以为在零知识证实的框架下,会细分出许多新的有意思的很详细的一些场景,然后可以行使在相对对照通用的这种平台上,作为新的功效能赋予人人。

Todd

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

就是说这个客户是 KYC 过的,但并不会将客户的详细的一些信息给发送到链上,由于链上数据库是一个完全公然的状态,若是你把用户的信息完全放在链上的话,是不太相符传统金融内里的一些场景或者需求的。

除此以外,就是用 ZKP运用到跨链这个偏向。主要的价值实在是用 ZKP 去纪录整个 light client 这种跨链模式,它会验证整套系统,然后用 ZKP 去复刻,最后将整个效果以 ZKP 发送到链上。

最终能够实现的效果就是让单个区块的Blok Header的可以以一个 trust less的情形下,发送到随便一个目的链上,最终落到整个跨链整个领域的话,以一个 trustless 高效的方式完成对信息跨链的这样的一个支持。

平时使用跨链的话,人人知道在跨链这个领域已往会存在着所谓的不能能三角,在你的效率,在 set up,在成本的几个部门实在是没有设施同时去知足的。

然则在这些基于 ZKP 去新做出来的类似 ZKbridge 这样的器械,若是这些项目他们能够根据自己的白皮书去对照完整实现的话,那么人人在未来可以用到一个平安高效,而且且是一个完全 trustless,成本也很低的跨链工具。这就是做一个说在 ZKP 已往一段时间内里,看的对照多的能够施展价值的一个偏向。

Cora

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

Polygon 也有 PolygonID 这个产物,它也是用 ZK 的手艺来做的。现在可以不仅仅把眼光放在 zkevm 上面,还可以放到好比说隐私盘算这一块,由于 zk 它也是有隐私功效的。

若是隐私盘算加上一个零拷贝手艺,零拷贝手艺也是 Web2 的一些大厂在研究的,用隐私盘算加零拷贝的手艺,在未来可能还会配合。

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

实在我以为人人可以多关注多元的器械,就是围绕 zk 这个手艺,再配合其他的手艺亮点做出来的项目。

好比说大多数人以为 Layer2 它一定是未来的一个热度,有 zk 这个手艺,包罗 DID 包罗 Socialfi、 Gamefi 这些赛道都很大。然则从小我私人的观感,好比说 Social fi 配合 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 类似这种项目,另外的话另有一些做 zk oracle 的一些项目,我以为这些基于 ZK 的中央件人人可以去重点去看一下。

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

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

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

另外的话在 zk 这个行业赛道上面另有一些把 zk 在前端展示异常好,他们去做一些前端带图灵的一些工具,包罗后端的一些工具。我以为做工具的这些偏向人人也可以去看一下。

最后一个就是关于 zk 的一些应用,对,以是实在本质上 zk 能想到的,现在有在做的偏向会异常多,以是赛道异常有时机的,人人可以深度的去关注一下,一定是能发现未来就是稀奇大的项目的一些潜力。

查看更多

网友评论

最新评论

热门标签