宇宙链 宇宙链
Ctrl+D收藏宇宙链

对话Scroll创始人:Scroll如何在zk rollup赛道竞争中突出重围?

作者:

时间:1900/1/1 0:00:00

受访者:YeZhang,Scroll创始人采访:念青,链捕手去年年初,三个年轻人在以太坊社区相遇,提到使用zk技术建设以太坊扩容的未来,他们一拍即合。这是Scroll开始的故事。今年4月,Scroll宣布完成3000万美元A轮融资。值得一提的是,几位以太坊基金会成员和以太坊社区成员也作为天使投资人加入了这轮融资,从这一点上,也能看得出Scroll和以太坊社区保持的紧密关系。相较OptimisticRollup,zk-Rollup方案开发难度大,但每笔交易确认时间更短,手续费更低,安全性更强,Vitalik也曾表示长期更看好zk方案。不过,OptimisticRollup方案落地更快,目前在zk-Rollup领域,Starkware、zkSync尚不能做到像OptimisticRollup那样顺滑的EVM兼容,名声最响的几个项目也还没有发币。但近期,zk系开始集中发力,PolygonHermez宣布开源zkEVM,ZKSync发布了ZKSync2.0计划,而Scroll在上线pre-alpha测试网后也宣布了zkEVM的详细发展路径。Scroll号称最兼容EVM的zk-Rollup。目前在zk-Rollup赛道,还存在两个普遍的问题:一是zk-Rollup目前仅支持支付、转账等较为简单的功能,尚未支持通用的功能;二是尚未建立起去中心化的验证网络。这些问题也是Scroll的起点。近期Scroll创始人YeZhang接受了链捕手的专访,和我们一同探讨了目前zk-Rollup赛道的现状和Scroll在这场突围战中的技术方案与位置,以下是对话全文:1、链捕手:请简单介绍一下Scroll团队和发展历史。YeZhang:首先介绍一下我们三个主要的创始人。我本科在北大,从2018年开始从事ZK证明方面的工作,之前主要在研究zk证明硬件加速和zk密码学算法原理,后面博士也是zk方向的,但是现在quit掉了,全职在做Scroll的事情。Haichen本科就读于清华姚班,博士毕业于华盛顿大学,研究方向偏向于底层系统领域。毕业后在亚马逊从事搭建机器学习系统等方面的工作。他做的东西很硬核,在工程能力会比我强很多,但我在zk方面会更熟悉一些。Sandy毕业于剑桥大学,曾在香港证监会从事研究方面的工作,17年开始开始从事Web3项目投资方面的工作,之前也做过游戏、产品类的项目。目前在团队负责非技术领域的工作。我们三个人中,我更熟悉zk一些,Haichen更擅长如何从理论到实践搭建起系统,Sandy更熟悉一个初创团队的品牌、合作伙伴关系、生态等。我们三个人的背景比较互补。决定做Scroll是因为我之前一直在接触zk,我很清楚zk的证明者的效率低的问题是可以通过在密码学和硬件上的突破而被解决的,这会让ZKP速度提高百倍。而且当时行业内还没有人做通用的zk-Rollup,比如zksync1.0、路印协议的zk-Rollup搭建起来的应用仅限于支付和转账等一些基础的功能,很难构建通用的可组合DApp。所以,我们想做一个通用的L2网络,能更好地兼容EVM,来实现部署智能合约和通用计算等更复杂的功能。当zk的效率不再成为问题,整个以太坊的扩容层基础设施架构上一定会有很大的机会。此外,以太坊社区是非常包容且有创造力的,我们也和以太坊社区和基金会保持着紧密的联系。我们一开始有两个目标:一是建设通用的zk-Rollup,另外一个是真正实现zk证明者的去中心化。基于这两个想法,我们写了第一版白皮书,当时拿给以太坊基金会的成员看了,探讨之后发现以太坊基金会也要做zkEVM,我们的技术路线还是很匹配的,于是就决定不如从一开始就合作。目前,以太坊和我们团队各有十多个技术人员在以开放式社区的合作形式做zkEVM,通过开源,即使在开发阶段,任何人都可以通过查看我们的Github存储库来检查我们的进度,迫使我们对社区保持透明和负责。Scroll团队从去年发展到现在,已经有40个人左右。30多位成员都是zk或者区块链方面的研究员和开发者,可以说整个团队目前的技术性还比较强,负责生态运营的非技术工作成员相对较少。在现阶段,我们还是想先把技术基础打好,所以在市场上的声音比较小。此外,团队也比较“去中心化”,成员分散在中国、美国、新加坡、欧洲等世界各地。2、链捕手:你怎么看待当下的zkrollup赛道,Scroll如何在这场竞赛中突出重围?YeZhang:很多zk-Rollup目前只能支持特定的应用,不支持通用的智能合约。如果说给以太坊扩容只扩展转账的部分,那还是一个比较局限的事情,很难发展真正的生态,所以我会将比较范围缩小到通用的zk-Rollup。相比较之下,我们有这些特点:首先,从开发者的角度,我们想支持一个EVM等效的zk-Rollup,可以实现与以太坊字节码级别的兼容性,也就是说,所有的EVM操作码和基础层完全相同。这就意味着开发者的代码在Scroll和以太坊上的执行效果是一样的,可以实现无缝迁移,而无需进行深度修改或重写。我们希望通过这种方式,为开发者提供最友好最原始的开发环境,支持所有的以太坊原生开发工具,开发者可以快速迁移合约,也不需要重复审计。通过这种方式,我们可以吸引到大量的EVM原生生态,这比从头搭建整个生态系统要方便和快速的多。Zksync和Starkware已经开始支持一些通用的功能了,但在开发语言上,它们还不能很好做到EVM兼容,比如Starkware用的是Cario语言,Zksync虽然实现了solidity兼容,但底层用的仍然是不同的虚拟机。这两者的架构需要专门的编译器将智能合约代码编译成新的zk友好的IR,这种方法是语言兼容而不是原生EVM兼容。对于开发者来说,在把应用从一层迁移到二层的过程中,需要使用新的编译器再重新编译一遍,相对比较麻烦。而虚拟机架构不一样,也需要用户不断去相信新的虚拟机和编译器都是安全的,代码可能需要重新审计。其次,Zksync和StarkNet还没有做到去中心化。目前,他们的Sequencer和Prover都由官方团队运营,出块、验证、打包都是自己来做,代码也没有开源,更没有搭建好去中心化的矿工节点,社区无法参与。中心化导致的一个问题是,所有的算力都控制在团队自己手里,意味着团队要租机器来持续承担这部分的成本。我们很早就意识到,这种方式是不可扩展的。因此,Scroll一开始就希望增强Prover的扩展性,允许任何一个人只要有GPU机器就可以成为证明节点。甚至,以太坊的矿工在合并后也有可能用自己的机器来成为我们的证明者,这种把权力下放到社区的方式是更高效的,加入的节点越多,算力就越大,成本也会降低。这就会促成一个正向的循环,激励社区来更新更好更快的硬件,只有这样专属于zk的ASIC才能出现和迭代,从而进一步缩小L1的最终确认时间和证明的成本,让我们的用户体验更好。我们团队内部也在开发GPU的算法,将来也会开源供大家使用。所以说,正是因为有了这样一个开放的网络,才会有更多的人愿意来共同建设。通过前面提到的技术特点,我们会给开发者最好的体验,并且有更高的社区参与度。最后,除了技术本身,我们也会始终支持开源社区,即publicgoods,为社区做更多的事情,真正意义上帮助以太坊扩容,我很认同Vitalik的观点:legitimacy在长期来看是非常稀缺的事情。3、链捕手:Starkware使用的新语言Cairo可以支持更多需求更复杂的应用,不知道这对Scroll有什么启发?YeZhang:很多人会觉得新的虚拟机会成为未来,但是现阶段,我还没有看到那种必须要部署在新虚拟机上才能运行的杀手级应用。我认为,一个好的区块链虚拟机模型应该从更底层的逻辑和整个区块链架构的角度考虑,比如“如何做到更友好地和账户交互”之类的问题,而不是说换成C++、rust等其他语言就行得通的。其次,即使拥有通用的zkVM,想要把体量巨大的游戏类应用直接编译过来,是不太现实的。游戏应用的provingoverhead要比定制的zk证明大几个量级,改进虚拟机的同时也一定要和算法以及硬件配合,这需要长期的投入。我个人认为要一步步来,先做到zkEVM兼容,然后再去考虑其他的可能性。对于Scroll来说,我们意识到L2是服务于L1的,需要从臃肿的L1承接部分应用,首先解决以太坊的拥堵问题,而且一定不能在安全和去中心化上妥协。所以,Scroll需要用最安全的方式兼容这部分应用的移植,况且,以太坊原生的生态已经是一波很大的流量了。当然,我们不会停留在EVM兼容的层面,在完成和以太坊完全兼容之后,我们才会根据开发者的需求考虑探索虚拟机的灵活性。4、链捕手:Vitalik最近发表了一篇关于zk-EVM的研究,他把目前的zk-EVM分为了四个类型,并认为Scroll的ZK-EVM项目正朝着2型方向发展,建议目前最好考虑类型3。对此,你有什么想法?YeZhang:我觉得Vitalik的分类标准挺好的。3型实现了字节码级别的兼容,包括debug工具等开发者所有需要的工具,除了solidity之外还要兼容EVM兼容的语言,这是3型最基础的标准;2型是能够支持更细致的EVM里特殊的预编译。随着工程进度的推进,我们会逐渐从3型转到2型,现在Scroll对开发者的体验来说,已经和2型很类似了,但目前我们还有一些功能没有做到电路里,做完这些后,就会朝着2型发展。Vitalik提到,以太坊基金会隐私和扩展探索团队正在构建类型1,我们和这个团队也是合作关系。但目前,1型对我们来说效率比较低,因为以太坊的设计和zk的设计在底层上还是不一样的。我们会致力于给开发者提供和L1完全一样的开发体验,在1型的效率方面我们也会持续关注。这篇文章中有一点我不太赞同,我觉得所有类型的gas费都要调整,因为证明的成本和直接执行的成本是不一样的,如果定价一样的话,可能会导致潜在的攻击。4、链捕手:Scoll和PolygonHermez的在zkEVM技术方案有相似之处,对比之下,两者的区别在哪里?Scroll在zkEVM开发上的进度和计划如何?YeZhang:我们跟Hermez最大的区别是在zkEVM的实现方式上,Scroll跟以太坊原生执行方式会更像,比如,Scroll出块节点会直接复用以太坊一层节点的代码,以太坊客户端的这个节点叫Geth,通过这种方式保证我们在客户端和以太坊的执行方式也是一模一样的。我们会直接把该节点额外输出的trace信息作为生成zk证明需要辅助信息,然后运行zk算法来直接生成证明。PolygonHermez团队则为zkProver创建了一套新语言,在executor执行交易时,要把EVM字节码翻译成另一套代码,叫zkASM。Vitalik认为这是一种取巧的方法,虽然内部逻辑不同,但也可以说它实现了EVM兼容,只是在执行过程中可能存在一定的风险。比如,Scroll字节码级别的兼容可以完全适应以太坊的各种升级,包括EIP等代码升级,但Hermez可能需要手动更新来保持同步。此外,我觉得Scroll另外一个优势是和以太坊基金会的紧密合作,因为很多代码都是我们共同开发的,将来他们可能直接会把这一套用在以太坊网络上。我们更多是在共建以太坊的未来,能在愿景上保持一致。而且Scroll决策也相对独立一些,Hermez毕竟属于Polygon的一部分,未来它如何体现MATIC的价值?是否会成为Polygon的L2呢?再说一下Scroll在zkEVM开发上的进度。我们的测试网有这么几个阶段:pre-alphatestnet、alphatestnet和比较完整的测试网。目前pre-alphatestnet已有一些预部署的应用,比如已经可以把Uniswapv2的合约部署到测试网上,允许用户执行一些功能如L1和L2之间的转账,swap等用户级别的交互。但目前还仅对加入白名单的用户开放。alphatestnet允许任何人在测试网上进行交互,是无需许可的,此外开发者也可以无需许可地在网络上部署合约,alpha-testnet预计会在近期上线。完整的testnet预计在今年年底推出,到时候会支持测试完整证明的生成,目前的证明部分已经包含了大部分opcode和storage的读写访问,还有一些剩余的电路因为工程进度原因仍在逐渐完善。5、链捕手:目前Starkware、Zksync和Hermez都有自己的数据可用方案,Scroll在这方面是否也有相关计划?YeZhang:Scroll暂时没有设计专门的数据可用性方案。首先,我们对以太坊技术的时间线还是比较乐观的,不论是Danksharding还是Proto-Danksharding。其次,引入额外的数据可用方案会让系统整体的安全性有一定的妥协,所以我们认为长期来看最好还是用以太坊作为原生的数据可用层。专用的数据可用方案更可能会出现在L3的专门的应用上,到时候,应用自己的社区可以决定怎么存数据、是否愿意牺牲一定的安全性来换取更便宜的交易费用等问题。6、链捕手:为什么说目前距离正常运行zkEVM还很遥远?YeZhang:很多开发工作都需要较大的工程量,比如Scroll目前还有部分未实现的代数电路。此外还有审计工作,在正式落地之前需要非常仔细的审计,之后还需要做大量的性能优化。这三点都是非常琐碎的技术性工作,需要慢慢去完成。目前给大家看到的只是一套技术上行得通的东西,主要传达出一个信号就是,zkEVM已经来了,而不是所谓的zk还要等几年。具体要说进度的话,我认为不管是哪个团队,最早也是明年才能推出主网,投入使用。7、Vitalik曾表示长期更看好zkrollup,但zk技术开发难度大,其技术难度主要体现在哪些方面?YeZhang:和其他成熟的开发语言不同,zk语言是一种纯数学语言,即需要通过基本的加减法和数学公式把复杂的功能一层层搭建起来,也不是图灵完备的,所以开发难度很大。为特定的应用开发zk-Rollup需要使用该特殊的zk编程语言来编写智能合约的逻辑。如之前提到的,该语言的需要复杂的设计,要求开发者精通数学和零知识证明,并且需要漫长的审计,还可能需要自己覆盖证明的开销,整套工具需要很强的技术栈支持,这对正常的合约开发团队几乎是做不到的事情。我们希望通过直接支持原生EVM执行证明,为开发人员提供快速开发体验,同时支持L2内应用程序的可组合性。但是这个需要我们开发一个通用的zk-Rollup,直接为EVM虚拟机设计zk电路,这个比普通的智能合约对应的zk电路工作量和设计复杂度要高很多很多,但是它也同时将复杂的zk开发全部转移到了我们自己身上,一旦开发完成,应用层开发者是不需要了解底层zk细节的。8、链捕手:近期,dYdX离开Starkware开始拥抱应用链,其背后的原因之一是Starkware技术开发周期长和L2短期内不够去中心化的问题,Scoll目前在去中心化验证网络方面进度如何?YeZhang:L2的去中心化验证的确存在很多挑战,也会涉及到更复杂的经济模型和激励模型。前面提到,Scroll一开始就需要解决去中心化验证的问题,目前第一阶段是先通过硬件加速来提高prover的性能,实现prover的去中心化。下一步是sequencer的去中心化,届时,任何人都可以运行节点。但目前还需要中心化的sequencer把整个zkEVM的系统跑得非常稳定,否则过早将sequencer去中心化会极大地增加设计复杂度,并给系统带来一些安全隐患。我们团队已经在这个领域研究了,并且比较几套不同解决方案,等zkEVM稳定之后,我们会着重朝这个方向探索。9、链捕手:Scroll创立的时间并算不长,但也算较为迅速地在今年四月融到了上千万美元的资金,这个过程有什么经验之谈?YeZhang:其实我们整个A轮融资在去年年底就结束了,只是在今年四月才正式宣布,并且在Devconnect正式亮相。zk也算是一个风口,而且我们致力于做最兼容EVM、更通用的zk-Rollup,整个融资过程相对来说还是很顺利的。我们在挑选合作伙伴的时候比较谨慎,其中一个标准就是有比较强的研究能力和技术实力。这轮合作的几家机构比如Polychain、Geometry和BainCapitalCrypto,除了在投资组合里有很多相关的生态项目,他们团队自身有在zk、密码学等领域深耕多年的研究者,也有一些经验丰富的工程师,比如Geometry的创始人曾是Aztec的CEO。他们能够理解我们项目的困难度,也会给我们正确的帮助。另外本轮投资者中也有很多以太坊社区中的人,通过这种形式建立联系之后,我们在技术交流上也更方便。所以,我们希望先从小圈子开始里建立影响力,之后随着团队的扩大和产品的成熟,再做更多。10、链捕手:Scroll未来一年的发展战略是怎样的?YeZhang:我们计划在alphatestnet之后,将更多的精力集中在部署应用和测试上,在生态上,会先部署钱包、工具类的基础设施,之后再向更多应用扩展。与此同时,我们也会做一些教育工作,举办黑客松等活动。最近我们和联合0xPARC给大家上课,课程内容包括Halo2背后的数学原理,如何使用开发工具等,慢慢扩大我们的影响力。未来也会寻找web2的一些合作伙伴,来搭建一些scroll原生的特色应用。

SBF:FTX很高兴与 FSCA 合作,双方已开始对话:金色财经报道,2月2日,据FTX创始人SBF在推特上透露:“FTX很高兴与南非金融部门行为监管局(FSCA)合作,并感谢他们让我们注意到这一点。我们不知道 FSCA 有任何外展活动,但很高兴与 FSCA 合作以遵守监管要求,目前已经联系开始对话。”据此前金十报道称,南非加密货币交易者警告称不要使用交易平台FTX和BYBIT,另外去年九月南非金融部门行为监管局曾发布警告要求公众在与 BINANCE GROUP 打交道时保持谨慎和警惕,因为根据 2002 年《金融咨询和中介服务法》(FAIS 法),BINANCE GROUP没有获得在该国提供金融服务的许可无权在南非提供金融建议或中介服务。[2022/2/3 9:28:35]

eToro正与Ripple\\Flare Networks就即将发布的Spark代币进行对话:投资平台eToro目前正在与Ripple和Flare Networks就即将发布的Spark代币(Flare区块链的原生代币)进行对话。此前消息,Ripple合作伙伴区块链公司Flare Networks表示,计划在12月发布基于XRP Ledger的新代币Spark。XRP的投资者可以在12月12日为其持有的每枚XRP索取1枚免费Spark代币。(Bitcoinist)[2020/9/7]

火币“DeFi预言家”项目对话:Just基金会考虑将“流动性挖矿”引入整个生态:8月25日,火币全球站“DeFi预言家”活动正式启动,邀请到活动中四个DeFi项目线上对话。对话中波场创始人孙宇晨表示,Just基金会近期考虑将最近的DeFi热点“流动性挖矿”引入整个生态,以JST作为平台治理和挖矿收益的代币,近期的项目包括:1)JustStable流动性挖矿:用户参与抵押、借贷提供流动性时,会收到CDP的挖矿收益;2)JustSwap流动性挖矿:用户通过提供资金到JustSwap资金池的方式,获取除交易手续费外的额外挖矿收益;Just基金会未来还会引入更多应用场景下的DeFi,涉及单是不限定于借贷、交易、衍生品等,JST都将作为挖矿收益发给生态贡献者。[2020/8/25]

火币尖峰对话卡咩:Defi项目的火爆集中在基于Token的金融领域:6月24日下午,在由火币主办的火币尖峰对话“Waiting For ETH2.0”系列AMA活动中,火币矿池与dForce创始人杨民道、Infstones Head of Bussiness Sili、Stafi&Wetez创始人卡咩、真本聪联合创始人索老头就“乘风破浪的以太坊DeFi ”展开主题讨论,深度解读ETH2.0将给行业带来的重大影响。

在Stafi&Wetez创始人卡咩看来,目前Defi项目的火爆集中在基于Token的金融领域,无论是交易、稳定币、借贷还是衍生品。他表示,任何基于Token的创新金融业务都有可能是新的引爆点,也会在引爆点后形成更宽的赛道。基于Token的业务将会发展的越来越快,种类会越来越多。在这种情况下,进行组合、重组或者整合的机会就开始变多,而边缘一些为这些服务提供工具的机会也会出现。[2020/6/24]

特斯拉创始人在和J.K. 罗琳推特对话时称持有 0.25 BTC:特斯拉创始人 Elon Musk 在和哈利波特作者 J.K. 罗琳推特对话时称持有 0.25 BTC 。《哈利波特》作者 J.K. 罗琳在推特上表示对比特币有兴趣,并寻求网友为其解释比特币。为此,特斯拉创始人 Elon Musk 和以太坊创始人 Vitalik Buterin 都开始向她积极布道解释加密货币概念,其中,Elon Musk 更在讨论中透露自己持有 0.25 BTC 。[2020/5/17]

标签:ROLLROLCROSCRTrollCoinTROLLCROC BOYSCROH币

芝麻开门交易所热门资讯
盘点以太坊合并背后十大关键人物

Odaily星球日报译者|Moni 作为最近加密行业最大事件之一,以太坊“合并”已经引起了巨大关注.

1900/1/1 0:00:00
Hodlnaut宣布裁员80%,并披露与新加坡存在未决诉讼

Odaily星球日报译者|念银思唐总部位于新加坡的加密货币借贷平台Hodlnaut面向社区更新了司法管理文件,并宣布了两项令人担忧的举措。首先,该平台宣布裁员80%,约40人,“以减少公司开支”.

1900/1/1 0:00:00
万字解析“The Merge”对以太坊的深远影响

目录 Coinbase在以太坊合并之前上线流动质押代币cbETH,用户可以通过cbETH出售、转移、消费或以其他方式使用锁定的质押ETH其它:ETC利好、矿工迁移对ETC生态ETC链的出现源于2016theDAO事件的硬分叉.

1900/1/1 0:00:00
抓取X2Y2十万NFT订单,分析版税改革后真实的用户行为

EIP-5058能否防止NFT项目方提桶跑路?以太坊新标准EIP-4907是怎样实现NFT租赁的?而交易所黑名单机制,也只能是后续的项目方增设,但是这也将严重破坏去中心化程度。所以短期内项目方基本只能严正声明,让X2Y2拭目以待.

1900/1/1 0:00:00
一览16个DAO社区开发的新工具

最近跟不少投资人、做DAO孵化的朋友聊,大家都挺好奇,DAO内部孵化的DAOTool有哪些?社区都在开发什么类型的DAOTool.

1900/1/1 0:00:00
从链上数据分析,我们处在加密周期的什么位置?

:"\u003Cp\u003E\u003Cem\u003E\u003Cspan\u003E原文作者:DavidLawant、GayatriChoudhury\u003C\u002Fspan\u003E\u003C\u002Fem\u0.

1900/1/1 0:00:00