Cointime

扫码下载App
iOS & Android

一场从Solidity到Cairo的革命性的转变,你是否准备好迈向智能合约开发的未来?

作者:StarkWare. 编译:Cointime.com QDD

摘要:

  • 开发者们正在通过学习Cairo来扩展自己的技能,这是由于Starknet的日益重要。
  • Solidity使得全球可互操作的智能合约成为可能,但需要大量的计算重复。
  • Cairo的高效性源于它使用单一机器创建可验证的交易执行证明的能力。
  • Cairo和Solidity都是智能合约语言,但它们的功能和原则是不同的。

介绍

随着Starknet的增长(以及对Rollups的持续兴趣),Cairo已成为Web3中最受需求的技能之一。

Cairo用于在Starknet和StarkEx上编写智能合约,以及为dYdX和ImmutableX等应用程序提供扩展。过去两年,全职Cairo开发者的数量增长了惊人的875%,年增长率为83%。由于Cairo可以在需要任何计算证明的情况下在区块链之外使用,预计开发者对Cairo的采用只会增加。

其中许多新的Cairo开发者是从Solidity转过来的——Solidity是L1上的智能合约语言。如果你是这些开发者之一,我们将在这篇文章中为你提供从Solidity到Cairo的开发者指南。我们将讨论Cairo的特点,从技术角度介绍Cairo的工作原理,并通过一些代码示例展示两种语言之间的关键差异。

让我们开始吧!

什么是Cairo?

Cairo是为Starknet设计的受Rust启发的本地智能合约语言。

根据Cairo文档的描述,"Cairo是用于创建STARK可证明程序的图灵完备语言"。让我们对这个定义进行解释。

图灵完备意味着这种编程语言可以模拟图灵完备机器。图灵完备机器是一台计算机,如果给予足够的时间和资源,可以执行任何计算和算法。

STARK可证明意味着用Cairo编写的程序可以被执行,从而可以高效地创建一个STARK(可扩展透明知识证明)的执行证明。当用Cairo编写的程序在任何机器上执行时,将创建一个新的STARK证明,使得任何独立验证者可以简明地验证程序的正确执行,而无需信任执行计算的机器。

Cairo 1.0刚刚在今年春季发布(取代了Cairo 0),并已在Starknet Mainnet上提供。

Cairo和Solidity哪个更好?

两者都不是!在某种程度上,这是一种"苹果和橙子"的比较。

Solidity是用于广泛采用的可组合计算的语言,这是一种编程范式,其中不同的系统组件可以同步使用,并通过将不同组件组合成复杂的软件来实现。

Solidity使得智能合约能够紧密相连,原因如下:

  • 公开的字节码,对世界透明
  • 标准的ABI结构(允许与外部智能合约交互)
  • 使用以太坊网络几乎具有100%的活跃度(或可用性)
  • 使用以太坊网络作为执行金融交易的手段
  • 智能合约的全球互操作性,由于所有验证者在网络中都持有共同的EVM副本

尽管Solidity通过成为最广泛采用的智能合约语言取得了众多成就,但Cairo具有一项压倒性的特性:它能够创建可证明的通用计算程序。

这个单一的差异化特性使我们能够从每个计算必须重复数十万次的系统(以太坊网络中的验证者数量)转变为一个新的系统,在该系统中只有一个机器(称为证明者)创建一份正确执行交易的证明,其他网络参与者可以验证该证明。

Cairo虚拟机和以太坊虚拟机之间的差异

为了将Cairo程序的执行高效地转换为STARK证明,Cairo虚拟机与EVM(以太坊虚拟机)之间存在一些关键差异:

1. 内存模型。Cairo虚拟机使用单一写入内存模型。一个内存槽不能被覆盖(与EVM不同)。尽管这可能看起来是一个非常复杂的开销,但Cairo编译器解决了这个问题,并允许在代码中使用可变变量(稍后会详细介绍)。单一写入内存模型使Cairo成为一个更可预测和可验证的系统。每个内存地址只写入一次,并保持其值直到程序执行完成。这意味着计算过程有一个清晰、不变的记录,这在生成STARK证明时非常重要,因为它们依赖于验证计算的正确性。

2. 字段。当我们谈论加密证明时,我们几乎总是指这些证明是针对某个字段中元素的操作而创建的。如我们在关于算术化的文章中讨论的那样,在数学中,一个字段是具有两个二元操作(加法和乘法)的元素集合。它满足一定的公理,如封闭性、结合律、交换律以及存在逆元和单位元。字段的示例包括实数、有理数和复数。字段的元素是任何可证明通用计算的操作对象。在讨论字段时,重要的是注意有些字段是有限的(Cairo使用的字段也是有限的)。在有限字段中,元素的数量是有限的,所有元素都小于字段的最高"阶"。字段的"阶"等于元素可以达到的最大数值加一。此外,所有加法和乘法操作的结果都是一个数字,它们的模是字段的最高阶。因此,例如,在一个阶为6的字段中,3+4的结果是(3+4)mod 6 = 7 mod 6 = 1。Cairo使用的是一个阶为2²⁵¹ + 17 * 2¹⁹² + 1的有限字段。由于在生成证明时,所有元素都需要是字段元素,因此Cairo虚拟机以字段元素为基础进行所有操作,而不是像EVM中使用uint256或uint32的传统系统。但是,可以创建抽象技术来使用更方便的uint256类型(或类似类型)。然而,这些结构需要更多资源(以十位数的顺序增加操作次数)来执行。

3. 继承和多态性。Cairo没有继承和多态性的概念。虽然合约可以通过导入特定的函数和存储变量进行扩展,但是常用的面向对象编程概念需要一些创新思维。

Cairo编译为Sierra

需要注意的一步是,当你编写Cairo智能合约时,它首先会被转换为Sierra代码,然后发布到网络上。Sierra代码是对由Cairo虚拟机解释的原始Cairo汇编(CASM)代码的抽象。将Cairo代码编译为Sierra代码时,会在Cairo代码周围添加一些安全措施,其中最重要的措施是防止DoS攻击的机制。

根据Starknet文档的描述,"每个分布式L2的一个关键特性是,序列化者(sequencer)有权得到他们所做工作的补偿。撤销交易的概念是一个很好的例子:即使用户的交易在执行过程中失败,序列化者应该能够将其包含在一个区块中,并收取直到失败点的执行费用"。

然而,有时候用户可能会编写一行代码或包含一笔交易,证明其执行是不可能的。例如,语句assert 1 == 0是一个有效的Cairo语句;然而,将这个执行包含在加密证明中是不可能的,因为这个语句是错误的,并且它会转换为不可满足的多项式约束。因此,Sierra添加了一个安全层,确保即使不可证明的撤销交易也会被收费。这既减轻了对序列化者的DoS攻击的潜在威胁,也满足了序列化者的经济激励。

比较Cairo和Solidity

现在我们对Cairo的基本类型、函数和结构有了一个概念,让我们将其与Solidity的对应部分进行比较,以了解这两种智能合约语言之间的一些相似之处。(请记住,Cairo也可以用于编写非智能合约代码,用于创建可证明的程序。但这超出了我们当前讨论的范围。)

注意:从此处开始,所有关于Cairo的讨论都涉及Cairo 1。不再推荐使用Cairo 0作为在Starknet上编写智能合约的首选语言。

Cairo类型

以下是Cairo中的一些基本类型的列表:

正如你在上面的列表中所看到的(我们刚刚添加了有符号整数,还有Dict.),从Cairo 1开始,无符号整数已经添加到Cairo中,类似于Solidity中的对应类型。尽管对于序列化者来说,使用整数可能不如直接使用field(元素)高效,但将整数集成到Cairo中有望简化开发者的工作。

除此之外,使用数组的语法非常类似于Rust,逻辑上与Solidity中的数组类似。

Cairo中的函数

Cairo中的函数可以是以下类型:

  • internal(内部)
  • external(外部)
  • view(只读)
  • constructor(构造函数)

默认情况下,所有合约函数都被视为internal(这些函数只能从合约内部调用,与其他语言中的私有函数类似)。

外部函数对外开放,其他智能合约以及账户都可以调用。(欢呼,账户抽象!)

view函数是一种只读函数,只能读取链上的状态。view函数不能修改链的状态。

构造函数是Cairo中函数的另一个属性,用于...智能合约的构造函数!

现在,让我们比较一下Cairo和Solidity之间的函数声明语法:

让我们更详细地看一下一些关键差异:

1. 在Cairo中,声明函数的关键字是fn,而在Solidity中是function。

2. 在Cairo中,在函数关键字之前声明函数类型(#[view]),而在Solidity中的格式不同(请参见上文)。

3. 在Cairo编程语言中,声明返回值的语法涉及使用→符号。另一方面,在Solidity中,使用关键字returns来表示返回值。

Cairo中的模块

Cairo中的模块用于将相关功能分组在一个命名空间中。关键字mod用于定义一个模块,后面跟着模块名称和一个代码块,其中包含函数和其他声明。模块可以导入其他模块并使用其功能。

这类似于其他语言中的库,在Solidity中,模块可以与合约的继承进行比较。

例如,在上面的代码中,导入了starknet和array模块。语法与Solidity中的import语句或使用is关键字的继承有所不同。请注意,use关键字使得导入模块中的所有函数在Cairo中可访问。

Cairo中的数组

在Cairo 1.0中,使用数组变得更加容易,因为可以通过数组模块的导出函数(如append、array_at和array_len)对动态数组进行操作。

示例Cairo智能合约

现在我们已经了解了Cairo中的类型和函数集,让我们来看一个示例Cairo ERC20合约代码。ERC20合约是用于代币的标准模板智能合约,人们可以在链上拥有这些代币。它允许用户将代币相互转移、检查用户的余额,并批准向其他实体转移代币。以下是我们的合约代码:

注意:Cairo 1的语法稍有变化,将在今年晚些时候(2023年)进行更新。请参阅此帖子以了解更多详情。

以上代码基于https://github.com/argentlabs/starknet-build/blob/main/cairo1.0/examples/erc20/ERC20.cairo

让我们详细看一下其中一些最重要的部分。

第1行和第2行初始化并为智能合约命名。

#[contract]

mod ERC20 {

第4行从starknet模块导入get_caller_address函数。get_caller_address()函数返回调用该函数的合约的地址。

use starknet::get_caller_address;

第7到14行定义了一个结构(类似于Solidity中的struct),在代码后面会用到。

第20行和第21行定义了一个名为Transfer的事件,当ERC20代币被转移时触发。事件提供了一种高效的方式来跟踪合约的活动/状态变化,从而允许外部监听者做出相应的反应。

#[event]

fn Transfer(from_: felt, to: felt, value: u256) {}

第36到54行包含了构造函数(合约部署时调用的函数)和一个读取name存储变量并将其值返回给用户的视图函数。

第97到101行定义了一个外部函数(前面已经讨论过),用于将ERC20代币从一个账户转移到另一个账户。该函数在底层调用了transfer_helper()函数,该函数还触发了上面定义的Transfer()事件。

结论

如果你对Solidity感到熟悉,现在你应该已经初步了解了Starknet的工作原理,了解了Cairo和Solidity之间的区别,以及如何阅读基本的Cairo智能合约。

在Cairo开发旅程的下一步,请参考Cairo文档、注册Cairo Basecamp或查看教程

评论

所有评论

推荐阅读

  • IPO在即,灰度创始人Barry Silbert回归出任董事会主席

    Grayscale Investments 在提交保密 IPO 申请后,宣布四项高管任命并迎回创始人 Barry Silbert 担任董事会主席。新任命的高管包括:首席运营官 Diana Zhang、首席营销官拉蒙娜·波士顿 Ramona Boston、首席传讯官 Andrea Williams、首席人力资源官 Maxwell Rosenthal。四位高管都将向灰度首席执行官 Peter Mintzberg 汇报,他们均来自传统金融巨头,包括桥水基金、阿波罗全球管理、高盛和城堡投资。 Barry Silbert 于 2013 年创立灰度,于 2023 年底辞去灰度董事长一职,此次将接替 Mark Shifke 担任董事会主席,Shifke 将继续留任董事会,目前董事会成员已增至五人。公司表示正在考虑增加独立董事。 Barry Silbert 表示:「我很荣幸能够在公司乃至更广泛的数字资产生态系统的关键时刻重新加入灰度董事会。我始终坚信公司的长期定位以及引领公司前进的领导团队。」

  • SharpLink Gaming增持18,680枚以太坊,总持有498,884枚

    据链上分析师 Onchain Lens 监测,SharpLink Gaming(股票代码:SBET)今日再次增持18,680枚以太坊,价值约6,663万美元。此次增持后,该公司以太坊储备总量达到498,884枚,总价值约18亿美元。

  • Bullish向美国证交会提交IPO申请,拟募资6.29亿美元

    数字资产交易所Bullish及其子公司CoinDesk已向美国证券交易委员会(SEC)提交首次公开募股(IPO)申请。根据申请文件,Bullish计划发行2030万股,发行价区间为28-31美元/股,最高募资金额为6.29亿美元,对应公司估值约42亿美元。 Bullish业务范围包括数字资产现货交易、杠杆交易和衍生品交易,同时为稳定币发行机构提供流动性服务。财务数据显示,该公司2025年第一季度数字资产销售额达8020万美元,净亏损3.49亿美元。Bullish曾于2023年以7260万美元收购加密货币媒体平台CoinDesk。

  • 欧盟将对美国的贸易反制措施暂停6个月

    市场消息:欧盟将对美国的贸易反制措施暂停6个月

  • 去中心化操作系统 OpenMind 完成 2000 万美元融资,Pantera Capital 领投

    智能机器去中心化操作系统 OpenMind 宣布完成 2000 万美元融资,Pantera Capital 领投,Coinbase Ventures、Digital Currency Group 和 Ribbit 等参投。 据悉,这家初创公司正在开发一款名为 FABRIC 的“硬件无关”操作系统,旨在支持“智能机器融入日常生活”。该协议为支持人工智能的机器人提供了一种通信和协调的方式。

  • 加强个人境外收入监管 境外买卖股票收入也要缴税

    《金融时报》刊文,据了解,近期有纳税人收到了税务部门通知,告知其需要依法办理境外所得申报并缴纳相应税款。“根据我国个人所得税法,个人股票交易所得属于财产转让所得,应当适用20%的税率按次征收。其中,个人在境内二级市场的股票交易所得暂免征收个人所得税;在境外直接进行股票交易所得没有免税规定,需要在取得所得的次年申报纳税。”吉林财经大学税务学院院长张巍解释说。为了更加合理的征收,我国税务部门在征管时,允许纳税人按照纳税年度盈亏相抵,但不允许跨年互抵。依法纳税是每个公民应尽的义务。个人未申报或者未如实申报境外所得,除了会被税务机关要求补缴税款外,还会被加收滞纳金,情形严重的还可能被稽查部门立案检查,将面临税务处罚。纳税人如果发现自己此前申报个税时,存在少报、漏报境外所得的,要及时补正。

  • 美国SEC文件显示特斯拉批准向马斯克授予9600万股股票奖励

    美国SEC文件显示:特斯拉(TSLA.O)批准向马斯克授予9600万股股票奖励,马斯克将按每股23.34美元的价格购买已获授股票。

  • Binance Alpha:持有至少 200 币安 Alpha 积分的用户可申领 1000 个 DARK 代币空投

    据官方公告,Binance Alpha 是首个上线 DarkStar(DARK)的平台,Alpha 交易将于 2025 年 8 月 4 日 20:00(UTC+8)开始。 交易开始后,持有至少 200 个币安 Alpha 积分的用户可申领 1000 个 DARK 代币空投。先到先得。若活动未结束,则分数门槛将每小时自动降低 15 分。 请注意,申领空投将消耗 15 个币安 Alpha 积分。用户需在 Alpha 活动页面于 24 小时内确认申领,否则视为放弃领取空投。

  • 香港《稳定币条例》正式生效:储备资产须全额覆盖流通面值

    8月1日,香港《稳定币条例》正式生效,建立起稳定币发行人牌照制度,完善香港对虚拟资产活动的监管框架。大湾区国际资讯科技协会会长杨德斌表示,如今国际上稳定币的发展已经达到一定规模。香港在这个时点推出《稳定币条例》,是在监管方面与时俱进的体现。与国际标准接轨,中国香港在制定稳定币相关规定时也力求与全球其他国家和地区的标准接轨。根据香港《稳定币条例》,持牌人必须确保其发行的指定稳定币的储备资产的市值,始终不低于该类稳定币尚未赎回且流通中的面值。持牌人应考虑储备资产的风险状况,确保有适当的超额抵押以覆盖市场风险。

  • 分析师:降息预期升温与SEC新政共振,市场情绪回暖

    Kronos Research 首席投资官 Vincent Liu 表示,在宏观不确定性与机构买盘交织下,当前市场呈现「谨慎乐观」情绪。恐惧与贪婪指数趋向「贪婪」,鲸鱼买入与降息预期正推动交易员重新配置风险资产。 投资者正关注将于 8 月 12 日公布的美国 7 月 CPI 数据,作为下一轮加息或降息决策的关键指标。尽管美联储在 7 月 FOMC 会议上维持利率不变,鲍威尔表示 9 月降息仍取决于经济数据,但 CME 美联储观察数据显示,市场预期有逾 80% 概率将下调 0.25 个百分点。 此外,Liu 认为美国 SEC 启动的「Project Crypto」或将在中长期利好市场。该项目将通过明确代币分类与引入 DeFi 创新豁免机制,降低监管不确定性、推动 DeFi 增长,并增强市场信心。