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

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

知情人士:Reddit计划可能在今年下半年进行IPO:金色财经报道,知情人士称,美国社交媒体公司Reddit还远未实现盈利,但它的目标是在今年晚些时候最终上市,很可能是在下半年。Reddit和包括Instacart在内的其他公司正在更新他们的IPO文件,为市场状况好转时可能的IPO做好准备。但知情人士说,包括软件公司ServiceTitan、电子商务初创公司StockX和数据安全公司Cohesity在内的其他IPO竞争者已经停止更新申报文件,基本上是把自己的计划搁置了起来。

此前报道,Reddit于Polygon网络发行的NFT系列Reddit Collectible Avatar总量已突破1000万。[2023/2/15 12:07:28]

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

知情人士:FTX审计公司Armanino和Prager Metis或将面临审查:金色财经报道,据英国金融时报披露,两家与FTX有关的审计公司Armanino和Prager Metis或将面临审查,这两家审计公司均对FTX账簿进行过审计。SBF去年在社交媒体宣布其财务报表通过审计,但相关账目并未公开,而审计公司名称只有其破产前才被公开,目前两家会计师事务所均未就其在FTX的工作范围或上次发表审计意见的时间发表评论。英国金融时报披露,美国审计行业监管机构上市公司会计监督委员会(PCAOB)在今年八月曾发布报告称,通过检查Prager Metis的审计报告发现其对四家上市公司的审计都存在缺陷。[2022/11/14 13:00:12]

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

知情人士:加密风投PANTERA Capital多位高管离职:金色财经报道,知情人士透露,资产管理规模约47亿美元的加密对冲基金和风投PANTERA Capital已有多位高管离职。消息人士称,今年年初加入公司的首席技术官Terence Schofield将离职,Pantera内部筹款团队Capital Formation负责人John Johnson也将离开。

上周,在摩根大通工作了12年的首席运营官Samir Shah在上任仅两个月后就突然离开了Pantera,财务经理Brian Flaherty在Pantera工作一年多后于5月离职。

Pantera由Dan Morehead于2003年创立,其投资方包括加密货币交易所Coinbase、FTX以及稳定币发行商Circle Internet Financial。(Coindesk)[2022/9/7 13:13:09]

知情人士:FTX正洽谈投资印度游戏初创公司MPL:4月4日消息,知情人士称,FTX正在洽谈投资印度游戏公司MPL,作为其E轮融资扩展轮融资,估值为25亿美元。MPL计划在今年晚些时候推出基于NFT的游戏。(Tech Crunch)[2022/4/4 14:02:56]

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

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个生态项目

以太坊L2网络总锁仓量为37.8亿美元:金色财经消息,据L2BEAT数据显示,截至目前,以太坊Layer2上总锁仓量为37.8亿美元,近7日下跌20.77%。其中锁仓量最高的为扩容方案Arbitrum,约19.1亿美元,占比50.23%。其次是dYdX,锁仓量7.23亿美元,占比19.11%。Optimism占据第三,锁仓量6.62亿美元,占比17.51%。[2022/6/20 4:39:07]

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

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

链链资讯

ETHBNB:梦醒2022,期盼2023

作者|Azuma、十文、秦晓峰、LoopyLu、胖虎编辑|郝方舟、Mandy出品|Odaily星球日报2022,V神、CZ、SBF陆续登上《财富》杂志封面.

[0:15ms0-4:683ms