宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 火必下载 > 正文

解析 StarkWare 的架构与生态:估值 80 亿美元的扩容潜力

作者:

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

作者:echo_z,链茶馆

在以太坊的扩容路线中,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有趣的创新点。

WalletConnect 发布钱包开源解决方案 Web3Modal v2.0 版本,新增 ENS 域名解析等功能:9月17日消息,Web3 基础设施 WalletConnect 发布钱包开源解决方案Web3Modal v2.0版本,新功能包括可自定义的UI、支持上百个钱包、最终用户登陆、可定制的条款和条件、ENS域名解析,未来几周内也计划添加和增强更多功能,包括支持React和Vanilla等多种框架、为账户地址和实时余额等功能预建组件、支持非EVM链等。[2022/9/17 7:02:59]

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兼容。

DeFiBox上线Mdex 合约解析功能:据官方公告,Heco 数据合作平台 DeFiBox 现已上线Heco项目Mdex 的合约解析功能,用户通过 DeFiBox 可以直观查看收益率,并根据相关数据进行策略调整,提高了用户体验。[2021/1/27 13:38:26]

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

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

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架构及数据可用性

浪潮集团王伟兵:标识解析、标识密码、区块链是构建工业区块链三个技术要素:金色财经现场报道,12月5日,2020世界区块链大会于武汉举办,会上浪潮集团区块链技术研究院首席架构师王伟兵演讲表示,消费互联网是实现人和人的连接的,工业互联网从技术上看更偏重物,工业互联网数量多,管理难度大,面向物的标识解析和密码学适合应用。标识解析的本质是提供名称映射的分布式数据库,构建工业区块链的三个技术要素是标识解析、标识密码、区块链。标识解析需要目录服务、数据共享,标识密码主要做设备身份认证、设备写入链,区块链则增强安全,完成可信交易。[2020/12/5 14:06:24]

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

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模式牺牲了安全性来换取更节约的存储空间,用户使用的前提是信任该委员会。

分析 | USDT听证会解析:瑞海君看币观点:一、预计听证会围绕的主题有如下两个:

1.Bitfinex和Tether不顾美国法律和监管,为纽约州居民提供了相关服务。

2.Bitfinex和Tether之前在美国的业务,触犯了美国的反法(这个才是对USDT具有巨大杀伤力的议题)。

二、?今晚可能达成的几种结果:

1.BFX和Tether违规为美国居民提供服务罪名成立,会导致两家共识会继续被调查,且会被美国要求提供更多的运营资料,的事情没结果,但是也要提交更多资料自正清白,这是利空!会导致USDT这个雷持续悬在整个币圈的头上,然后美国来一条新闻,币圈震动一次,简直就是噩梦。(概率中性)

行情影响:短暂反弹,然后继续震荡阴跌。

2.两项罪名都没结果,短暂利好,BFX继续和美国扯皮,大家松一口气暂时?,价格可能出现反弹。(可能性较大)

行情影响:短暂反弹,后市宽幅震荡为主。

3.两项罪名都成立,不可想像(可能性较小)!

行情影响:区块链局。

罪名直接成立可能性也较小,调查没那么快,所以请大家系好安全带,等待靴子落地,两只靴子到底如何落地,落地几支,只有静候今晚的听证会了。[2019/7/29]

而在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生产区块所需要的时间,所以生成区块和生成证明之间会有一个长达数小时的时间差,如何利用分工来解决时间差问题,将会是个不小的难题。

分析 | 杯柄形态ENJ最高涨幅83% 盘面解析:金色分析师:今日山寨币ENJ最高涨幅83%,消息面上,ENJ确定成为三星Galaxy S10手机的合作伙伴。从盘面上看,小时图币价在未启动前一直处于上升趋势中,前期已经涨了一波,缩量调整回落,然后放量上攻,到达前期高处时候,又再次缩量调整,然后在放量上攻突破前期高点,然后币价进入直线拉升趋势,营造杯状带柄形态。[2019/3/8]

来源: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系凸出。当然,对于二级市场的散户投资者而言,或许会创造一个不错的进入机会。

标签:STAARKSTARKSTARbitstamp中文叫什么Fragments of arkerstarknet币价分析Starship Doge

火必下载热门资讯
那些离开大厂去往 Web3 的 BUIDL

作者|念青,链捕手 编辑?|?Demian,链捕手随着布道者、探索者与实验产品越来越多,Web3正从一个模糊的概念变得具体.

1900/1/1 0:00:00
公司以虚拟货币支付工资被告,法院判决以人民币支付

链捕手消息,据北京朝阳法院消息,该院近日审结了一起公司与员工就支付工资的货币形式无法达成一致的案件,最终判决公司应以人民币支付员工工资.

1900/1/1 0:00:00
Oasis 第二季度工程技术进展:钱包、ParaTime、开发者平台更新

尽管最近加密市场的大环境并不是十分理想,但是为了保证用户的最佳使用体验,Oasis工程团队在过去的三个月依旧十分忙碌!Oasis在Paratime部署方面的工作仍在继续.

1900/1/1 0:00:00
OFRTalk#8复盘:从治理的角度探讨OP代币模型及其启发

撰文:OFRTalk 6月7日,OFRTalk#8围绕着Optimism的治理代币$OP与到会嘉宾进行了一系列探讨。活动中精彩发言不断,此文为活动的文字盘复盘总结.

1900/1/1 0:00:00
第 6 章:游戏

游戏总是建立在由中心化实体控制的孤立的泡沫中。实体控制。开发商或发行商决定了系统的规则,通常对游戏中的货币有严格的条件。玩家通常被限制出售他们的游戏物品或资产以换取法定货币.

1900/1/1 0:00:00
STEPN CMO:新服暴露4个问题,将优化经济系统

链捕手消息,STEPN首席营销官shiti在社交媒体上发文表示,STEPN项目方对过去一个多月BSCrealm开放后的各种事件进行了深度复盘,总结出了若干经验和方案,计划将在未来的realm开放前和开放时.

1900/1/1 0:00:00