木星链 木星链
Ctrl+D收藏木星链

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

作者:

时间: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语言上去,以完成自身的语言标准的统一。

ether.fi推出ETH独立质押者行动,参与者可免费使用其质押机来赚取奖励:4月26日消息,据官方推特,非托管流动性质押平台ether.fi宣布推出SOLO STAKER(独立质押者)行动,旨在让世界各地的个人都能成为独立质押者。ether.fi提到,目前,大约有7,700个节点在运行以太坊;一半位于美国。其中一半位于弗吉尼亚州的一个数据中心,距白宫和中央情报局总部20分钟路程,该计划可帮助解决以太坊节点目前的中心化问题。

该计划为Solo Stakers提供了一台免费机器来运行以太坊验证器节点和用于质押的ETH,ether.fi及其合作伙伴Avado、Dappnode、Obol Labs将提供为此提供资金、硬件和软件,用户可运行节点并获得奖励。该计划的第一批申请已开启,参与者需承诺允许一个节点3年,美国的参与者不能参加该计划,但可以填写未来计划的表格。

此前2月消息,Ether.Fi完成530万美元融资;3月消息,ether.fi计划分三个阶段启动:第一阶段:四月,在上海升级之后上线主网以及ETH委托质押。第二阶段:2023年Q2或Q3,eETH流动性池上线。第三阶段:2023年Q4或2024年Q1,推出无许可节点市场。[2023/4/26 14:27:15]

SushiSwap:正通过白帽回收被盗资金并制定返还用户资金的计划:4月10日消息,SushiSwap 发布 RouteProcessor2 漏洞更新报告,称开发团队正在识别所有受 RouteProcessor2 漏洞影响的地址,并正在进行多项通过白帽回收挽救资金的行动。此外,SushiSwap 正在制定返还获救资金的计划。完成后,将通过Sushi Twitter 和 Discord上的公告进行传达。[2023/4/10 13:54:47]

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

美媒:摩根大通和PNC是SVB金融集团的潜在收购者之一:金色财经报道,消息人士透露,摩根大通和PNC是正在商谈收购SVB金融集团的潜在收购者之一,该交易将排除目前由美国政府接管的部分。消息人士称,阿波罗管理公司和摩根士丹利也在就收购进行讨论,阿波罗对交易融资或收购部分业务感兴趣。值得注意的是。该公司2022年的10K报告显示,这三个实体,即SVB Private、SVB Capital和SVB Securities,比现在由美国联邦存款保险公司控制的SVB Bank实体小得多。(AXIOS)[2023/3/13 13:00:21]

事实上,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的可读性强,其对开发者较为友好,便于避免更多的安全问题。

数据:24小时内加密市场清算2.12亿美元,其中包括3161万美元APT空头头寸:1月26日消息,根据Coinglass的数据,在过去24小时内,已有2.12亿美元加密头寸遭遇市场清算,其中BTC在清算中占8070万美元,而ETH占4881万美元,约3161万美元的APT空头被清算。(Cryptoslate)[2023/1/26 11:31:12]

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

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

西班牙加密货币交易所Bit2Me收购秘鲁交易所Fluyez:7月21日消息,西班牙加密货币交易所 Bit2Me 收购秘鲁加密货币交易所 Fluyez 85% 的股权。Bit2Me 首席运营官 Andrei Manuel 表示,收购价格超过 100 万欧元,但未透露具体数字。Andrei Manuel 还表示,收购后该交易所不会更名,也仍将由 Fluyez 联合创始人兼首席执行官 Luis Eduardo Berrospi 负责。此外,Bit2Me 正在就收购智利的交易所进行谈判,且还在关注哥伦比亚和乌拉圭等拉丁美洲国家的交易所。(CoinDesk)[2022/7/21 2:28:24]

而缺乏真正杀手级的应用,再叠加上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个生态项目

可以从中发现,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、编译器等新工具,以及和主流开发工具的结合,显著减少开发者在其上编写智能合约的压力。

标签:STAARKSTARSTARKbitstamp怎么读SPARK价格CardstarterStark Chain

比特币最新价格热门资讯
WEB:对于冷场的Web3游戏,游戏时长过万的老玩家有话说

自2009年以来,我一直是一名狂热的游戏玩家,我一生中花费了超过1万小时来玩游戏。2020年,我成为了《CS:GO》游戏皮肤的“商人”.

1900/1/1 0:00:00
MINT:深度解读日本NFT市场:廉价MINT和HOLD文化圈的吸引力

本文来自SevenUpDAO。写在前面:这是一位来自日本的朋友对其本土NFT市场的深度观察。 很高兴见到你,我是0xMach。在这篇文章中,我将向你介绍日本的NFT市场.

1900/1/1 0:00:00
TAL:一文盘点香港本土17家知名加密风投机构

去年10月31日,香港政府在“香港金融科技周”发表宣言,决心竞争全球虚拟资产中心和Web3中心。与新加坡相比,香港虽然在Web3政策上慢了半拍,但是在底蕴上仍是亚洲最强的城市之一.

1900/1/1 0:00:00
COB:Cobo联创:加密货币监管机构应寻求科技创新以保护用户资金安全

编者按:《南华早报》网站今日刊登Cobo联合创始人兼CTO蒋长浩的文章,探讨了当前中心化交易所和交易客户如何化解当前面临的信任挑战,以及Cobo计划如何利用科技创新帮助交易所和交易客户重建信任.

1900/1/1 0:00:00
Curve:Wen $crvUSD?一文了解crvUSD的部署细节和最新进展

Wen$crvUSD?这是Curve社区近期被问到最多的问题。2022年7月,Curve创始人兼首席执行官MichaelEgorov表示,尽管受到监管审查,但Curve正在寻求推出自己的超额抵押.

1900/1/1 0:00:00
USD:你手中的BUSD,是“真正”的BUSD吗?

SEC将禁止Paxos稳定币的消息不断冲击着市场情绪。今日早间,知情人士透露,纽约州金融服务部正在调查PaxDollar和BinanceUSD稳定币发行商Paxos,具体调查范围尚不清楚.

1900/1/1 0:00:00