寻找 2023 ZK 赛道新密码

会议成员

主持人：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 的时刻，大约会在几个小时这样的一个量级。

这种冗长的时刻会对这个类型的 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 能想到的，现在有在做的方向会十分多，所以赛道十分有机会的，咱们能够深度的去重视一下，肯定是能发现未来便是特别大的项目的一些潜力。