首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

化繁为简:Cairo 1.0如何改变StarkWare的编写范式

1月5日,StarkWare宣布正式推出编程语言Cairo 1.0公开版本,正式取代为期两年的测试、预览版本,也标志着使用该语言在StarkNet上编写智能合约已经成为可能,同时也会兼顾高效的执行效率,成为ZK系Layer 2 Rollup技术派的里程碑事件。

此次更新的功能可归纳为三点,分别是智能、效率和安全。

更为智能:实现Sierra设计,确保Cairo代码可证明,StarkNet智能合约将在下一个版本中实现。 更加高效:跟进Rust语言的强类型、所有权机制和借用等设计思路,兼顾执行效率和编写规范性; 更为安全:保持图灵完备性,STARK机制的安全性由数学证明来保证;

Cairo 1.0公开版的工作流程将与以往有所不同,最主要的开发方向将是在智能合约编写能力和开发者友好方面进行持续改进。

两全:走向ZK-EVM

在本轮的Layer 2缠斗中,ZK系中的STARK和SNARK成为两大主流路线,但EVM兼容性和执行效率也成为各方关注的焦点,更好的兼容性将会获得以太坊主网的安全性加持,而较高的执行效率则会加快L2自身的执行速度。

但这其中存在一个悖论:EVM兼容性和执行效率往往无法兼得,越好的L1兼容性则会降低L2执行效率,反之则存在安全性问题。

因此StarkWare希望能使用Cairo语言作为两者之间的黏合剂,通过其编写的智能合约不仅可在StarkNet上全速运行,也可和以太坊主网保持较高的兼容性,这也是ZK-EVM的真正含义。

在本次更新中,Cairo将会支持完整的Cairo-VM,其中的关键就在于中间表示层Sierra。

简单而言,Sierra将作为Cairo语言编写的代码和其底层字节码之间“翻译层”,并且这种翻译将在确保安全性的基础上进行提速,而无需设置交易的执行状态,直接可根据当前状态开展证明。

这是Cairo自身的语法改进,除此之外,StarkWare的智能合约也将逐步过渡到完全的Cairo语言上去,以完成自身的语言标准的统一。

由于保持了相当程度的以太坊主网兼容性,Cairo和Solidity编写的智能合约之间的转换也将更为简易,以太坊客户端Nethermind 的转译器Warp已经支持将Uniswap V3重写为Cairo代码。

实际上,在2022年10月末,StarkNet便宣称使用Cairo开发出ZK-EVM,而在接下来随着StarkNet的真正投入生产环境,这种兼容性的实际效果便可一验真伪。

新芽:基于Rust的平衡特性

事实上,Cairo本身可以视为Rust语言写就的语言,其继承了较多的Rust特性。

Rust本身不同于Python/Go等所谓的现代语言,其运行效率高度接近于较为底层的开发语言,但同时又兼顾了可读性,比如特殊的内存管理机制——所有权(ownership)和借用等特殊设计。

准确而言,Cairo/Rust的所有权是指管理内存的显性要求,由于区块链特殊的节点运行机制,其是典型的内存敏感性开发环境,以C/C++、Java为例,目前主流有三种内存资源利用机制:

C/C++:手动管理内存,得益于(受害于)现代设备的进步,大多数开发者并未养成及时释放内存的习惯,会造成严重的资源浪费; Java:自动回收资源机制,JVM是Java运行时的虚拟机,其具备自动管理内存的功能,但一般为保证运行效率,JVM会保持一段的内存资源,也会造成供需不匹配的问题; Cairo/Rust:所有权机制管理内存资源,Rust中的任何变量必须指定所有者,并且一次仅能有一个,当变量执行后即被释放,不能继续存在内存中。

这样的所有权机制设计可以保证宝贵的内存资源仅在执行时调用,即可以兼顾C/C++的运行效率,但又避免了内存泄漏等问题,内存资源无需时刻准备着,对于减轻智能合约的整体大小具有重要意义。

其次是强类型的思路,Cairo/Rust涉及众多智能合约的编写和运行,而其上承载的都是高价值的Token、NFT以及个人数据,需要特殊对待,并且每次改变都需要慎重对待。

强类型语言和弱类型语言是相对于变量的定义而言的,简单而言,强类型要求变量在使用前进行“数据类型"方面的定义,如整数、浮点数、字符串等,未经明确的类型变换操作,不可随意更改其定义。

弱类型语言并无此严格规定,变量的数据类型可灵活改变。

在智能合约的编写中,资产类型和数量必须被显性对待,以确保其归属权清晰和交易、转换等流程明确,而Cairo/Rust的可读性强,其对开发者较为友好,便于避免更多的安全问题。

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

重生:开发者友好

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

而缺乏真正杀手级的应用,再叠加上dYdX等头部项目的出走,StarkWare的晋级之路仍然布满荆棘。

在目前的公链/L2/dApp开发格局中,Solidity(Vyper)占据了近98%的垄断地位,而Cairo仅占据不到1%的市场空间,基本上目前只有StarkWare能够支撑起运行。

自从StarkNet和StarkEx设立以来,由Cairo驱动的dApp已经处理了超过3亿笔交易,铸造了超过6500万个NFT,并处理了价值7000亿美元的交易,并且这些交易都利用以太坊上作为最终结算层。

在Cairo 1.0真正应用至StarkNet之前,开发者的体验是争夺其进入StarkWare生态的第一步,除Nethermind的Warp支持之外,ConsenSys也和StarkWare达成合作,将为Cairo提供智能合约提供安全审计服务。

根据官方说明,目前Cairo 0 的各项功能开发进度如下,我们也可从中参照Cairo 1.0的发展方向,并且说明StarkWare将会遵循将全部StarkNet开源的计划,Cairo将是其开迈出的第一步。

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20230111A01PFS00?refer=cp_1026
  • 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 cloudcommunity@tencent.com 删除。

扫码

添加站长 进交流群

领取专属 10元无门槛券

私享最新 技术干货

扫码加入开发者社群
领券