月亮链 月亮链
Ctrl+D收藏月亮链
首页 > 聚币 > 正文

STA:详解Cairo1.0公开版:如何改变StarkWare的编写范式?_starknet币价分析

作者:

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

1月5日,StarkWare宣布正式推出编程语言Cairo1.0公开版本,正式取代为期两年的测试、预览版本,也标志着使用该语言在StarkNet上编写智能合约已经成为可能,同时也会兼顾高效的执行效率,成为ZK系Layer2Rollup技术派的里程碑事件。此次更新的功能可归纳为三点,分别是智能、效率和安全。更为智能:实现Sierra设计,确保Cairo代码可证明,StarkNet智能合约将在下一个版本中实现。更加高效:跟进Rust语言的强类型、所有权机制和借用等设计思路,兼顾执行效率和编写规范性;更为安全:保持图灵完备性,STARK机制的安全性由数学证明来保证;Cairo1.0公开版的工作流程将与以往有所不同,最主要的开发方向将是在智能合约编写能力和开发者友好方面进行持续改进。两全:走向ZK-EVM

在本轮的Layer2缠斗中,ZK系中的STARK和SNARK成为两大主流路线,但EVM兼容性和执行效率也成为各方关注的焦点,更好的兼容性将会获得以太坊主网的安全性加持,而较高的执行效率则会加快L2自身的执行速度。但这其中存在一个悖论:EVM兼容性和执行效率往往无法兼得,越好的L1兼容性则会降低L2执行效率,反之则存在安全性问题。因此StarkWare希望能使用Cairo语言作为两者之间的黏合剂,通过其编写的智能合约不仅可在StarkNet上全速运行,也可和以太坊主网保持较高的兼容性,这也是ZK-EVM的真正含义。在本次更新中,Cairo将会支持完整的Cairo-VM,其中的关键就在于中间表示层Sierra。简单而言,Sierra将作为Cairo语言编写的代码和其底层字节码之间“翻译层”,并且这种翻译将在确保安全性的基础上进行提速,而无需设置交易的执行状态,直接可根据当前状态开展证明。这是Cairo自身的语法改进,除此之外,StarkWare的智能合约也将逐步过渡到完全的Cairo语言上去,以完成自身的语言标准的统一。

美总统候选人Ron DeSantis:当选总统后将立即取消对加密行业的打击行动:金色财经报道,佛罗里达州州长、总统候选人罗恩·德桑蒂斯 (Ron DeSantis) 周一在新罕布什尔州的竞选活动中表示,如果他当选为总统,将在上任第一天取消拜登政府针对加密货币行业的打击行动。

这位共和党人此前曾表示支持使用比特币的权利,重申了他对该技术的态度,同时再次抨击了现任政府对中央银行数字货币(CBDC)的考虑。他说:“作为总统,从第一天起,CBDC 就会被扔进垃圾桶——我们不会允许它发生”。德桑蒂斯于5月签署了州级立法,禁止在佛罗里达州境内发行联邦 CBDC,并指责其作为金融监控工具。[2023/8/1 16:10:23]

由于保持了相当程度的以太坊主网兼容性,Cairo和Solidity编写的智能合约之间的转换也将更为简易,以太坊客户端Nethermind的转译器Warp已经支持将UniswapV3重写为Cairo代码。实际上,在2022年10月末,StarkNet便宣称使用Cairo开发出ZK-EVM,而在接下来随着StarkNet的真正投入生产环境,这种兼容性的实际效果便可一验真伪。新芽:基于Rust的平衡特性

Animoca Brands向加密支付应用程序Hi投资3000万美元:7月27日消息,Animoca Brands宣布向加密支付应用程序Hi投资3000万美元。此外,hi还与Animoca Brands建立合作伙伴关系,帮助其投资组合公司和整个Web3生态系统为NFT带来实用性。据报道,hi正在致力于将人类身份证明(POHI)实施到其KYC流程中,但该流程不涉及扫描虹膜。[2023/7/27 16:02:29]

事实上,Cairo本身可以视为Rust语言写就的语言,其继承了较多的Rust特性。Rust本身不同于Python/Go等所谓的现代语言,其运行效率高度接近于较为底层的开发语言,但同时又兼顾了可读性,比如特殊的内存管理机制——所有权和借用等特殊设计。准确而言,Cairo/Rust的所有权是指管理内存的显性要求,由于区块链特殊的节点运行机制,其是典型的内存敏感性开发环境,以C/C++、Java为例,目前主流有三种内存资源利用机制:C/C++:手动管理内存,得益于现代设备的进步,大多数开发者并未养成及时释放内存的习惯,会造成严重的资源浪费;Java:自动回收资源机制,JVM是Java运行时的虚拟机,其具备自动管理内存的功能,但一般为保证运行效率,JVM会保持一段的内存资源,也会造成供需不匹配的问题;Cairo/Rust:所有权机制管理内存资源,Rust中的任何变量必须指定所有者,并且一次仅能有一个,当变量执行后即被释放,不能继续存在内存中。这样的所有权机制设计可以保证宝贵的内存资源仅在执行时调用,即可以兼顾C/C++的运行效率,但又避免了内存泄漏等问题,内存资源无需时刻准备着,对于减轻智能合约的整体大小具有重要意义。其次是强类型的思路,Cairo/Rust涉及众多智能合约的编写和运行,而其上承载的都是高价值的Token、NFT以及个人数据,需要特殊对待,并且每次改变都需要慎重对待。强类型语言和弱类型语言是相对于变量的定义而言的,简单而言,强类型要求变量在使用前进行“数据类型"方面的定义,如整数、浮点数、字符串等,未经明确的类型变换操作,不可随意更改其定义。弱类型语言并无此严格规定,变量的数据类型可灵活改变。在智能合约的编写中,资产类型和数量必须被显性对待,以确保其归属权清晰和交易、转换等流程明确,而Cairo/Rust的可读性强,其对开发者较为友好,便于避免更多的安全问题。

数据:孙宇晨在Lido新增质押1万枚ETH,目前共质押超20万枚ETH:2月26日消息,Lookonchain发推称,孙宇晨刚刚又在Lido上质押了1万枚ETH(1600万美元)。他目前一共质押了200100 ETH(3.2亿美元),并在24小时内收到了18.68 ETH的收入,APY大约为3.6%。

昨日消息,标记为“Justin Sun”(孙宇晨)的钱包地址在Lido上质押150100枚ETH。随后流动性质押协议Lido发推称,当日流入其平台的质押ETH数量超过15万枚,创下迄今为止最高单日质押流量,但在达到这一数字后平台触发了安全限制功能“Staking Rate Limit”。[2023/2/26 12:30:14]

按照官方进度,Cairo1.0的编译器将在今年一季度面世,届时,将和StarkNet进行更深度的融合,而借助Rust的语言特性,有望从底层提高执行速度,从而将其TPS抬升到日常可用的水平。重生:开发者友好

Coinbase BTC溢价指数日内跌超380%,亚洲买盘相对更强:金色财经报道,当前Coinbase BTC溢价-0.0076%,日内跌幅达381.48%,表明当前BTC在Coinbase市场上的购买力相对较弱,请合理控制风险。[2022/12/24 22:04:59]

Cairo1.0肩负着打通L2和以太坊主网的重任,根据其官方的Regenesis计划,StarkNet将在2023年一季度完全过渡到Cairo之上,结束目前的割裂状态,从而进入生态竞争的新发展阶段。

而缺乏真正杀手级的应用,再叠加上dYdX等头部项目的出走,StarkWare的晋级之路仍然布满荆棘。在目前的公链/L2/dApp开发格局中,Solidity占据了近98%的垄断地位,而Cairo仅占据不到1%的市场空间,基本上目前只有StarkWare能够支撑起运行。自从StarkNet和StarkEx设立以来,由Cairo驱动的dApp已经处理了超过3亿笔交易,铸造了超过6500万个NFT,并处理了价值7000亿美元的交易,并且这些交易都利用以太坊上作为最终结算层。在Cairo1.0真正应用至StarkNet之前,开发者的体验是争夺其进入StarkWare生态的第一步,除Nethermind的Warp支持之外,ConsenSys也和StarkWare达成合作,将为Cairo提供智能合约提供安全审计服务。根据官方说明,目前Cairo0的各项功能开发进度如下,我们也可从中参照Cairo1.0的发展方向,并且说明StarkWare将会遵循将全部StarkNet开源的计划,Cairo将是其开迈出的第一步。相关阅读:盘点StarkWare生态:StarkEx共7个应用,StarkNet105个生态项目

韩国元宇宙公司Anipen完成830万美元C轮融资:7月22日消息,韩国元宇宙公司 Anipen 完成 830 万美元(约 110 亿韩元) C 轮融资,Medici Investment、Ulmus Investment和韩国开发银行(KDB)参投。资金将用于扩大其元宇宙内容服务,并加强与全球多家公司的合作伙伴关系。

据悉,Anipen 是一家基于深度学习的元宇宙平台开发商,专注于增强现实 (AR)、扩展现实 (XR) 和人工智能 (AI)。其旗舰服务 AnibeaR 是一个 3D 移动应用程序,允许用户使用流行的儿童动画角色(如 Hello Kitty 和天线宝宝)创建注入 AR 的视频内容。(Forkast)[2022/7/22 2:30:38]

可以从中发现,Cairo的功能开发进度较快,并且预计实现的功能也较多,而StarkNet也将在Cairo实现后补齐目前的功能缺口,而最终实现StarkNet系统级调用的全功能模块。目前可以适当参考下StarkEx的数据,不同于StarkNet的通用化路线,StarkEx面向主要几个大型项目,包括ImmutableX、Sorare、Rgino.Fi和dYdX,使用过服务的用户数达2千万人次,日均月活在数万量级。

借助和成熟的DeFi和链游进行合作,StarkEx的市场化之路整体较为顺利,但是StarkNet将作为通用Layer2参与各个L2竞争之中,Cairo将有望进一步带动StarkNet市场占有率的提升。结语

Cairo1.0并非简单作为语言更新,而是要承担更为丰富的角色,包括激活StarkNet的EVM兼容性和执行效率,通过借助Rust成熟的编程范式,如所有权、强类型等,减轻了开发难度。同时需要注意,Cairo1.0仍有些未完全实现的功能,其完全状态可能需要更长的开发周期,其代币发行时间也会随之进行调整。总之,Cairo在结束StarkNet目前的“非完全”版具有重要意义,结合Sierra、编译器等新工具,以及和主流开发工具的结合,显著减少开发者在其上编写智能合约的压力。

标签:STAARKSTARSTARKInstadappMARK价格STARKstarknet币价分析

聚币热门资讯
DOO:Doodles联创回应社区FUD:别指望我们会随波逐流_MTL

随着Doodles2将在Flow链上发布以及越来越多的细节被公开,市场上针对这个曾经风光无限的NFT蓝筹项目的质疑声四起.

1900/1/1 0:00:00
WEB:一文读懂衡量Web3生态的关键指标_WEB3COIN

Web3是一个动态的生态,其创始人、通证持有人、开发者和用户聚在一起,创造出一个真正属于用户的去中心化互联网.

1900/1/1 0:00:00
区块链:盘点近期值得关注的32个潜力项目_FIN

无论炒币还是投资,FOMO总是伴随左右,在最近大环境好转的前提下,我们更要学会快速发现和搜索一些项目信息的能力,如果你本人没有足够的时间来完成这些前期工作,那么一些KOL的文章也会成为一大助力.

1900/1/1 0:00:00
DROP:新项目 | Dropverse:获ApeCoin基金会资助的NFT游戏化平台_DROP币

动画「TheTrialofJimmytheMonkey」、迷你游戏「DookeyDash」、通关卡「SewerPass」开启了BAYC生态的新故事线.

1900/1/1 0:00:00
ETH:以太坊数据分析:上海升级将成为质押赛道开启的重头戏_BTC

ETH当前的年通货膨胀率为-0.02%,自合并以来总供应量减少了9500多枚根据UltrasoundMoney的数据,ETH年通货膨胀率在1月15日降至0以下.

1900/1/1 0:00:00
RBI:浅析Arbitrum生态7个值得关注的项目_bitopro交易所支持gopay

作为今年备受关注的Layer2,Arbitrum上面有很多高质量的项目需要我们时刻关注,尽早了解和体验,未来几月或将迎来「ArbitrumSeason」.

1900/1/1 0:00:00