作者: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 上开发智能合约的项目,稳定性和仔细的审查对我们来说是一个重要的考量因素。为了解决这些问题,我们提供以下稳定性保证:
- 在 Starknet 上声明的任何类都将继续像以前一样运行,不受语言变化的影响;
- 部署在 Starknet 上的任何合约都将继续像以前一样运行,不受语言变化的影响;
- 对于每次重大语言升级,之前版本编写的合约在 Starknet 上的声明将保持至少六个月。
例如,如果您正在使用 Cairo 版本 X 开发项目(或接近部署/审核阶段),而 Cairo Y 版本发布时带有重大更改,那么使用版本 X 编写的合约仍将在 Starknet 上被接受至少6个月。也就是说,您有至少六个月的时间将您的合约部署在 Starknet 上,此时它们将永久受到第1点和第2点保护。
何时迁移?
随着新合约语法的发布(并在即将发布的 v0.12.0 中在 Starknet 上提供)以及我们已经完成的大量重大更改,Cairo 现在已足够稳定且功能丰富,可以支持复杂的应用程序并移植现有的 Cairo 0 逻辑。此外,Starknet 的向后兼容性保证确保即使语言发生重大变化,您也将有足够的时间(至少六个月)来完成合约的开发、审核和部署。
总结
Cairo 不断发展,已经在很大程度上超越了原始语言。如果您还没有参与其中,现在是时候了。我们欢迎开发者社区积极参与讨论,可以直接在编译器存储库上提问,也可以在 Cairo Discord 频道或 Starknet 社区论坛上发帖。希望这篇文章(以及相关的技术性更强的文章)有助于阐明预期的变化,并消除对 Cairo 未来的大部分疑虑。
所有评论