Cointime

扫码下载App
iOS & Android

StarkWare 公布 Cairo 编程语言路线图,计划推出 Cairo V2 版本与新合约语法

作者:StarkWare 编译:Cointime Lu Tian

Cairo 正在不断发展。为了方便社区,我们创建了一个公共看板来展示未来的炫酷功能。新的合约语法将与 Starknet alpha v0.12.0 一同发布,只需极少的代码修改,就能显著丰富智能合约语言。

随着 Starknet 主网上线的 Cairo 1.1.0 以及即将发布的 Starknet v2,我们已经达到了该语言成熟度的一个重要里程碑。在文档、书籍和 Starknet 不和谐之间,您应该有足够的资源来开始并从 Cairo 0 迁移。

介绍

自早期 alpha 版本以来,Cairo v1 已经取得了显著的发展,实现了与 Cairo 0 相同的功能,并在此基础上积累了新特性(基本循环已经可用,更多功能正在开发中)。在本文中,我们的目标是更深入地了解 Cairo 的短期路线图:当前正在进行的工作以及开发人员在未来几周和几个月内可以期待的内容。今后,您可以通过关注 Github 上的 cairo-roadmap 看板来了解该语言的最新进展和计划。

为什么选择Cairo?

除了高级语言的重大改进之外,我们认为有必要强调 Cairo 的核心优势,以及为什么我们认为它是区块链扩展未来的基石。

从一开始,Cairo 的唯一目标就是成为编写可证明程序的最高效的语言。正如原始论文所述,Cairo VM 的架构旨在为执行 Cairo 程序生成高效的 STARK 证明,使其成为有效性汇总的理想基础。Cairo v2 是我们现有的类似 Rust 的新语言,它基于这些基础,但旨在为广泛的开发人员社区提供服务,包括人体工程学、安全性以及易于学习和编写。在过去两年中,Cairo 的演变使其从一种利基的低级语言,变成了一种对开发人员友好的高级语言,同时在证明和扩展效率方面具有优势。

就叫 Cairo 吧!

不要再说“Cairo 1 — 编译器版本 vX.Y.Z”。从现在开始,就称其为Cairo吧。耶!

在使用新的 Cairo 编译器时,我们遵循语义版本控制标准;也就是说,编译器版本由三位数字组成,最高有效位的更改表示重大变更。在接下来的 Cairo 版本中,我们对智能合约语法进行了重大改进(稍后将详述),因此将版本升级到 Cairo v2 是正确的做法。为了避免繁琐的符号,我们将不再使用 Cairo 1,从现在开始,用(唯一的)编译器版本来标识该语言的版本。原始语言在未来仍可在 Starknet 之外的不同环境中使用,将被称为“Cairo 0”。

Cairo 接下来会发生什么?

在以下部分,我们将回顾该语言即将实现的主要发展,并解释它们将如何影响 Cairo 的开发者体验。

即将推出的功能虽然实现与 Cairo 0 功能对等是一个重要的里程碑,但这绝非终点。高级语言始终有改进的空间,更多的功能正在开发中。您可以查看路线图,了解正在开发的功能并跟踪待完成的工作。值得一提的一些功能包括:

  • 组件:新合约语法的下一阶段,允许合约导入外部库中定义的组件。
  • Keccak 和 Secp-k1:已包含在 Cairo v2 中,它们将允许在即将推出的 Starknet 版本上验证以太坊签名。
  • 有符号整数支持。
  • Secp-r1 曲线操作:这将允许使用本地硬件签署交易,使得与 Starknet 交互的用户体验更加简便。
  • 字符串:(长)字符串的原生类型,允许进行标准字符串操作。这是一个基本功能,NFT 和游戏项目对此也有很高的需求。
  • 迭代器:这些将使我们能够丰富循环语法,并更方便地迭代数组/范围。

Cairo v2 — 新合约语法

目前,Starknet 智能合约的语法主要沿用了早期的 Cairo 0 设计。这一设计存在一些问题,我们希望加以解决。我们采用新语法的目标是通过使合约行为更加明确来提高安全性。通过为合约的外部函数、存储和事件引入更多结构,我们可以显著降低出错的可能性。这将有助于保护协议免受潜在的黑客攻击和资金损失。此外,新语法允许我们引入可扩展性,这是社区一直强烈要求的功能,它让开发人员可以轻松地使用外部库编写的组件。

新语法需要进行重大改变。虽然我们在当前阶段选择尽可能避免重大变更,但在经过内部和社区讨论后,我们认为这是一个对未来带来回报的正确方向。

这些更改在社区论坛上发布的一篇更具技术性的帖子中进行了详细讨论。在这里,我们只想强调,只有合约的“最外层”(外部函数和事件的定义)需要修改。您现有的 Cairo v1 代码只需进行少量调整。另一方面,新语法带来的好处是显著的:使用外部库中的组件(处理大型项目时的关键功能)将变得平滑自然,不再需要临时的解决方案。

文章中描述的一些即将发生的变化(尤其是新的合约语法)意味着语言将发生重大改变。虽然在 Cairo v2 之后,大部分重大更改已经完成,但现在开始全力保证向后兼容还为时尚早。也就是说,对于在 Starknet 上开发智能合约的项目,稳定性和仔细的审查对我们来说是一个重要的考量因素。为了解决这些问题,我们提供以下稳定性保证:

  1. 在 Starknet 上声明的任何类都将继续像以前一样运行,不受语言变化的影响;
  2. 部署在 Starknet 上的任何合约都将继续像以前一样运行,不受语言变化的影响;
  3. 对于每次重大语言升级,之前版本编写的合约在 Starknet 上的声明将保持至少六个月。

例如,如果您正在使用 Cairo 版本 X 开发项目(或接近部署/审核阶段),而 Cairo Y 版本发布时带有重大更改,那么使用版本 X 编写的合约仍将在 Starknet 上被接受至少6个月。也就是说,您有至少六个月的时间将您的合约部署在 Starknet 上,此时它们将永久受到第1点和第2点保护。

何时迁移?

随着新合约语法的发布(并在即将发布的 v0.12.0 中在 Starknet 上提供)以及我们已经完成的大量重大更改,Cairo 现在已足够稳定且功能丰富,可以支持复杂的应用程序并移植现有的 Cairo 0 逻辑。此外,Starknet 的向后兼容性保证确保即使语言发生重大变化,您也将有足够的时间(至少六个月)来完成合约的开发、审核和部署。

总结

Cairo 不断发展,已经在很大程度上超越了原始语言。如果您还没有参与其中,现在是时候了。我们欢迎开发者社区积极参与讨论,可以直接在编译器存储库上提问,也可以在 Cairo Discord 频道或 Starknet 社区论坛上发帖。希望这篇文章(以及相关的技术性更强的文章)有助于阐明预期的变化,并消除对 Cairo 未来的大部分疑虑。

评论

所有评论

推荐阅读

  • 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 增长,并增强市场信心。