ARE:?解析StarkWare的架构与生态:估值80亿美元的扩容潜力 | 链茶尽调_StarkMeta

在以太坊的扩容路线中,ZKRollup一直被寄予厚望。由于ZKRollup能够生成极其简洁的证明,相比OptimisticRollup进一步压缩了链上存储需求,因此能够释放更大的链上空间。

按照V神的估算,ZKRollup理论上可以将主网TPS提升~100倍,这也远远强过能够提升TPS~20倍的分片方案。

来源:https://vitalik.ca/general/2021/01/05/rollup.html

ZK系Rollups有两大龙头项目,一是StarkWare,二是ZKSync。二者都有较强的技术能力,也在测试网上有不少生态项目,但由于分别采用了不同的ZKRollup技术,产品能力和进度上各有千秋。

其中,StarkWare有着更耀眼的资本背景:近期以80亿美元的估值完成1亿美元的D轮融资,位居四大主流Rollups项目之首。

主流L2项目一览,链茶馆制作

StarkWare为何能够如此受资本青睐,其技术能力可以实现怎样的扩容效果呢?链茶馆将在本文尝试解析StarkWare的架构和生态,理解其未来前景。

1.产品体系

StarkWare的产品体系分为两部分。

其一是作为ToB服务的StarkEx,为每一个应用提供专门的Rollup技术服务,自2020年就已正式上线以太坊主网,相对成熟。

其二是作为通用L2的StarkNet,可以部署任意的智能合约、而不像StarkEx那样需要为特定应用做定制开发,StarkNet已于去年6月上线测试网、去年11月上线以太坊主网,但生态项目仍在测试网上运行。

二者所使用的底层技术是相通的,StarkEx相当于通过单个App中心化运营的方式提前使用了ZKRollup技术,而StarkNet则承担了建立节点网络的去中心化任务。

以下将会首先介绍StarkWare所采用的基础架构,以及在两种产品体系之下的执行差异;其次,将介绍除了ZKRollup之外,StarkWare有趣的创新点。

1.1通用工作流

下图是StarkEx的工作流,和StarkNet相通,我们将以此为概要,梳理StarkWare的技术要点。

来源https://docs.starkware.co/starkex-v4/overview

1)Applications:用户向App发送交易请求,App将交易请求发送到StarkExService模块中。图中的「Executing」,不是很确定指的是什么,可能是指一些前端的处理或预处理。

2)StarkExService:这一模块会验证交易的有效性,如确认用户身份与资产是否相符、用户账户上是否有足够余额、该笔交易此前是否已经执行过等;确认过后,将会打包足量的有效交易,并运行Cairo程序来执行这些交易。

值得注意的是这其中的「Cairo」编程语言,这是StarkWare对于ZKRollup所面临的共同挑战的解决方案:在现存的多数证明系统中,必须首先将计算结果转化为一个特定域的多项式方程,而困难就在于,智能合约的执行结果有千千万,如何能够统一成可以验证的多项式方程。

StarkWare的一个重大贡献,就在于通过Cairo这一图灵完备的语言,将所有的智能合约计算结果转化成了可证明的多项式方程,由此让智能合约与ValidityProof相兼容。

在这一方面,ZKSync也用原创的方案做到了,但是与StarkWare各有取舍。StarkWare采用的证明系统是STARK,这是StarkWare团队所开创的证明系统,优点是在单位空间内能够证明的交易更多、且更安全;而ZKSync采用SNARK系统,是一个相对成熟的证明系统,优点在于更容易做到EVM兼容,ZKSync2.0也确实做到了EVM兼容。

StarkWare的原生Cairo语言对STARK证明系统非常友好,可以说是为了运用STARK证明系统而产生的语言,但随之而来的问题则是对开发者来说学习成本较高,现有的Eth生态难以直接迁移。为此,StarkWare正在与第三方团队Nethermind合作,开发Solidity到Cairo的编译器Warp。

3)SHARP:在Cairo程序执行完成后,结果将会发送到SHARP,即「共享验证者」。这也是StarkWare开发的一套程序,基于STARK证明系统,将Cairo程序的执行结果生成一个证明,并发送到L1上,由L1的矿工节点调用验证合约来做验证。

分析 | 比特币短线跌势到位 期货市场偏空头主力:据期货平台BFX.NU数据显示,本日午前期货市场空头溢出约为1.04%,相较昨夜有所回落。短期内,比特币短线跌势已经到位,目前支撑在7050U上方,忽略干扰性因素,目前下行走势较符合技术面特征。本日,QTUM合约涨幅居前,预计多头最高回报率约为123.4%。

主流币期货板块,ZEC、ALGO、ATOM等12类合约短时增仓明显,而CKB、BTM、LINK等7类合约呈现为减仓趋势;平台币期货板块,OKB合约短时新增9.15万开仓,整体偏空头为持仓主力,而HT、BNB合约短时呈现减仓趋势,但多头占优。[2019/12/13]

4)STARKVerifier和5)StarkExContract都是部署在L1的智能合约,前者负责验证SHARP提交的证明,后者负责存储更新的交易状态和其他必要信息。只有当L1的矿工节点运行Verifier、验证通过后,在StarkExService模块中提交的状态更新才会被L1接受,更新StarkExContract内存储的交易状态,由此完成交易。

总结来说,最核心的模块在于StarkExService和SHAPR中。StarkExService对交易进行有效性验证、打包、调用Cairo程序执行,随后提交到SHARP生产证明,最后再将证明提交到L1的智能合约,以供L1节点验证。

Cairo程序和SHARP证明体系构成了StarkWare的核心技术,整套技术基于StarkWare自创的STARK证明系统,具有证明量大且更安全的特性,但是为了适应STARK的Cairo语言不天然兼容EVM,对开发者有较高的学习成本。

那么,上述工作流中的环节,分别是由哪些角色来执行的呢?1.2和1.3小节将会对此详述。

1.2StarkEx架构及数据可用性

在StarkEx中,所有链下的工作,即包含交易打包、调用Cairo程序、生成证明,全部都由每个应用自己运行完成,是一个完全中心化的运营方式。此外,由于StarkEx是定制化的ToB服务,针对每个应用有专门的ZK电路,加强了运行性能,因此使用StarkEx引擎的项目能够做到非常高的TPS。

行情 | 比特币短线再次触及7100USDT:据OKEx行情显示,比特币再次涨破7100USDT,现报7152USDT,日内涨幅扩至2.4%。[2019/5/13]

StarkEx还提供了两种数据可用性的模式:ZKRollup和Validium,供每个应用取舍。

数据可用性在区块链的场景中至关重要,指的是链上节点是否能够获取到每一笔交易执行的全部相关数据,如果只能获取到交易结果、而没有执行过程数据,那么这笔交易的有效性就无法在链上验证,而只要有任意单一笔交易的数据有效性有问题,那么整条链上的交易历史都存在隐患。多种Layer2所取舍的一个关键点,就是存放多少数据在链上,由此也形成了不同的安全性。

下图是四种主流L2模式,所对应的证明系统和数据可用性方案。可以看到,ZKRollup和Vailidium都采用有效性证明,区别在于完整数据放在链上还是链下。

来源:https://twitter.com/vitalikbuterin/status/1267455602764251138

在Validium模式下,只有更新后的状态会发送到L1上,L1节点无法通过链上数据复原完整交易历史。在这种模式下,交易的完整执行数据会由SHARP先发送给一个链下的「数据可用性委员会」,这是一个由ConsenSys、Infura、Nethermind、Cephalopod、Iqlusion和StarkWare共同组成的中心化的委员会,负责接受链下数据并做验证,随后将签名发送到L1上,L1上的节点通过验证签名来确认链上状态的更新。Validium模式牺牲了安全性来换取更节约的存储空间,用户使用的前提是信任该委员会。

而在ZKRollup模式下,除了新的状态外,还会将状态变化前后的区别一同发送到链上,L1节点利用链上数据就可以复原完整交易历史,实现了安全级别最高的Rollup。

目前采用StarkEx的四个项目中,只有dydx采用了ZKRollup的数据可用性模式,其余三个项目都采用Validium模式。

来源:https://l2beat.com/

1.3StarkNet架构及成熟度

StarkNet相对于StarkEx最主要的架构变化,就在于链下工作从应用手中移交到了矿工手中。

链下工作包含两部分,一是StarkExService所承担的验证交易有效性、打包交易、调用Cairo程序执行的工作,在StarkNet中执行者为Sequencer;二是SHAPR所承担的生成证明的工作,在StarkNet中有独立的Prover。

Sequencer+Prover相当于ETH网络中的矿工,完成了从交易池中挑选交易、执行交易、生成证明的过程,由此也就生成了StarkNet上的区块。至于Sequencer和Prover的角色会合并还是分开,官方还没有给出方案。这里有个复杂的问题:Prover给出证明所需要的时间远远长于Sequencer生产区块所需要的时间,所以生成区块和生成证明之间会有一个长达数小时的时间差,如何利用分工来解决时间差问题,将会是个不小的难题。

来源:https://www.youtube.com/watch?v=wFZ_YIetK1o

作为通用L2,StarkNet的应用场景当然比StarkEx广泛,但是作为产品本身而言,成熟度还不够高。

其一,StarkNet的性能并不够好。这是由于,StarkNet要做的是ZK通用电路,而StarkEx做的是针对每个应用定制开发的电路,StarkNet处理的问题复杂度远远高于StarkEx。

官方没有公布过StarkNet的TPS数据,但是从区块浏览器来看,不论是在主网还是测试网上,大概只能实现每小时300~400笔或每分钟15笔交易,TPS仅为0.1~0.25。当然,这个数字可能也是由于用户量少造成的,但整体TPS不高应该是现状。

来源:https://voyager.online/;https://goerli.voyager.online/

其二,StarkNet还没有做到去中心化。目前,Sequencer和Prover都由StarkWare官方团队运营,没有搭建好去中心化的矿工节点。不过在这一点上,其实Optimistic和Arbitrum也都是由中心化的Sequencer节点运营的,是L2所面临的共同问题。

官方在2月时发布过一篇博客,认为StarkNet目前已经实现了可用性,接下来分别要达到的目标是提升性能并实现去中心化,在性能这一方面,要在2022年的下半部分实现比ETH高一个数量级的TPS。

1.4未来构想

除了基于STARK证明系统的扩容方案外,StarkWare还构想过不少其他创新,如跨L2的联合LP池:用户可以在多个L2的LP池中交换代币以增强流动性。不过这样做的代价是会增加无常损失的风险,未必是个理想的方案。

但是,StarkWare有一个设计构想,展现了一个很宏伟的未来:通过L3来实现分形分层。简单来说,即在StarkNet上用分形的设计层层构造ZKRollups,使得性能翻倍。而且据官方Medium,未来StarkEx也将会迁移到StarkNet上,作为一层L3服务其他协议。

来源:https://medium.com/starkware/dydx-now-on-mainnet-c21c84d8e342

如果Ln的分形分层设计真的能实现,那么TPS的提升将至少以百倍计算,甚至以太坊可能不再需要Sharding。当然,这一构想必定会面临诸多难题,比如L2生成证明就有延时,分层的延时是否会更严重、如何处理,以及每一层的安全性如何保障,等等。分形分层的实现,恐怕还比较遥远。

2.生态运营

在ToB服务侧,StarkEx提供的服务比较成熟,目前TVL~10亿美元,其中dYdX占95%以上。

来源:https://starkware.co/starkex/;https://l2beat.com/

在ToC服务L2这一侧,目前还没有TVL等数据,但是可以看到StarkWare具有很强的生态吸引力。官方收集了60多个正在搭建的项目,其中以Defi、Games和NFT为主。

来源:https://starkware.notion.site/Projects-Building-on-StarkNet-a33dee55778a4515a9be9bdae02ee682

值得注意的是,AAVE、Maker这两个知名项目,也将会部署到StarkNet。两周前,Maker已经上线了DAI在主网和StarkNet之间的转账,AAVE近期也在社区内公告,预期6月会完成第一阶段的部署,在StarkNet上线aTokens。

除了成熟的Defi项目外,新项目中较为知名的是Jediswap,声称可以实现0手续费的交易,Twiiter上已有~10k粉丝。

团队似乎也较为重视游戏开发,核心逻辑是认为StarkNet可以承载较大的计算量,对于开发优质游戏非常有利。目前,已经有相对复杂的游戏如@LootRealms、@TheDopeWars等正在筹备上线,也有相对简单的游戏已经可以使用,如@briqNFT,这是一个用户可以自由绘制像素图片并生成NFT的项目。

此外,生态中还包括StarkNet原生钱包ArgentX、将Solidity编译为Cairo语言的开发工具Warp等。

3.团队与融资

StarkWare是一个来自以色列的团队,有很强的学术和技术背景,核心团队以工程师居多,共有4位合伙人。

联创及主席EliBen-Sasson,于2001年获得希伯来大学理论计算机科学博士学位,专攻密码学和零知识证明。他是STARK证明系统的发明人之一,参与建立过多个加密项目,其中包括Zcash。在联合创立StarkWare之前,Eli曾在以色列理工学院担任计算机正教授。

联创及CEOUriKolodny,在希伯来大学获得计算机科学学士学位、在MITSloan获得MBA。Uri是位连续创业者,曾联合创办过多家科技公司,包括医疗器械公司OmniGuide、大数据可视化开发工具Mondria等。此前,Uri曾在两家以色列VC担任EIR,也做过麦肯锡分析师。

联创及首席架构师MichaelRiabzev博士,是EliBen-Sasson带的博士生,也是ZK-STARK协议的共同发明者。

最后一名联创,也是首席科学家AlessandroChiesa,和EliBen-Sasson联合创办了Zcash,在UCBerkeley计算机系任教。

StarkWare也有非常强的资本支撑。就在刚刚过去的5月,StarkWare宣布以80亿美元的估值获得了1亿美元D轮融资。截止目前,StarkWare已经累计获得2.73亿美元融资,投资方包括Coatue、GreenoaksCapital、Sequoia、Paradigm、3Arrows、AlamedaResearch、EthereumFoundation等等,不仅受到以太坊社区支持,也大受资本青睐。

4.优势与挑战

StarkWare具有非常明显的优势:

1)创始团队继承自Zcash,既有强大的学术和技术背景、又有成功的加密领域创业经验,是非常难得的明星团队;

2)扩容潜力大,基于STARK的证明系统能够最大化压缩链上信息,在这一点上超过了ZKSync和OP系选手,且核心技术均为自研,对技术的掌控能力强;

3)优秀的声誉也有利于生态建设,目前已经吸引到了AAVE、Maker这样的成熟项目部署,可见对开发者具有较强的号召力。

StarkWare面临的主要挑战包括:

1)没有做EVM兼容,对开发者的门槛较高,这也是相对于ZKSync的一个关键区别。在这一方面,第三方团队Nethermind正在开发Solidity到Cairo的编译器Warp,对于生态发展速度来说会是一个关键变量;

2)目前StarkNet上的Sequencer仍由团队进行中心化运营,如何在做到去中心化的同时保证安全,也将会是一个难题。这个问题也同样摆在Arbitrum、Optimism等相对成熟的L2项目面前,二者目前的Sequencer也都以中心化的方式运营;而对于StarkNet来说,除了负责挑选交易、产出区块的Sequencer角色外,还有负责生成证明的Prover角色,且后者相对前者会有延时,这一问题将会更棘手。

StarkWare还没有发币,就已经达到了80亿美元的高估值,相比之下Optimism目前FDV为~25亿美元,在熊市下不排除StarkWare币价出现倒挂的可能。这也许会让StarkWare对于发币更加审慎,毕竟团队不差钱,且对用户而言ZKRollup的手续费天然较低,财务问题不如OP系凸出。当然,对于二级市场的散户投资者而言,或许会创造一个不错的进入机会。

来源:金色财经

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

大币网

[0:15ms0-3:784ms