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

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

Aptos生态DeFi协议Thala Labs将推出原生AMM ThalaSwap:1月23日消息,Aptos生态DeFi协议 Thala Labs 宣布即将推出原生 AMM ThalaSwap,并将在未来几天公布启动计划、THL Token 经济学、路线图和即将推出的测试网等信息。

ThalaSwap旨在成为Aptos的核心流动性层,同时确保 Thala Labs 推出的超额抵押稳定币 MOD 在其 DeFi 生态系统中具有深度流动性。AMM 将支持三种不同类型的池:加权池、稳定池和流动性引导池(LBP)。ThalaSwap 上的池创建将是无需许可的,允许任何用户创建他们喜欢的多资产池。掉期费用虽然是固定的,但在不久的将来将成为可通过治理改变的参数。在发布时,所有 MOD 流动性及其相应的货币对都将在 ThalaSwap 上运行。[2023/1/23 11:26:54]

Aptos亚太区负责人:约200个Aptos生态项目处于测试阶段,已有超500个项目申请Aptos Grant:1月16日消息,Aptos 亚太区负责人 HC 在 Aptos 新年 AMA 活动上发言表示,在过去的一年中 Aptos 生态发展迅猛。截至目前,已有超过 50 个生态项目上线 Aptos,处于测试网和审计阶段项目已经达 200 余个,Aptos 生态的 TVL 已突破 5000 万美元。 此外,在开发者扶持方面,已有超过 500 个项目申请 Aptos Grant。Aptos Grant 是 Aptos 生态早期项目长期资助计划,旨在资助早期 Aptos 初创团队与开发者的优质项目,以进一步丰富 Aptos 生态体系。[2023/1/17 11:15:09]

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

派盾:伪造推特账号@Aptos_Fond发布虚假空投链接,提醒用户请勿上当:11月4日消息,派盾发布提醒称,推特账号@Aptos_Fond是一个伪造的Aptos帐号,其主页上的aptosfond[.]org是钓鱼网站,提醒用户切勿点击虚假空投链接。[2022/11/4 12:17:30]

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

Pontem:历史用户可申领1枚APT空投、免费铸造1枚纪念NFT:11月1日消息,Aptos生态DEX和钱包应用Pontem Network官方宣布,任何在太平洋时间10月30日17:00时之前于Aptos主网使用过liquidswap的用户,可于11月2号22:30时通过Aptos生态NFT市场Topaz免费铸造1枚PontemiteNFT并申领1枚APT空投。符合条件的用户需填写申请表单。[2022/11/1 12:05:04]

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

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

疑似朝鲜APT黑客盯上数字货币 专家称谨防不明邮件附件:·12日晚间消息,近日腾讯御见威胁情报中心监测到,疑似朝鲜的黑客组织Lazarus再度活跃,利用最新Flash漏洞CVE-2018-4878频繁发起攻击,对象主要为数字货币交易所。腾讯电脑管家安全专家马劲松表示,“虽然该攻击目前尚未在我国发现,但国内用户仍不可放松警惕”。据悉,Lazarus组织是来自朝鲜的APT(高级持续性威胁)组织,该组织长期对韩国、美国渗透攻击,还对全球的金融机构进行攻击。[2018/3/12]

而缺乏真正杀手级的应用,再叠加上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、编译器等新工具,以及和主流开发工具的结合,显著减少开发者在其上编写智能合约的压力。

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

金宝趣谈

[0:0ms0-4:492ms