读懂StarkWare: dYdX和iMMUTABLE背后的Layer2方案解决商

撰文：msfew/img/20230508212642618331/1.jpg "/>

目前来看,StarkWare无论是从性能还是目前的运行状况,都领先于zkSync.zkSync和StarkWare最大的区别还是运作理念.zkSync的项目都是开源的,而且团队说自己被替代掉也无所谓,只要能推动社区和以太坊的发展.StarkWare公司是toB中心化的运作方式,STARK证明器目前只能StarkWare公司使用,而且做Cairo这个语言其实也是不那么对以太坊生态有利的做法(对开发者友好的做法应该是和zkSync或Optimistic一样去做EVM兼容).zk-Rollups与STARK证明

StarkWare所使用的技术包含了zk-Rollups以及zk-STARK.这两者不是同一个事物.STARK即为zk-STARK,是零知识证明的一种.StarkWare倾向于称自己的解决方案为ValidityRollups,因为方案中不一定是用zk-Rollups.ValidityRollups包含了Validium和zk-Rollups.这两个的区别就是用户数据是否上链.https://immutablex.medium.com/eli5-nft-scaling-solutions-b1de4ad82461STARK通过允许开发人员将计算和存储移出链来提高可伸缩性.链外服务将能够生成STARK证明,证明链外计算的完整性.然后,这些证据被放回链上,供任何利益相关方验证计算.使用STARK将大部分计算工作移出链,允许现有区块链基础设施以指数级扩展,同时保持计算完整性.以太坊数据上链大致流程:1000笔交易发送给以太坊每个节点→每个节点读取1000笔交易→节点更新1000笔交易zk-STARK数据上链流程:1000笔交易发送给zk-STARK→zk-STARK作为证明者,生成1个证明(*生成阶段)→节点作为验证者读取证明,更新*生成阶段:通常zk-STARK证明需要以下过程生成证明.验证者的证明过程分为两步:第一步为计算完整性声明经过算术后生成代数中间代码表示,第二步为经过测试后生成FRI(StarkWareCo-Founder2017年所著论文中对证明的优化方法),之后经过加密算法后输出可拓展的公开透明知识论据(也就是STARK).简而言之就是通过安全可信的环境以及优化算法生成一个可信并且高性能的证明.

比特币全网算力达到357.98EH/s 重回历史高位:金色财经报道，Btc.com数据显示，当前比特币全网算力达到357.98EH/s 重回历史高位，24小时交易速率为6.63交易/s，目前全网难度为48.01T，预测下次难度下调2.02%至48.98T，距离调整还剩4天。[2023/5/14 15:02:17]

zk-Rollups与其他L2方案比较

根据严格定义来说,StarkWare很多文档中所使用的词汇zk-Rollups并不是一定采用零知识证明,正确的描述是ValidityProofs(包含zk-Rollups和Validium,因为StarkWare提供两种模式).为了避免术语的变动影响理解,本文依照StarkWare的文档均将其相关表述为zk-Rollups.https://twitter.com/EliBenSasson/status/1453260406357729288侧链(Polygon或xDai)优点:即使用户进行了大量交易,主链上发生的只有两个,即存款和取款.由于侧链上的交易成本低于以太坊本身,因此可以得到可扩展性.缺点:授予创建新区块的权力会带来停止生产区块的权力.侧链可以有阻止用户提取资金的权力.状态通道优点:状态通道的一个例子就是闪电网络.当参与者将在长时间内交换大量状态更新时，状态通道非常有用.具有很强的隐私性,因为之间的状态只在通道内发生.具有即时终结性,只要结束就立马终结.缺点:状态通道非常依赖于有效性,比较适用于有一组确定参与者的应用程序.Plasma优点:Plasma非常适合处理NFT,因为每个NFT都有一个唯一的ID.侧链的问题之一是共识机制可以停止出块甚至锁定用户资金;Plasma用户可以调用Blockroot,因此如果共识机制停止创建Block,用户仍然可以向以太坊索取资金.缺点:如果许多用户同时退出他们的Plasma链,他们可能会淹没根链并使网络拥塞.诸如欺诈活动或网络攻击之类的事情可能会导致如此大规模的外流.另一个缺点是缺乏复杂性,用户无法像在侧链上那样执行相同类型的复杂操作,无法模拟完整以太坊环境.zk-Rollups优点:每次转账的费用很低.比Plasma和OptimisticRollups更快.数据量更少带来更高的吞吐量和可扩展性.\n缺点：初始设置不去中心化(STARK中没有初始设置),量子计算可能构成未来的黑客威胁(STARK可以抗量子计算机)对比完各个L2解决方案后,我们可以发现zk-Rollups或许是最接近区块链升级扩容的完美解决方案.同时zk-Rollup的为数不多的几个缺点会在StarkWare采用的zk-STARK中得到修正.STARK与其他ZK性能比较

ZK证明中主要有SNARK,STARK,Bulletproof三种.Bulletproofs和STARK不需要可信设置,STARK使用公开可验证的随机性来创建不受信任的可验证计算系统.其中STARK相较于其他两种,证明大小大非常多,但在计算时的大小和证明速度上有很大优势.同时STARK的安全性更高,可以抗量子攻击.

数据：比特币24小时交易笔数达19170:9月26日消息，据Tokenview数据显示，当前比特币全网算力达235.78 EH/s；比特币24h交易笔数19,170；24h活跃地址数72,179；24h转账总额270,662.16BTC；比特币持币地址数49,257,624。[2022/9/26 7:21:00]

上图是StarkWare的Co-Founder在宣讲时放出的图.他们测试时使用的STARK证明用图里服务器配置运行,对比其他几种包括SNARK算法的性能都高出很多.StarkNet

StarkNetAlpha会在11月上线以太坊主网.区块链浏览器:https://voyager.online简介

StarkNet是一个去中心化,无需许可即可加入且抗审查的L2zk-Rollups,支持以太坊上的通用计算.它基于图灵完备的Cairo语言.开发人员可以构建应用程序来实现App业务逻辑并部署在StarkNet上;用户可以将交易以与以太坊正常交易相同的方式发送到StarkNet来执行.StarkNet节点和参与者将受到经济激励,以确保网络高效公平运行.所有StarkNet交易将定期进行批处理,交易在STARK证明中得到证明,最终在以太坊上进行验证.由于验证STARK证明所需的计算工作量与以太坊证明的计算量相比,呈指数级小,因此StarkNet可以将以太坊扩展几个数量级.由于所有StarkNet状态转换都将经过STARK验证，因此以太坊只接受最终有效的状态转换.

主要特点:性能可拓展性,开发便利,针对以太坊生态的可组合性.网络生态

编程语言Cairo:Cairo是一门图灵完备的高级编程语言和框架,可以用于生成STARK证明.开发人员可以使用Cairo来定义任何业务逻辑,将交易送到SharedProverService对逻辑进行链下验证并在链上进行验证.Cairo已在主网上适合进行正式的项目开发,可供开发人员使用.链下验证服务SharedProverService:在交易上链之前,交易会送到Sharp进行验证,判断应用程序执行的完整性,并且计算出分摊证明验证的gas费用.开源证明器ethSTARK:ethSTARK提供零知识和后量子安全签名.ethSTARK在主网上的一个证明中处理30万笔交易,TPS达到了3000.Rollupgas效率也突破了世界纪录达到315gas/tx,比以太坊L1上的交易便宜几个数量级.这项技术是StarkNet去中心化证明层的基石.第三方项目:目前主要的第三方库有StarkNet.js.StarkNet.js的作用类似于Web3.js,是用于前端获取合约内容时使用的.以太坊客户端团队正在做StarkNet的完整节点实现.同时目前StarkNet网络审计软件包括CryptoExperts和LEANproof.使用案例

SEC与Ripple诉讼案进展：本案或不会进入庭审阶段:9月23日消息，在最近一次采访中，Ripple首席执行官Brad Garlinghouse对本次诉讼案表达了积极的态度。他预测本案不会进入庭审阶段，因为他认为法官有足够的证据在没有陪审团的情况下作出裁决。他表示，“在事实存在不确定性的情况下，将由陪审团作出审判。本次事实没有争议。”若进展顺遂其意，该案件将不会送交陪审团审判。（u.today）[2022/9/24 7:17:46]

DeversiFi:交易TPS9k,支付TPS18k.iMMUTABLE:NFT铸造gas0.2美分,每日L2交易>每周L1交易.dYdX:每笔交易费用缩减50倍.StarkEx

简介

StarkEx类似一个底层引擎,构成组件来支持使用STARK的应用.StarkEx是可用于生产环境的L2可扩展性引擎,自2020年6月起部署在以太坊主网上.StarkEx利用STARK技术为DeFi和游戏等应用程序提供可扩展的自托管交易.StarkEx支持广泛的用例:现货交易,永续交易以及NFT铸造和交易.在主网部署之前，超过5000万笔StarkEx交易在公共和私人以太坊测试网上结算.StarkEx目前支持ETH代币,ERC-20,ERC-721代币和合成资产.此外,它可以支持其他兼容EVM的区块链上的代币.特点

可扩展性和计算完整性\n应用程序可以依赖StarkEx和底层STARK基础设施来扩展,同时StarkEx确保计算完整性.通过SHARP技术,gas成本在所有基于StarkEx的应用程序中均摊销.多样化的部署模式\nStarkEx可以部署zk-Rollups模式(在链上发布数据)或Validium模式(通过侧链验证数据可用性).还有即将推出的模式:Volition,允许用户为自己选择数据可用性模式.钱包整合\nStarkWare通过Ledger,Authereum和WalletConnect提供本地支持.StarkWare还通过与Web3兼容的密钥生成(适用于许多其他现有钱包)提供MetaMask集成.架构与业务逻辑

上图是一个使用了StarkNet和StarkEx的典型应用的架构图.假设这个应用是一个叫Starkswap的DEX.最左侧黄色框内的应用——操作整个应用这个链下组件接收用户交易并定义业务逻辑和执行顺序.它将交易传递给StarkEx服务.这个组件是应用的中心化前端,通常为Web或客户端.淡蓝色框内的StarkEx服务——批处理和协调一个链下组件,负责批处理一组操作并根据操作更新系统状态.对于每个批次,它会将这批操作(通过Cairo语言执行,先把Solidity的字节码转化成Cairo语言的智能合约,在到Cairo语言环境中运行)发送到SHARP以证明其有效性.一旦证明得到验证,它就会在链上发布新的状态.状态由默克尔树表示.每个Vault的结构和内容根据实现的特定业务逻辑而有所不同.默克尔树根代表要提交到链上的状态.SHARP——共享证明器(由StarkWare专门为应用定制)SHARP是Cairo语言的共享证明服务.它接收来自不同应用程序的证明请求并输出证明以证明Cairo代码执行的有效性.输出证明可以在多个证明请求之间共享.这个组件此前的名字叫GenericProverService.所以组件本质上是一个后端服务器,包含了一些特定服务.推测是部署在StarkWare的中心化服务器上.StarkEx合约(Verifier合约)——状态更新、存款和取款该合约有两个主要功能.第一个功能是在验证满足有效性条件后更新系统的状态,第二个功能是以非托管方式管理进出StarkEx的存款和取款(任何情况下,用户都可以提取他们的资金).这个组件是以太坊上的一个智能合约.Starkswap的业务逻辑如下:处理请求\n淡蓝色方框内的StarkWare应用程序处理客户请求,将这些交易转换为可证明的陈述,并将这些发送给深蓝色方框内的SHARP.所有请求发送与处理都通过图中第一步的API以及第二步中的批处理语句发送(一个批次可以编译多个请求).SHARP证明\n深蓝色的SHARP构造证明.登记证明\nSHARP将证明传输到粉色框中的第三步的链上验证者智能合约.注册状态转换\n第四步中,StarkWare应用程序在Starkswap智能合约上进行应用状态转换.\n第五步中,为确保转换的有效性(SHARP的验证),Starkswap的智能合约确认转换语句已在Verifier智能合约中注册.功能与加密算法

黑客组织Lapsus$入侵了T-Mobile的系统并窃取了其源代码:金色财经报道，黑客组织Lapsus$在 3 月份发生的一系列违规事件中窃取了T-Mobile的源代码。T-Mobile在给The Verge的一份声明中证实了这次攻击，并表示访问的系统不包含客户或政府信息或其他类似的敏感信息。根据 Krebs 发布的截图消息，Lapsus$ 黑客还试图侵入 FBI 和国防部的 T-Mobile 账户。他们最终没有这样做，因为需要额外的验证措施。

此前消息，英伟达（NVIDIA）曾在二月份下旬报告称其部分线上业务遭到潜在网络攻击，当时黑客组织Lapsus$ 声称对此时负责并补充说他们已经窃取了英伟达1TB的数据。据PCmag最新报道，该黑客组合已经开始出售相关数据，同时还将出售解锁英伟达GPU限制以太坊挖矿的方法。

据悉，Lapsus$ 以黑客组织而闻名，该组织主要针对微软、三星和英伟达等大型科技公司的源代码。（theverge）[2022/4/24 14:44:43]

https://docs.starkware.co/starkex-v3/crypto/stark-curve功能细节:链下状态:余额树和顺序树.通过默克尔树,保证了资金状态的安全和可信,以及避免了双花问题.FlowDescription:链上账户(账户的余额在链外存储和管理,除非资金移入/移出链上账户.从L1的角度来看,这些账户的资金都存储在StarkEx智能合约下.)链下账户(所有余额指令作为L1交易到达.链上账户的一个特殊属性是它不需要私钥(stark的私钥),所以智能合约是此类账户的"所有者".因此,L1用户和应用程序可以通过StarkEx进行交易并与任何挂单匹配.链上交易模式实现了StarkEx应用程序和L1应用程序之间的互操作性，可用于DeFiPooling或由流动性聚合器使用).StarkEx特定概念:在StarkEx中有很多概念与以太坊不同,因此开发需要额外的学习.https://docs.starkware.co/starkex-v3/starkex-deep-dive/starkex-specific-concepts除此之外,StarkEx还有信息加密,批量闪电贷,DeFipooling等的特定操作.加密算法:STARKEllipticCurve,PedersenHashFunction,KDF.通过使用以上的加密算法以及参考https://github.com/authereum/starkware-monorepo/tree/starkex-3.0/packages/starkware-provider#walletconnect的实例,第三方钱包可以集成StarkEx.Cairo

简介

Cairo是第一个生成STARK证明的生产级平台.它是图灵完备的,而且非常高效.要在StarkNet上部署高性能并且低gas费的Layer2应用组件就需要使用Cairo来编写应用程序.Cairo语言不是一门专门的合约语言,但是可以并且主要用来写类似合约的内容.zk-Rollups当前的缺点是通用计算:将智能合约逻辑直接移植到rollups中更具挑战性，因此只有有限的功能可用，例如转移和交易.然而,Cairo填补了这个空缺,可以将智能合约逻辑直接移植到rollups中.zkSync和Optimistic的做法分别是让rollups做到EVM兼容和EVMequivalency(更加全面并且进一步的EVM兼容).特点

计算完整性计算完整性是代表了在没有监管的情况下,能保证计算的公正性.保证ComputationalIntegrity的方法有五种:银行委托问责制(基于信誉,审计等),计算可重放性(例如比特币和其他L1公开所有交易),可信执行环境(例如英特尔的SGX),欺诈证明(Optimisticrollups,介于委托问责和计算可重放性之间),密码学证明(zk-STARK).Cairo语言经过多篇论文以及数学证明的验证,可以安全可信地生成zk-STARK的证明来保证计算完整性.AIR(代数中间代码表示)在STARK证明的过程中,需要用到很多设计代数证明的运算以及符号,Cairo会通过编译器把编程语言转化为Cairo字节代码,生成一个AIR来包含所有的数学证明步骤,最终生成结果.Cario语言有配套的AIR可视化工具,来查看证明中的细节.语言设计Cario语言的设计遵循MinimalVariableLanguage的原则,讲究恰到好处.同时做到了语言的表达性(便于开发者阅读)以及STARK证明的生成效率.Cario语言的设计也并非过于复杂,仅有三个寄存器(PC,分配指针,帧指针),和简洁的指令集.Cario语言也支持一些必要的功能,包括函数,递归,分支,判断等.Cario语言设计的感觉更加符合数学证明的逻辑,更加工整.工具链编译器(https://github.com/NethermindEth/warp),虚拟机,代码编辑环境插件(VSCode上的代码提示插件https://github.com/ericglau/cairo-ls),跟踪程序,代码示例(https://github.com/starkware-libs/cairo-examples).语言生态

目前Cairo语言的生态可以说非常全面但年轻.在工具链方面一应俱全,根据这些工具的GitHub星数可以判断出并没有收获很大的关注,但是仓库的开发者在持续更新,基本在一到两周内都有新的提交.未来Cairo语言会更加开放,培养更多开发者后,在StarkEx引擎上写Cairo代码的工作很可能从StarkWare移交到开源开发者手里,这样对StarkWare应用的去中心化会有很大的意义.更重要的是OpenZeppelin正在做Cairo语言的ERC-20,ERC-721等基础模版的实现(https://github.com/OpenZeppelin/cairo-contracts).这个实现的意义就是能方便开发者在此实现的基础上开发,能让开发者放心且大胆地拷贝此实现,迅捷开发并且不用过于担心安全性.从仓库的commit来看,OpenZeppelin目前有专人来为Cairo语言做支持,证明OpenZeppelin对StarkWare生态的重视.总结

作为一家Layer2解决方案提供商,StarkWare做出了dYdX和iMMUTABLE这样的爆款产品.在各种解决方案中,StarkWare的zk-STARK技术支持了Layer2上最大的交易数量.从Prover的数学优化,Cairo语言的数学优化,到StarkEx引擎的证明协调,StarkNet作为一个去中心化zk-STARK网络,提供了极高的性能,做到完全运行流程的优化.StarkWare通过前沿的技术和完整的技术服务,支撑了Layer2应用庞大的交易量,未来也必将拥抱开源,做到更去中心化,帮助了以太坊2.0的建设.相关链接:iMMUTABLE:https://www.immutable.com/blog/design-architecture,https://medium.com/starkware/starkex-now-for-nfts-bfdc9f4655a2Layer2:https://academy.moralis.io/blog/comparing-layer-2-ethereum-scaling-solutions,https://www.bcskill.com/index.php/archives/965.html,https://l2beat.com/faq/ZK:https://ethereum.stackexchange.com/questions/59145/zk-snarks-vs-zk-starks-vs-bulletproofs-updated/63778,https://consensys.net/blog/blockchain-explained/zero-knowledge-proofs-starks-vs-snarks/,https://medium.com/unitychain/reveal-mysterious-zk-starks-42d00679c05bStarkNet:https://medium.com/starkware/on-the-road-to-starknet-a-permissionless-stark-powered-l2-zk-rollup-83be53640880,https://starkware.co/product/starknet/,https://medium.com/starkware/starknet-alpha-is-coming-to-mainnet-b825829eaf32StarkEx:https://docs.starkware.co/starkex-v3/architecture/solution-architectureCairo:https://medium.com/starkware/hello-cairo-3cb43b13b209,https://www.youtube.com/watch?v=QPNp8w9rx7o,https://arxiv.org/abs/2109.14534zkSync:https://www.reddit.com/r/ethereum/comments/q8q822/ama_were_matter_labs_the_team_behind_zksync_the/,https://members.delphidigital.io/reports/ethereum-layer-2-rollup-debate-optimism-starkware-arbitrum-and-zksync/,https://twitter.com/KyberNetwork/status/1372593913786109953,https://blog.kyber.network/research-trade-offs-in-rollup-solutions-a1084d2b444General:https://academy.moralis.io/blog/what-is-starkware-and-starks

标签：ARKSTASTARKSTARDARKInvest Like Stakeborg IndexStark ChainStarkNet

币安币热门资讯