Scroll Talk #1：Scroll与ZK同行

来源：Scroll CN

Scroll Talk 是 Scroll CN 主理的一档播客节目。咱们会经过不同的办法，和 Scroll 团队，Scroll 生态项目方对话，协助咱们更了解 Scroll。

本期节目，咱们请到了Scroll的联合创始人Ye Zhang，和他一同来聊聊关于Scroll和ZK的论题，包含zkEVM的规划与取舍，证明体系的挑选，硬件加快的证明者网络，以及ZK的未来。

F.F: 哈喽咱们好，欢迎咱们来到Scroll Talk，今日很高兴约请到了Scroll的联合创始人张烨，之前咱们 Scroll CN 也发布过许多关于张烨的采访和讲演。然后这应该是第一次和 Ye面临面的沟通，然后首要十分感谢 Ye 的到来。在整个零常识证明社区，Ye现在的影响力都十分的大，但咱们仍是想让Ye先来做个简略的毛遂自荐。

Ye：哈喽哈喽，感谢Scroll CN 安排这次采访，然后也一向感谢 Scroll CN 在中文社区里边做的奉献，包含翻译质量都很高，然后协助咱们在中文社区有很大的影响力。简略做一个毛遂自荐，咱们好，我叫张烨，然后是 Scroll 的联合创始人之一，我首要做的方向是偏零常识证明相关的研讨。我之前会集在三个方向。

第一个方向是零常识证明的硬件加快，大约5年前开端开端做这个方向，由于5年前咱们运用零常识证明最大的一个瓶颈便是生成证明十分的慢。比方说像Zcash这样的运用为一个买卖生成证明要很长的时刻，或许是10分钟乃至更长。然后这就导致说零常识证明不能被许多体系选用，由于证明功率太低。所以我的第一个研讨方向便是怎样经过GPU，FPGA和ASIC硬件去加快证明生成。

第二个方向便是偏零常识证明后端的这些密码学和数学。由于零常识证明是一个十分杂乱的密码学协议，触及了多项式等许多数学。然后我的首要研讨作业便是读一些许多的论文，看怎样样能优化现有的一些算法，会更偏理论一些。

第三个方向的话便是更偏运用层面，便是怎样去给zkEVM规划架构，规划电路，怎样能给zkEVM生成证明。

总的来说大约涵盖了三个方向，零常识证明的硬件加快，零常识证明的理论算法，以及零常识证明的相关运用。

然后在Scroll的话，我首要会聚集在一些偏研讨类的作业，包含零常识证明相关的研讨，协议规划层面的研讨，然后还有一些整个公司的相关战略。

F.F：谢谢Ye，然后咱们知道你一向在做ZK的研讨，那是有什么样的关键让你挑选创建Scroll，然后一向在ZK范畴深耕，这儿边是什么动机一向鼓励你一向往前走下去?

Ye：这是一个很不相同的故事。现在大多数人听说过零常识证明或许学习ZK，都是由于咱们知道到区块链有零常识证明的需求，但其实我学习的进程是相反的。我其实是相反过来，是先被ZK招引，然后发现ZK能够用在区块链里边。我是在本科的时分，跟实验室的一个高年级的学长，一同在做一些硬件加快算法相关的研讨。然后其时最火的其实是在做AI加快，可是我对AI其实不是很感兴趣，我觉得他这个调参的进程没有一个能够让我了解的数学模型，便是为什么这个参数经过练习会是这个成果。我更喜欢一些确认性更强的数学，便是我能知道作业产生的概率。所以我会天然的更喜欢密码学数论这一套东西，然后其时就发现了零常识证明的这个算法，然后又发现了他有十分大的硬件加快的需求。所以我开端做相关的研讨，后来在我研讨加快算法的进程中，我发现这个算法自身的魅力会比硬件加快更大，由于它里边触及了许多十分奇妙的一些多项式的构造，还有一些协议的构造等等。假如你真的深入去看任何一个零常识证明的协议，你会发现它真的十分奇妙，经过多项式的规划，去编码程序。然后再经过一些多项式的点去验证多项式的一些性质，终究把它紧缩成一个十分十分小的证明，整个数学构造十分的奇妙。所以我开端进入零常识证明这个行业彻底是被他数学构造的魅力给招引，然后后期才发现说我研讨的这个东西刚好能够处理区块链现在本质上遇到了最大的问题，便是扩容。

然后我后来又知道到了整个以太坊的生态十分的昌盛，而且它有一个十分好的开源社区，跟我自己的个人崇奉会更契合一些，它整个研讨的气氛，拥抱开源的情绪，以及追求学术严谨的风格，也让我彻底被它招引，一同又知道到了整个区块链它不是一个悬空的故事，而是一个实在的能处理许多人日子中问题的架构。它或许是下一代的金融基础设施，许多人是真的需求通明度，需求抗检查性。所以我觉得区块链是有实在的运用场景的，然后一同我的技能能够处理这个问题。

在21年年头的时分是一个最好的时刻节点，由于零常识证明的功率现已提高了2-3个数量级。当一个技能有2-3个量级提高的时分，其实是会有巨大的时机，不管是创业时机也好，或许是其他新的一些时机。由于之前不能处理的问题现在能够处理。其时觉得zkEVM其实是一个最大的一个时机，其时没有许多人做，或许说没有许多人做出来。然后咱们有一个十分好的关键，再加上有这样技能的积累，能去处理这样的问题，所以咱们就开端去做Scroll。

其实之前我读博士也是在做零常识证明这个方向。可是我知道到一个问题，便是你在业界，比方说在Scroll，你也是能有很大的灵活性去做ZK的相关研讨，而在学校你必须得跟一个导师去协作，然后你或许只能在一个方向上研讨。

可是在Scroll的话，你或许有更大的灵活性，由于你首要处理的问题是一个实在的业界的问题，所以你处理了这个问题今后，它的影响力会更大。然后第二个，你不会只是局限于博士研讨的一个方向，你能够经过一些Grant，经过一些其他办法去跟更多的人协作。所以的话。其实在Scroll，我在做相同的作业，只是在业界的话会更有影响力，处理最实在的问题，而且协作的规模会更广。 所以我觉得这条路对我来说会比读博更有招引力一些。

ZK 技能开展与未来

F.F：理解谢谢Ye，能了解是 ZK 背面数学迷人的魅力，然后招引着你一向在做相关的研讨。听到下来首要的一个打破点，应该便是两三年前，是不是ZK有类似于本年像ChatGPT横空出世，有十分许多级的打破。

Ye：对对对，我觉得是这样的，可是它不像ChatGPT是一个爆点，然后突然引爆了一切。它是一个许多层要素叠加的进程，比方说我之前一向在研讨的硬件加快方向，它能够把零常识证明的功率提高10到100倍；然后再加上一些多项式对电路的新的表明办法，比方说经过更高阶的自界说门 ( Custom Gate ) 和 查找表 ( Lookup Table)就能够更高效的表明，又把开支下降10倍；然后还有一些递归证明 ( Recursive Proof ) 能够把许多证明聚合起来，又节约了验证那块的许多本钱。所以我觉得这三点加起来才会导致说有一个巨大的功率提高。

终究当然成果是功率提高，可是它不像ChatGPT是一个突然爆火的东西，而是一个有密码学专家的尽力，有许多硬件工程师的尽力的成果。

F.F：已然咱们有谈到AI，那Ye你是怎样看待现在ZK和AI的结合，包含现在Worldcoin现已发布了，用的是ZKML的技能，你觉得在ZKML的交叉范畴，会和 ZK，AI 两个各自范畴有什么样的不同。    

Ye：我觉得现在的确有许多人在做ZKML，但我觉得这个方向仍是挺前期的，它有一些运用场景，比方说辨认照片是不是真的是经过你的相机拍的，没有杂乱的PS；能够证明音频是不是某个人的；能够证明微软是不是在供给相同的模型给每个人，由于在你给模型一个输入的话，然后它回来给你一个输出的时分，你无法确认它是不是不同的人会换不同的模型。会有这样一些小的运用场景，可是我还没有看到特别大的一个刚需，为什么ZKML必定会是一个像AI那么广泛的运用。

由于比方说像ChatGPT，其实拥有模型的大多数公司是有肯定实力的，它不需求必定要向你证明说我必定要用的这个模型，而且你也无法要求他去做这个作业。我觉得除非产生在一个商场，有10家ChatGPT这样的公司，然后ChatGPT不想去做，那其他公司有一家愿意去做。有这样需求的一波用户集体就会挑选这个公司供给的服务。可是现在它整个商场是一个只要为数不多的几家公司能做ChatGPT这样的模型，然后他们没有一个很强的动机或许鼓励去帮你做这样的一个作业。所以我觉得这条路仍是挺长的，再加上许多像照片或许音频，还有许多没有处理好的问题，你或许也需求一些硬件去能把这个体系给建立起来。

整体我觉得仍是有挺长的路要走的，当然我觉得ZKML会在流动性管理上有一些新的玩法战略，然后或许会有一些小的用例，更大的运用场景仍是挺需求时刻的查验，去找到一个商场匹配的产品。而且ZKML它其实是不能证明练习的进程是对的，它只能证明一个影响因子是对的，所以这就更进一步的局限它能做的作业，我觉得仍是有必定的路要走。

大多数ZKML的公司，现在还在开发东西。我知道有一些ZKML公司在想办法，能把 TensorFlow 或许 Pytorch  写的代码直接转成ZK的电路，直接生成证明，这或许是一个很风趣的方向。先从DSL，SDK开端，然后鼓舞咱们去有新的立异，都是还很前期的。我觉得终究或许仍是会开展成仍是像通用核算的ZK化，只是更适合ML的一些算法库,比方说一些矩阵乘法或许卷积之类，会更有利于这样的一些运用，而不是只是就ZKML，我觉得仍是会有很长的路要走。

然后这块做的比较前沿的有Daniel Kang，是UIUC的一位教授，咱们之前有约请他来Scroll的ZK Symposium上面做过一次讲演，所以假如咱们对这个方向感兴趣的话，能够去看下咱们的这个系列。

https://www.youtube.com/watch?v=Co5gNoHnMhs&list=PLrzRr7okCcmbAlgYpuFjzUJv8tAyowDQY&index=14

F.F：好嘞，谢谢Ye。然后听下来感觉ZKML，仍是比较前期，现在都是一些比较小的建设方向，触及到通用核算的话也还比较早，或许得到后期商场化十分老练，咱们有隐私需求的时分，ZKML才会有它的用武之地。从ZK的大规模来看，之前Vitalik发表了一段言辞，大致的意思是ZK和区块链是平等重要的概念，你是怎样看待这一观点的？

Ye：我觉得的确是这样的，由于ZK真的处理了许多区块链处理不了的问题，它是一个十分完美的结合。区块链处理不了扩容的问题，ZK能够把核算紧缩，处理扩容的问题。区块链永久是揭露通明的，它处理不了隐私的问题，ZK能够去躲藏信息，能够去处理隐私的问题。所以我觉得ZK和区块链是一个天然的十分好的结合体。

再加上现在ZK对通用核算的支撑也十分的敏捷，所以我觉得它是有十分大时机的。比方说从隐私方面，像隐私买卖，隐私池，包含一些链上扑克，你不期望发牌一发到链上今后，别人看到你的牌，就能够经过零常识证明躲藏信息。像这类躲藏信息的游戏，你只能经过ZK在区块链上完成。隐私这块的话，ZK Identity 也是一个很风趣的小方向，十分有远景，怎样让十亿用户去用区块链，那或许咱们需求将一些现有的身份体系 ZK 化，然后咱们才愿意去放一些信息在上面。

然后扩容性相关的话，比方说像各种 Rollup 去紧缩核算，各种协处理器去紧缩一些核算，终究把证明放到链上，这样的话是一个链上和链下十分不错的结合。

还有一些十分风趣的小方向都很有远景，有一些团队在构建一些ZK跨链桥，或许 ZK 硬件去供给服务。可是我觉得距离特别老练，仍是需求几年的时刻。不管从开发者SDK的便利程度，仍是从ZK的功率，安全性方面仍是有很长一段路要走。

F.F：理解，谢谢Ye，听你的描绘，ZK和区块链相当所以一个互补的联系，那除了方才说到的这些运用场景，从功率和公正的视点来看，你觉得这项技能立异对实践国际会带来哪些改动？

Ye：我觉得能够把任何的核算变成无需信赖的，这是一个十分强的特性。你能够把任何核算丢到一个无需信赖的渠道上，然后让它回来你一个成果，生成一个证明，证明它的成果是正确的。这就能够确保你的核算正确性和可验证性。然后其他就像我说的有身份，隐私，扩容性等等各式各样的运用。

F.F：理解，谢谢Ye，便是说ZK它或许会对通用核算的有一个加持，不管是说供给隐私也好，仍是可信程度也好，都是十分有远景的方向，假如不做的Scroll，让你在ZK范畴二次创业，你会挑选哪个赛道和方向呢？

Ye：这是一个很艰难的问题，我觉得首要zkEVM肯定是最大的一个方向，由于它是承载了以太坊流量入口，必定是最大的一个。假如让我必定要选其他的方向的话，我个人是挺看好做协处理器的，能把非EVM的核算，也做得十分高效而且能够验证。其他一种的话偏身份协议，我觉得构建一个很好的身份体系是一个十分难的作业，而且它能处理许多实践日子的一些问题，尤其是之前去非洲的时分，看到了许多由于金融基础设施不太老练导致的各种问题，所以我觉得身份会是一个很大的方向。

然后假如是我个人必定要选的话，我觉得假如体量不是很大，我觉得身份的时机很大，然后假如是一个很强大的工程团队，必定要做更杂乱的作业，我觉得这个ZK的协处理器会是一个比较好的方向，只是现在这个赛道现已太多人了。所以我觉得身份会是一个还没有大众普及的赛道，而且我觉得它不光是一个需求技能，而且需求商业战略的方向。你要考虑说你要跟哪些商业同伴协作，能不能直接把他们许多的数据 ZK 化，这样能够更快速地去扩展你的用户集体，技能或许是一个更小的问题。

假如说你是一个十分有立异才干的人的话，也能够去测验ZK 游戏的方向，游戏需求你有很好的规划，把需求躲藏的信息 ZK 化。 但 ZK 不是一个全能的东西，它无法处理一切隐私问题。它会需求证明者知道某些信息的。所以我觉得这个游戏需求规划的十分奇妙，才干够把ZK用到极致。假如你是一个很有主意，很喜欢玩游戏的人，想清楚你的游戏逻辑，然后发明一个很风趣的ZK游戏也是一个很有意思的方向。

F.F：谢谢Ye。你方才说到三个方向，第一个是协处理器，类似于Axiom在做的方向；第二个是身份的方向，能够了解Worldcoin在做的作业，是其中一个特其他比方；第三个应该便是游戏，关于普通用户来说会是一个日常会接触到的方向。然后 Ye 你方才说到你刚从非洲回来，那咱们趁便想问一下你这次去非洲，推广传达ZK的技能包含以太坊，有什么收获吗?

Ye：这次仍是一个很独特的一个阅历。先简略介绍一下布景，本年2月份的时分，Vitalik 和以太坊基金会的Aya还有其他一些人去了非洲的4个国家。他们大约或许有接近一个月的时刻，跟非洲的社区举行一些活动，然后去见一些非洲的创始人，去了解一下在这片大陆上的状况。由于以太坊其实在非洲的社区仍是比较小，所以他们去那里了解一下现在社区的一些状况。现在社区需求什么，去传达以太坊的这个价值。他们其时得出了定论，便是说以太坊仍是有点贵。

他们期望安排一次Layer 2之行，能把以太坊的Layer 2带到非洲来。由于非洲那儿的人，他们不或许用得起以太坊，就只能经过Layer 2去进入以太坊的国际。所以本年大约四五月的时分吧，也是经过Vitalik 介绍和当初他们旅行的这个安排者约瑟夫知道，看有没有一个时机说能安排一次 Layer 2 之旅。聊完今后，咱们就觉得咱们的价值观十分得共同。由于Scroll的一部分价值观，便是咱们想把实在的用户和用例带到区块链里边，所以咱们觉得十分激动，能够去了解非洲的一些实在需求。

去了那儿今后会发现真的很不相同，让我对开展我国家和新式国家的实在用例愈加有决心。由于其实在去非洲之前，包含我现在接触的许多人都还在质疑，便是说区块链是不是一个实在的需求。它是不是只是一个圈套，只是咱们发代币的一个东西。我觉得能说出这样言辞的人，其实是由于不管在我国，亚洲其他当地，仍是在西方美国欧洲，咱们对区块链的了解便是巨鲸，流动性挖矿。他们不是日子真的需求区块链，而是他们只是觉得说上面有一些能够让他取得更多利润的东西，有的时分他的财产或许放在上面会更安全。它不是一个特别刚需的东西。

咱们去的两个国家是肯尼亚和尼日利亚，咱们会很清晰的感受到，那儿咱们的日常日子是真的需求区块链作为一个渠道。一个十分显着的比方，在非洲相邻的两个国家之间要做转账是没有办法经过银行直接转账的，需求绕很大一圈才干到账。由于它们的金融基础设施真的做的很差，彻底无法构建全球的支撑体系，

所以他们是真的首要需求一个付出的东西，而区块链只是作为一个付出东西也是十分有用的，真的能改动他们的日子。由于他们假如到其他的相邻国家是需求区块链的付出前言的。许多人就说区块链能做什么，只是一个全球付出体系，听起来只是一个很单一的用途。但其实全球付出体系能够处理十分多人的需求，尤其是在那些金融基础设施不是那么完善的一些国家。但由于你或许在我国，美国，欧洲，那里的基础设施十分的完善，你平常彻底不会去忧虑这样的问题。

第二个作业便是他们的通货膨胀十分的高。他们的钱银或许从咱们去到现在，通胀率现已有10%了。幻想一下，你手里人民币或许说美元过一个月今后就贬值10%，理财或许一年才涨3～4%，然后物价一向在上涨。这很影响他们的日子，然后安稳币是一种让他们获取到美元的办法，他们需求美元，由于美元通胀率比较低，所以他们期望获取到美元，但他们又不或许拿到美元，由于他们不或许在美国银行开户。所以他们其实是经过买美元安稳币，然后去持有一些链上的资产，他们取得 USDT，是防备恶性通货膨胀的一个十分重要的办法。或许咱们在我国就持有人民币就能够，只要买加密钱银的时分才需求 USDT。可是他们是实在日子中都需求的，他们会频频地进行 OTC 买卖，在真的运用的时分去转化成他们自己的钱银。所以我觉得这是一个很大的运用场景，在这些国家和其他许多当地，他们是真的有这种需求。

然后第三个作业，由于他们金融基础设施的不健全，导致了他们在借贷时分，信誉评级和身份十分的不完善。因此他们借钱，比方说借100美元也需求或许一个月的时刻，还需求各种审批，由于各种金融组织之间的信息不流通。所以这就导致了说，借贷作为银行或许许多金融组织的一个十分大的业务，在他们这儿十分不完善。所以我觉得这也是一个巨大的时机。

在非洲这片土地上是有许多实在的需求区块链的运用场景。比方说假如有个很好的身份体系去处理他们这些问题，能给他们供给链上的一些借贷或许其他的一些服务，我觉得会是一个十分有价值的东西。这是让我第一次感受到了，你的技能是真的在改动这个国际许多旮旯的人的日子，这是一个很重要的作业。

Scroll的一部分价值观便是咱们要让下十亿人进入到以太坊。咱们会常常吐槽BSC十分的不去中心化，以太坊十分地去中心化，可是以太仿便是贵。然后BSC上便是有许多实在的用户便是在玩，由于有币安，然后非洲让我第一次才智到的，有许多人真的在用币安去做付出，由于它很简略，很易用。咱们是期望能把这部分的实在用户带回来以太坊，这个是咱们的一部分任务，咱们是想把下十亿用户经过Layer2下降费用后带回到更无需信赖的以太坊。由于假如你把钱一向放在中心化买卖所里边，是有或许会呈现一些问题的。所以咱们是期望能够放到一个Layer2上，然后承继以太坊的安全性，这是一个很好的时机。

幻想一下在未来，加密在日常日子中发挥着至关重要的效果，区块链取得了实践国际的选用，特别是在新式经济体。

• 土耳其的孩子能够经过Scroll上的安稳币在酷热的夏天购买雪糕，只需点击一次就能够将加密钱银兑换成土耳其里拉。

• 阿根廷的一位白叟能够在 Scroll 上取得政府的福利和补助，削减了诈骗行为，确保了资金的公正分配。

• 菲律宾商人能够在几秒钟内经过Scroll进行跨境汇款，而不需求经过许多中间人服务。

• 肯尼亚的农民能够经过 Scroll上通明的信誉评分体系取得借款，处理了信赖问题，提高了流动资金的运用率。

这些作业都将在同一时刻产生，包含组织上链，政府发行安稳币，以及不同地区法律合规的放松。

咱们信任下一个十亿的用户必定来自真正需求加密钱银的当地。Scroll旨在将这些用户带入加密生态体系，并处理实践国际中的问题，如金融包容性、社会协谐和个人主权。

其他第二点，Scroll 的价值观是咱们不会做许多的这种商场宣发和去不同的当地推销自己。咱们期望实在的把一些教育资源，把一些研讨资源能带到非洲这片土地上或许其他类似的地区，怎样能让他们更快的去学习这个范畴，而且不只是是Scroll，而是整个区块链的教育。有一些项目也在非洲做过一些战略，可是他们基本上便是随意的撒钱发许多的Grant，但其实这样的社区开展起来就十分的短期，它不是一个十分价值驱动的社区。咱们期望经过咱们做一些十分正确的作业，把这些教育资源带到非洲，了解当地实在的需求再进行定制化，看咱们能供给哪些协助，而不是只是便是撒钱。咱们真的介意这些当地的人，介意这些当地的社区，这个是咱们很关怀的一个作业。我觉得这个其实对现在的许多运用也是相同，现在许多运用便是从一个链布置到一个链，再布置到另一个链，永久都是同一波空投猎人，或许说同一波西方用户。假如咱们真的能做到整个用户集体的多样化，关于在咱们链上的运用生态来说也是一个巨大的加成。能招引到不同当地的人去测验体验你的运用，这也是咱们在考虑的一个很大的方向。

zkEVM

F.F：十分感谢 Ye 给咱们共享了那么多关于非洲的一些见地。我听下来或许开展我国家的确是一个十分大的时机，由于他们现已缺失了咱们现在这一代已有的基础设施，反而会让它成为一张白纸，能够有十分多新的基础设施直接运用到他们的实践日子傍边。然后Scroll 也能够凭借这个商场把区块链带给下一个十亿用户。

所以咱们就想详细来谈谈 Scroll 在开发的zkEVM。关于zkEVM分类也是一个陈词滥调的论题，但咱们都知道这是一个关于功能和兼容性取舍的问题。然后，Scroll是一向在和PSE团队一同构建 Type1 的zkEVM，这是最兼容的一个取舍状况。咱们想问的是，随着zk技能的开展，这个取舍有没有或许被打破，或许未来功能这一端提高后，咱们会不会不谋而合的挑选兼容性更强的方向。

Ye：首要聊一下咱们的技能栈，咱们从最开端 2021年年头的时分，就开端和以太坊基金会的ZK团队，也便是PSE团队一同在构建 Type1 的 zkEVM。 然后整个代码库大约有一半的奉献是在咱们这边，一半的奉献在PSE那儿，还有一些或许零散的奉献者是从社区来的。所以咱们一向是十分的支撑这种社区开源开发的气氛，也一向坚持去给以太坊奉献代码，然后整个这个项意图意图是为了构建一个 Type1 的zkEVM，将来真的能用在以太坊的 Layer 1上，能够改动以太坊的路线图，给以太坊构建未来，不是说只是为咱们自己构建，这部分是一个社区版其他 Type1 的zkEVM，由咱们，PSE，还有其他的一些社区奉献者一同在构建。所以说不是全部是咱们的功劳，而是说咱们的功劳。

然后咱们 Scroll 自己的话，是需求有主网，需求一个产品功能完善，审计更完善的一个版别。然后依据咱们现在的评估便是Type1的这个证明开支是Type2的10倍，所以咱们以为说即便你要构建一个 Type1 的zkEVM，你也是需求从一个阶段过渡曩昔，你需求去测验你的架构，所以咱们觉得最好的办法是先做一个 Type2 的版别，然后而且以太坊的整个架构也在不断的更新，当你有了一个足够功能的Type1今后，以太坊的架构现已变了，然后你或许又得改。所以咱们觉得其实 Type1 和 Type2 的不同首要体现在存储是不是共用同一套。所以咱们现在首要聚集在先把一个 Type2 做到产品可用的状况，现在的代码库是从咱们协作的这个社区版别衍生出来的。咱们改动了它的存储，而且规划了相应的一些其他模块，优化了GPU的证冥具，优化了其他许多东西，终究在咱们的GPU证冥具上把证明时刻紧缩到大约接近10分钟。这是一个十分十分高效的zkEVM。可是咱们依然会持续的协助以太坊去构建一个 Type1 的 zkEVM，去看它怎样能变得愈加稳健，去构建以太坊的未来。所以咱们的任务是自己在构建一个高效，产品可用而且全面审计的 Type2 的 zkEVM。与此一同，咱们也在帮以太坊构建一个 Type1 的 zkEVM。

由于咱们觉得现在功能仍是有很大差距，需求实践测验，所以咱们仍是先聚集在一个 Type2 的 zkEVM，而且它彻底不会影响任何的兼容性，由于基本上一切的合约，一切的东西，比方 Foundry，Remix，Hardhat 等等的东西是彻底兼容的，不需求任何的插件。而且咱们马上上线的测验网或许主网是支撑 Paring 等等的预编译合约，兼容性做的十分的好，只是说咱们觉得要进入到下一个阶段依然需求很长时刻的尽力。一同咱们以为没有证明必定不能算作一个安全的 Layer2，zkEVM 或许说 zkRollup，咱们是很坚持安全性的准则的。

关于咱们的开发状况基本上现已很完善了，一切的opcode乃至连push0，咱们或许是唯一一个支撑push0的zkRollup，乃至不仅是zkRollup，是一切的Rollup里边第一个支撑push0的，而且咱们是唯一一个支撑Paring而且能够验证Paring的一个zkRollup。这是咱们自己开发进度和兼容性的状况，而且咱们审计现已在进行傍边，咱们能够看咱们的Sepolia的这个博客。

然后关于各家对这个兼容性的开展方向，我个人的猜测是咱们终究仍是会往兼容性更强的方向开展，除了Starkware。由于它上面有Kakarot去支撑zkEVM，它自己是不会考虑另一个方向的。它应该是Cario言语一条路走到黑。而现在zkSync上线今后，咱们从开发者那里取得的反应是还需求许多的代码更改，他们仍是不信任它的安全性。由于关于合约而言最重要的便是安全性，你功率再高，假如说需求改代码，需求从头审计，价值必定是开发者这端。这必定不是一个十分可持续的开展方向。所以咱们觉得必定要做到十分兼容，让开发者不去修改自己的代码，这是这是十分十分重要的。我觉得咱们仍是会朝这个方向尽力。

但我不觉得 Type1 是一个十分精确的归纳办法。我每次只是说以太坊等效，EVM 等效，仍是言语层面兼容。由于我觉得这是一个更直观更直接的归纳办法，由于它没有一个精确的界说。Vitalik 只是模糊地给了一个分类的办法，我觉得都是能够改的，我觉得很难说把一个公司的愿景依据你现在的阶段界说下来。就像咱们的愿景是咱们先在 Type2 上线咱们的测验网和主网，然后实战测验，功能测验之后，再去考虑其他的晋级，持续去帮以太坊构建 Type1 的zkEVM，这是咱们的一个办法。用 Type 1，Type2 很不精确，由于这是一个很阶段性的方针。

整体来说，我觉得假如你要做zkEVM的话，必定是要朝向兼容性开展，由于现在证明技能真的提高地十分的多，能把zkEVM做的十分十分的快，所以我觉得没有必要去由于两三倍的一个功率，去牺牲兼容性。乃至我觉得能不能更快都是一个问题，所以我觉得仍是会朝兼容性更好的方向开展。

F.F：理解谢谢Ye，Scroll 一向是在保持兼容性的状况下提高功能。其他家或许挑选不同的取舍计划，可是或许终究咱们都会走向以太坊兼容，除了Starkware。可是从用户视点的话，其实他们更直观的感受应该首要是两个方面，一个是速度，一个是本钱。速度方面，出块时刻方面，Scroll一向是安稳在3秒左右，原先Polygon是在10几秒，最近也降到3秒多，Linea现在也是在3秒左右。想问下，3秒出块时刻这个是由什么决议，是排序器的功能所决议的吗，由于现在咱们都是中心化排序器，常见的Alt L1的出块时刻会更短，而且他们是走共同层。这块是有什么考量或许是什么瓶颈吗？

Ye：咱们现在规划的3秒，其实也能够把它缩短的更快。咱们现在界说在3秒，是在一个测验阶段，是依据咱们现在证明者的体量。由于你假如说缩小到更短的话，你是需求更多的证明者，去及时地证明区块。缩的太短今后，你或许数据上链成了一个更大的瓶颈。而且现在zkRollup普遍实在的吞吐量也没有像到几千那么高，它实在的需求或许也就几十。所以说其实你太快出块也没有什么太大的用处，中心化的排序器是能够做的很快，但这也是一个中间的过渡期，取决于证明者的体量，取决于链上上传数据的瓶颈。

其实你能够预估最大的吞吐量是多少，然后倒推出来几秒出块，几秒出块也是一个取舍。比方说3秒出一个空间巨细为 10 million 的区块和 30 秒出一个空间巨细为 100million 的区块是相同的。假如单看出块时刻的话，你能够几毫秒出一个只要一笔买卖的区块，比方Arbitrum之前一段时刻我记得一个区块只要一笔买卖，然后出块速度特别快。我不知道现在的状况。所以我觉得看区块的容量有多大，更好的一个办法或许是 Gas / s，便是你每秒能处理多少Gas，这是一个比较好的衡量办法，比吞吐量，出块时刻要更科学一点。 这个就彻底取决于你的瓶颈是上链仍是证明者，不彻底只是由于中心化排序器的功率问题，有许多重因子的影响。

第二个便是当咱们去中心化今后，也取决于去中心化的计划。假如你走共同协议，共同又会分为需求答应的共同和无需答应的共同。比方BFT或许会更快，但假如要走最长链或许就会很慢。所以这个都是Rollup各自理念的挑选，有一些为了更快的终究承认，为了用户体验，有一些或许就觉得要更去中心化，或许就会抛弃这部分出块时刻的优势。

F.F：理解，谢谢Ye，其实出块时刻仍是各自链的取舍所决议。那本钱方面的话，咱们也想问一下，现在zkSync还有Polygon zkEVM都现已上主网了，咱们看到他们的Gas费其实相对OP Rollup仍是要高一些。但zkSync和Polygon zkEVM 或许是两个不同的状况，zkSync是交互的人太多了，所以Gas价格上涨，Polygon zkEVM是交互的人太少，所以导致他们平摊L1的买卖手续费高了，所以自然而然Gas费就高了。Scroll现在在测验网上买卖手续费仍是十分低的，想问下上主网了之后，是怎样考虑处理这两个问题的。

Ye：咱们能够去看一下咱们 Sepolia 的博客，咱们描绘了许多做的一些优化，里边有许多技能性的归纳。咱们在Goerli测验网之后又做了十分许多的优化。Sepolia的博客上面有一个图，便是在讲咱们是怎样去紧缩证明。详细而言，咱们把之前一个区块对应一个证明，变成了Batch, Chunk，Block三层结构，能够先把 block 证明聚合出来一个证明，又再把这个证明给聚合出来。咱们终究聚合了两大层，然后两大层里边又有两层聚合来紧缩证明和验证。咱们做了十分多的作业往来不断减小这个验证本钱。咱们也在看更好的递归证明的算法。另一个作业便是咱们经过控制频率，包含出块的频率和上链提交数据的频率，也在跨链桥那块做了许多的优化，终究把Gas本钱又下降了50%，这个也能够在博客里边看到。

然后之后仍是会有许多的优化方向，比方说咱们最近在研讨EIP4844今后，怎样把咱们的跨链桥晋级，运用 blob 去更进一步地下降咱们的 Gas 费。后边咱们也会有博客文章专门介绍这个。以及我觉得还有一个很大的方向，为什么现在zkEVM仍是比OP贵，便是由于一切的ZK项目都在聚集 ZK，怎样把zkEVM做出来做好。这个技能自身现已十分十分的杂乱了，所以咱们还没有到深度优化的阶段。可是OP不相同，OP他们上线这么长时刻，肯定是要关注本钱的。所以我觉得仍是优化ZK的团队刚刚着手开端做，比方说像链上数据紧缩，将链上放的数据变少，但不是说把数据放在其他当地，之前比方说咱们要把原始数据放在主链上，但现在咱们能够放一个紧缩过的数据，不过这个数据仍是能康复出来，咱们只是要在ZK电路里边证明说这个数据等同于之前没有紧缩过的数据然后去用。现在的 ZK 团队或许大部分都没有做这个作业，当把这个作业再做完今后，或许本钱又会进一步的紧缩十分十分的多，所以仍是有许多时机经过一些ZK友好的紧缩算法把这部分的本钱压下来。只是说现在咱们聚集的都是怎样把zkEVM做全做好，做得功能更高，但本钱这部分会成为下一个很重要的论题。

F.F：理解，谢谢Ye。我了解一个或许是经过聚合证明的办法把这个本钱打下来，一个便是未来经过DA层的一些取舍把本钱进一步的紧缩。那想问一下Scroll 在处理本钱和速度方面，Scroll有没有或许也会像Starknet相同选用L3的计划，最新融资的Kakarot是用Cario言语写的EVM。想请教下Ye，在Scroll上有或许再建立一个EVM吗，类似现在L1-L2的架构，或许是像Kakarot相同用合约写一个EVM？

Ye：关于Layer 3的论题，咱们现在的要点仍是咱们自己的开发，怎样去做一个易用完好的体系，而不是盲意图去追求这些飘在空中的叙事。由于咱们觉得假如咱们想构建 Layer 3的话，只要fork Scroll，然后布置在Scroll上，由于咱们代码也是开源的，咱们fork布置也很便利。就像我之前说的，咱们觉得每个人都在讲 Layer 3 的故事，可是支撑 Layer 3尤其是依据 SNARK 的 Layer 3，是需求支撑 Pairing 这个预编译合约的。但现在除了咱们以外，没有看到任何一个其他的 zkRollup 是支撑 Pairing 这个预编译合约而且支撑验证 Pairing的。相当于你缺了最重要的一环，但仍是要讲一个更远的故事。咱们期望说做更多的作业，而不是说光讲一个故事。

其实这一点，你能够看哪条链上的ZK运用更多也能看出来。咱们链上有十分多原生的ZK运用，由于咱们支撑了支撑了 Pairing。你讲故事是一方面，但你实践能不能支撑是另一方面。在我看来Scroll很简单支撑，能够fork，布置，验证。Scroll 的 Layer3 很简单建立，而且只要咱们能支撑依据SNARK的 ZK Layer 3。

然后第三点便是Kakarot是一个很不相同的规划。Kakarot是一个Starkware上的运用，它不是一个Layer3，之后有或许会往 Layer3 开展，但它现在便是一个Cario写的程序，用的仍是Starknet 自己的排序器。这个不像是在Scroll上再建立一个Layer3，更像是在 Scroll 上用Solidity 写了一个 EVM，然后用户去发买卖给这个 EVM 去执行。

F.F：理解，谢谢Ye，最近还有一个叙事是，zkSync 刚刚推出了他们 zk Stack，能够一键发 L3，L2。之前像包含 Op 和 Arbitrum 都有推自己的一套处理计划，想问下Ye，Scroll 是怎样看待现在 RaaS，zkRaaS 这个赛道，Scroll 会不会也推出自己的一套处理计划。

Ye：我个人觉得说，这的确不是咱们现在的重心，而且咱们想用Scroll Stack或许SDK，直接Fork就好了，咱们也没有必要起一个时尚的名字让咱们必定要用。它不是咱们现在的一个要点，可是咱们假如想用的话很简单用。这是第一个原因。

而且我个人觉得，比方说像OP Stack现在是最流行的。但现在的一些争论是说这个结构讲的故事是说每个模块都很灵活，但实践上有多灵活，能不能支撑零常识证明，Arbitrum的证明。这个规范是很值得商讨的，仍是需求很长的时刻查验才干去确认什么是一个好的技能栈规范。我比较信任，Scroll的价值观是和社区一同建设，假如要建这样一套规范，必定是经过社区的办法去构建。比方说提前跟 Arbitrum，Optimism，zkSync 和 Polygon 一同去推一个规范，只要这个办法才干让一切的 Layer2 保持统一。否则的话，Arbitrum必定不会为了OP Stack去改自己的Stack，然后让这个接口兼容。各家仍是在推各家的 Stack，永久不是彼此兼容的。这样的话 Stack 便是自己的一个 fork，而不是一个真的有灵活性的结构。

再加上 OP Stack 是一个没有彻底老练的结构，它里边没有证明，作为最关键的一环它缺失了。这样的话，许多 Fork 的链都会觉得自己是条 Layer2，可是没有一个人能到达 Layer2 安全性的规范。用 Layer2 是由于咱们信任以太坊的安全性，可是没有 Layer2 能到达以太坊的安全性，由于没有一个 Layer 2 有证明。我觉得这个推的特别广，其实关于加密范畴不是一个好作业。咱们只垂青叙事，而不是垂青实在的安全性。我觉得咱们证明体系还没有老练的阶段，是不想去经过许多的营销手段去推商场化，去招引咱们的资金。当咱们觉得结构的老练度到了再去推是更适宜的。这是第二个原由于什么咱们没有把它当作一个要点。

第三个原因是，咱们自己运营过一个完好的zkRollup。咱们知道跑一套这样的东西有多杂乱。你需求考虑合约的可晋级性，你需求考虑排序器的安稳性，你需求考虑自己的证明者网络和模型，有十分十分多这样杂乱的作业。我觉得有才干运转这套Stack的团队，或许有需求的运用是少量的。咱们不觉得说，大部分的团队有才干去运转自己的 Rollup，还没有到能去保护这样一个体系的时分。假如说之后有一条 Layer2 被Rug Pull，或许说会呈现严重的问题的时分，关于 Layer2 整个范畴来说也不是一个好事。整体来说，推广Layer2 Stack 是一个好的方向，可是假如一旦呈现了事故，Layer2 变成一个MEME的话，这个不是咱们期望看到的。

终究一个原因，便是互操作性的问题。 不同的运用跑自己的链，他们之间的交互就不是那么无需信赖。我觉得这是一个很大的问题，是在割裂一个原本具有互操作性的体系。咱们Scroll现在的重心便是要做那个默许的 Layer2，去招引取得最大的网络效应，捕获一些具有互操作性的，有安全性需求的运用场景。这个对咱们来说是现在最重要的作业，不扫除今后或许会考虑相关的一些方向。可是现在说这个仍是有点早，咱们还在看它的需求，看一些没有处理的关于互操作性的一些问题。

ZK 硬件加快和证明者网络

F.F：理解，谢谢 Ye。听下来就感觉 Scroll 是在用一个十分务实的办法去推动自己的 Layer2，不会专心于去讲一个趋势性的叙事。那 Ye 你方才也说到了其实 Layer2 自身现在的开展重心要更多地处理问题比方说功能瓶颈的问题，而不是在现在需求去讲结构的时分。咱们也知道 Ye 之前有发表过一篇能够说在硬件加快范畴最重量级的论文，PipeZK。所以我信任Scroll在硬件加快方面应该要远远甩开其他竞争对手。我想问的是，现在在硬件加快方面，Scroll 现在有什么最新进展，Ye能够泄漏下吗。包含现在的协作模式和技能晋级？

Ye：我再弥补一点布景，咱们是第一个研讨硬件加快方向的团队。除了PipeZK以外，咱们还有GZKP。咱们有研讨过FPGA，ASIC和GPU的加快，所以咱们在硬件加快这个方向是很有专业性的。然后现在来说有许多协作的同伴，像Cysic，他们是倾向于用 ASIC 支撑证明者网络。可是咱们自己不会做IPGA和ASIC，由于FPGA和ASIC是一个很需求专业团队，专业技能的范畴。咱们自己在内部没有办法有这样一个团队去做这样的作业，咱们内部团队仍是聚集在 GPU 的一个计划，咱们在写一些CUDA（注：CUDA® 是 NVIDIA 专为图形处理单元 (GPU) 上的通用核算开发的并行核算渠道和编程模型），去做一个更快版其他 GPU 证明者。咱们是写软件的，咱们的初衷是，期望更多的人能去跑咱们的 GPU 代码，而不是说咱们自己要做一个十分凶猛的 ASIC，去独占这个商场。咱们仍是在鼓舞这个商场不是变成一个零和游戏，而是一个公正竞争的商场，咱们竞争成为最快的功能最好的证明者，有ASIC的，FPGA的，还有GPU的。然后咱们自己会发一版别，咱们用咱们这个GPU 算法现已能够成为咱们的一个证明者，然后咱们现在 GPU 的功能现已优化的十分十分好，能比CPU的证明者快大约10倍左右。咱们还在不断的去迭代它的功能，去考虑下一代的这个证明体系的选型。

就详细的协作模式而言，咱们也还在探究，现在现已有许多硬件公司许诺说会加快咱们的这个Stack，对咱们来说是，看到社区在做这个作业，咱们会十分的欣喜。***咱们自己会站在一个比较中立的视点去告诉他们怎样跑咱们的基准测验，怎样去给他们一些教育，一些协助，而不是说咱们喜欢谁，谁便是一个赢家。咱们现在在想或许会推一些证明者比赛之类，去鼓励咱们越来越快地证明。在咱们主网刚上线的时分不会选用一个彻底去中心化的一个证明者网络，由于咱们觉得整个体系仍是需求再次在主网上查验，咱们测验网或许现已跑了大半年，可是仍是需求主网的一些查验才会进一步地去中心化，咱们现已有几个比较好的提案去评论咱们怎样去中心化咱们的证冥具和排序器，咱们或许会先经过一些比赛渐渐得去中心化这样的办法去推动。

F.F：好的，谢谢 Ye，刚刚听下来或许 Scroll 会更专心于软件优化方面，硬件方面的话会跟其他公司进行协作。就刚刚说到的去中心化证明者这一块，社区里边咱们关于 Scroll 的证明者网络都十分关怀。我印象里 Scroll 应该是第一个提出要去中心化证明者。由于有许多以太坊POW转POS之后呈现的搁置的GPU，Scroll的证明者网络对双方而言都是一个很大的一个时机。在这儿，就想代表社区问一下，未来想要参加Scroll的证明者网络，GPU有什么特其他要求，或许有什么需求适配的当地。这个大约能测验会是在什么时分。

Ye：咱们现在证明者的要求的话，是一个CPU加两卡或许四卡GPU的要求。其实咱们对GPU的要求比较低，应该是只要8GB内存的1080都能够跑咱们的证明者。可是对CPU的现在要求比较高，应该仍是在200GB的CPU内存以上，所以仍是一个价值比较高的证明者。这点上，没有任何一家 zkEVM 能把它自己的 CPU 本钱下降到 200GB以内。这是一个最大的问题，也是咱们在看的一个方向，能不能把一个zkEVM的区块切小，然后去分段证明等等。

F.F：那假如说社区的开发者和参加者，想要测验的话，大约什么时分能测验这个证明者。

Ye：咱们的 CPU 证明者是彻底开源的，咱们能够随时去跑 CPU 证明者。然后等主网上线今后，咱们还会持续去优化咱们的 GPU的证明者版别，去适配更多的不同的GPU的型号。所以我觉得或许大约在那个时刻点，咱们能够去测验自己跑一跑证明者。可是假如真的敞开出来，咱们能接进证明者网络里边去的话，我觉得仍是要一段时刻的，由于你得有一个支撑网络的体系才行。咱们现在整个体系的规划是去中心化的，可是需求规划详细的鼓励模型，惩罚模型等等这些作业。所以真的接到网络里还需求一段时刻，但假如只是跑的话现在就能够跑，你能够运转自己的证明者，由于证明者的代码都是开源的。

F.F：好嘞，谢谢Ye，也十分等待便是未来证明者网络的上线。聊到证明者网络的去中心化，其实里边会触及到十分多的和谐问题。然后 Scroll 现在有没有什么可选的计划能够泄漏一下，由于咱们有研讨看过其他链，包含像Polygon他们应该走的是一个POE ( Proof of Efficiency ) 的计划，类似于无需答应的提交证明，最快的证明者会胜出。也有像Mina和Nil相同走类似证明商场的计划？Scroll 在这方面有没有什么自己立异性的计划呢？

Ye：咱们现在整个网络去中心化的话，比较确认的是咱们会有一个***证冥具排序器分离 (Prover Sequencer Separation , PSS) 的计划，以太坊 Layer1 叫 Proposer Builder Separation ( PBS )。咱们会确认说排序器和证冥具会是两个分开的人物，可是详细两头的规划会是一个很长期的问题，由于假如你把证冥具规划完，再规划出排序器的时分，就会发现有问题。所以长期来看，证明者或许影响排序器，排序器或许影响证明者。要触及比方买卖手续费多少留给排序器，多少留给证冥具的鼓励模型。咱们有许多套计划，可是还没有确认选用哪一套。

咱们现在的理念倾向于避开最快的证冥具永久胜出，由于假如说你的体系依靠于最快的证冥具，那社区里其他人跑了一个证冥具，发现跑不过最快的那个证冥具，长时刻没有奖励或许就走了，整个体系就会依靠于那个最快的证冥具。当你依靠于最快那个证冥具的时分，它或许就没有动力去持续晋级它的证冥具。当它一走的时分，你的体系会呈现单点故障，所以咱们会尽或许地想办法避开这样的规划。*** 但详细规划的话，咱们之后会渐渐地去揭露各种提案，然后咱们会从里边选一个，也会和社区评论，听社区的定见，但现在还比较前期。

F.F：理解，听下来或许Scroll计划会更倾向于避开最快证明者，期望便是证明者之间是一种自由竞争的一个状况，这样会鼓励这个网络能持久的会开展下去。

Ye：对，不是最快的证明者一向赢。

证明体系

F.F：这样的话我觉得是最好的，能让更多的社区的参加者能够进来。那接下来咱们就聊一聊证明体系，其实咱们现在想到 ZK，仍是会想到两类证明体系，一类是STARK，一类是SNARK。然后 Ye 你之前在讲演中也说过，现在证明体系也是模块化的趋势，那是不是意味着这样的分类就不适用了，之后咱们谈到证明体系，就得按它前后端分别用的是什么组件来划分。然后谈到STARK，也不再是Starkware所独有的一个证明体系。印象里STARK是抗量子攻击的，未来是不是SNARK也或许有这样的特性。

Ye：对，我觉得SNARK和STARK的确是不同很小，它只是一个多项式许诺 ( Polynomial Commitment )元件的不同。STARK独有的这个元件叫FRI。SNARK现在也能够抗量子。假如你必定觉得这个很重要的话，比方Plonky2 之类的便是抗量子的，咱们运用的 Halo2 证明体系换成 FRI 的话也是抗量子的。所以我觉得这不是一个特别显着的区分，而且我觉得抗量子这个作业不是现在最大的一个考量。咱们用FRI也不是为了抗量子，大部分是由于它生成证明比较快，功率或许关于证明体系来说更重要。FRI 的确是一个未来很重要的一个方向，它能够把你的Proof做得很快，但一同它验证本钱也很高，所以你需求不断地递归把本钱下降下来。这个也是咱们在探究的一个方向。

证明体系的确是十分模块化的，咱们期望推广的是一个社区的规范，咱们都能够用同一套证明体系，然后这个结构能够支撑 FRI，支撑STARK，SNARK，这是咱们期望看到的。

F.F：理解，谢谢Ye。咱们在这或许会问的更细节一些。Scroll现在的两层证明体系都选用的是Halo2，咱们很猎奇的是，从取舍视点没有最优只要最适宜的，是不是意味着关于zkEVM而言，Halo2便是最适合的证明体系。

Ye：我觉得不是的，由于 Halo 2它其实是一套代码结构。其实当咱们在用Halo 2的时分，咱们更多是把Halo 2作为一个证明体系的模块化结构。Halo 2里边你能够加KZG就变成了PLONK，加FRI就变成了STARK，能够加各种元件变成各种新的证明体系。这是 Halo 2的一个解说，详细到某一个证明体系，是需求加其他许多描绘性的表述。

关于zkEVM而言，现在有许多方向都很有远景，一种像咱们现在用的Halo 2加KZG是最传统的，安全模型也是经过时刻查验的。其他一种方向便是Halo 2加FRI，或许是用Plonky2 或许 STARK 的办法去做 zkEVM，功率也很高。依据 Polygon 的数据，他们的这个证明体系功率也很高，所以咱们也在看这个方向。差异首要在于它不依靠椭圆曲线，能够导致节省许多椭圆曲线有限域的一些核算，这是它十分快的一个很重要的原因。其他关于FRI而言，他们能够用Goldilocks（64位）的小域让zkEVM更快。

其他一个大的方向便是 Folding，像 Hypernova，Supernova，Paranova 等等各式各样的Nova证明体系。原理上，FRI 比 Plonk 快首要是由于它的域不相同，它的有限域表明元素会更小更快。然后 Folding 首要原理是当你需求证明 100 个相同的程序的时分，假如用其他的证明程序，你或许需求生成 100 个证明，或许把100个程序放在一同然后生成一个大证明。用 Folding 今后你能够把这 100 个程序经过很小的价值折叠到一同，然后只证明终究折叠过的那一个就能够。所以它能够减小一部分证明者需求的本钱，这是让它十分快的一个原因。这个方向也很有远景，可是仍是有许多没有处理的问题。比方说不同程序之间的查找表，包含它没有一个很老练的开发结构，让咱们去开发依据 NOVA 的程序。咱们也还在调查到底是不是适用，它的功率有多高。我觉得一个比较大的或许性，它关于证明许多 Keccak，ECDSA 这样重复性的电路而言是十分高效的。这是一个很好的方向，比方说阶段性地先把一部分换成 Folding 或许 FRI，去尽或许地把功能至关重要的部分先替换掉。但这儿边有许多问题，比方你仍是要跟剩下的部分连接起来，还要考虑整个体系的审计安全等等。

所以我觉得这仍是一个需求细心对比的方向。咱们内部做了许多的基准测验，怎样去建一个体系，它能够更公正的去比较 Folding 仍是 FRI 好。咱们在这个作业上做了许多作业，会有许多的基准测验成果，也会有文章去评论咱们的定论。为什么咱们觉得下一代的证明体系需求朝这个方向演进。

F.F：我这边诘问一下，关于 Folding 是不是有点类似于用递归的办法，在电路上面进行一层聚合。然后咱们之前讲到的证明聚合的话，是指在证明这个层面上做了一些聚合。

Ye：是的，是这样一个大约思路。可是它仍是和递归很不相同，由于它真的能把要证明的东西线性组合起来，然后只证明一次。成果上看有点类似，可是实践仍是会有许多差异。

细节上，举一个不是特别生动形象的比方。比方说你现在有100份作业要写，传统的证明办法便是说一份一份的写过来。递归有点像有100个人，每个人写一份，终究想办法把它们怎样整合到一同。Folding 更像是一个人拿了一个长长的笔，这个笔有100个触头，他写一个就写了100个。有点像这个感觉，他有点偷懒的主意，然后把任务紧缩到了一同，只写一遍。

递归的话，他不削减作业量，他仍是要写的，只是终究想办法给聚合到一同，比方说100个人写完今后叠在一同，然后教师只批一次或许怎样样。

F.F：那 Folding 有或许就像咱们之前用复写纸，下面垫了100张，就写了一切的作业。

Ye：对对，有这种感觉，但也没有那么奇特，它仍是有一些本钱的。比方复写纸你写100张的时分，最底下那个痕迹也会比较浅。

F.F：那咱们应该能等待Scroll未来证明体系上会有一些晋级。讲到晋级证明体系的话，咱们看之前的架构，Geth客户端是会将执行踪影递交给证明者，这一部分看上去不是强绑定的联系，所以证明体系这块是不是也是类似于一个组件，晋级证明体系就类似于晋级组件。

Ye：是的。

F.F：其他一个趋势是去年Barry Whitehat提出的lookup singularity，包含a16z最近推出了Lasso和Jolt也是一个针对Lookup做了十分大的优化和晋级，想问下Ye是怎样看待这个趋势方向的？

Ye：我觉得这也是一个很有远景的方向。它们的核心思想是说做一些十分巨大的查找表。 比方说之前查找表或许是2的十几次方，二十几次方。现在他们能够做2的一百多次方的查找表。我觉得这是一个很风趣的方向，可是怎样去只用查找表搭造电路，是一个挺有挑战的作业。他们的设想是，把查找表做的十分廉价，今后咱们就只用查找表就能够证明各种束缚。 但实践由于之前的查找表Caulk, Baloo, Cq，大部分的都只能证明固定的查找表，但不能证明动态的查找表。我还没有详细去看他们新的架构能不能支撑动态查找表。假如能支撑动态查找表，是一个十分好十分凶猛的一个规划，才干适用到zkEVM里边。所以我觉得仍是需求再调查个一两个月，看一下多少的电路部分能够用查找表代替，再去看它的功率。咱们现已开端看这个方向了，正好今日上午还在共享了查找表的这篇论文，但zkEVM的那篇论文还没有共享，估量这一两周或许就会有咱们自己的一些定论。

Scroll 的愿景和价值观

F.F：好嘞，谢谢 Ye 和咱们共享了那么多关于证明体系方面的一些最新进展。然后咱们这次的Talk的主题是Scroll与ZK同行，那现在来说Scroll 披露的主网上线时刻应该是Q3和Q4，所以咱们最期望 Ye 做一个夸姣的期许，在可预见的未来，你期望Scroll和ZK能够开展到什么样理想的状况。

Ye：咱们估计是在Q3～Q4（注：实践上线时刻 2023.10.17）的时分会上线主网。咱们的愿景是让下十亿用户经过Scroll 进入以太坊生态。咱们也一向在坚持开源，和社区共建，保持中立的准则。咱们会比较信任 Layer2 作为一个扩容技能，它不光是要技能扩容，去承继以太坊的安全性，去添加tps，更重要的是要承继以太坊那些杰出的质量。比方说以太坊信任去中心化，信任中立性。许多作业以太坊不会做，以太坊不会去搞一些活动支撑咱们去做一些疯狂的作业，但许多Layer2现在现已做了，例如十分疯狂的商场宣扬。

所以我期望 Scroll 在未来的开展进程中能一向坚持自己的崇奉和价值观。以太坊不会做的作业咱们就不会做，咱们期望成为咱们默许的以太坊扩容层。现在一切 Layer2 其实都在朝着和以太坊不那么共同的方向开展。他们会有自己的商场战略，会有自己上线的方针，而咱们期望成为仅存的和以太坊保持高度共同的Layer2。由于咱们觉得只要这样，才干招引到真正在乎安全性，真正信任以太坊价值的一些运用。我觉得只要经过这种内涵的价值观的彼此招引，才干培育一个真正长期的社区。

由于永久会有新的 Layer2，永久会有下一条链，永久会有周期。咱们永久会从一个链迁移另一个链，想成为一个链生态最重要的玩家。而咱们期望看到在几个周期今后，现在信任Scroll的人仍旧信任Scroll。不管咱们做什么，咱们会一向坚守咱们的价值观和崇奉，一向保持中立的态度，持续开发一个十分好的技能渠道。一同咱们社区开展的话，也是专心于技能，而不是怎样去不同的当地去推销 Scroll。咱们是期望能把教育和资源带给不同的当地，能让咱们有一个更好的气氛去评论技能，而不是只是传达咱们Scroll 自己。

而且咱们期望能成为一个最可信的 Layer2 渠道，将来咱们会有各式各样的措施去增强咱们的安全性，不管是经过多证明仍是其他的计划，把咱们的安全性做得十分十分好。我觉得将来一些越是重要的运用，越会注意到咱们的价值，这才是咱们所在乎的。咱们会永久保持长期考虑，调查接下来三到五年什么会是最重要的，然后咱们再朝那个方向开展。而不是说短期商场觉得什么好，咱们就朝向什么方向去做。

总的来说，我的期许是在一路的开展进程中，咱们能一向坚持自己的崇奉，自己的理念，以以太坊的办法去开展生态，去构建一个无限花园。不会由于谁和咱们联系好，咱们就宣扬谁，谁就会在咱们的宣扬之下取得成功。我们期望咱们能看到咱们对价值的坚守，以为咱们是最有潜力的那条 Layer2。咱们会自发地来咱们这儿布置，成为咱们前期生态同伴的一部分。咱们必定是很注重前期生态体系的协作同伴的，但咱们也不会打破咱们的中立性。由于这关于协议来说是十分重要的，你不能关于一些运用有倾向性，尽管这个东西的确有一些反人道。咱们也期望经过咱们的技能，咱们做的这些教育，经过咱们这样的社区，渐渐让咱们跟咱们 Scroll 保持共同，而不是经过简略砸钱的办法。实践上咱们拒绝了十分十分多的协作约请，这在许多链看来是失去了许多的时机。但咱们会以为尽管短期能够经过商场把市值做得十分高，能够做许多活动去提高链上的活跃度，可是另一种办法便是做Scroll自己，坚持咱们原先要坚持的。咱们会永久挑选后者，这是咱们和其他 Layer2 理念上的差异。

F.F：十分感谢 Ye，咱们也十分认同 Scroll 长期的价值观，包含与以太坊保持共同，去中心化，安全性第一。咱们会以为只要长期杰出的价值观，才干让 Scroll 走得更远。咱们也十分等待 Scroll 在未来能和以太坊一同开展，也能和 ZK 一同开展。十分感谢 Ye 今日参加咱们这次的播客。

此时快讯

【因内马尔与梅西相继离会，Crypto与巴黎圣日耳曼就签约进行重新谈判】金色财经报道，自内马尔与梅西离开巴黎圣日耳曼后，巴黎圣日耳曼的社交媒体，尤其是Instagram，流失了1000万到1500万的关注者。此外，加密货币公司Crypto也将在合同即将到期的这一年重新审视合作，目前正在与巴黎进行谈判。
此前，在梅西签约巴黎圣日耳曼几周后，Crypto与巴黎圣日耳曼签约三年，每年赞助费约850万欧元，这一数字是此前报价的三倍。