StarkWare开源Cairo 1.0其编译器首个版本将在明年Q1推出

9月11日消息，零知识证明技术开发公司StarkWare宣布编程语言Cairo1.0版本，核心将是中间表示层（intermediary representation layer）Sierra，可增强可用性、安全性和便利性，支持StarkNet的无许可网络要求，并将简化和保护协议，目前开发已经在进行中，预计第一个版本将很快发布。 此外Cairo1.0也会影响Regenesis，StarkWare将在未来几周内发布有关Regenesis的更多信息。 注：Cairo语言是StarkNet的原生智能合约语言，于2020年推出。

金色财经报道，区块链开发公司 Starkware 开源了其编程语言 Cairo 的新版本，Cairo 支持 Starkware 的Layer 2网络 StarkNet 和 StarkEx。根据一份声明，这是该语言自创建以来的第一个主要版本，新版本将很快被引入 StarkNet。

金色财经报道，StarkNet 宣布推出 Cairo 1.0-alpha.2 版本，其新功能包括：词典、合约中的事件、映射存储变量、特征支持、类型推断和方法。目前，团队正致力于使 Cairo 1.0 与之前的 Cairo 完全兼容，并开发支持在 Cairo 1.0 中编写合约的 StarkNet v0.11.0。

DeFi 之道讯，1 月 5 日，零知识证明技术开发公司 StarkWare 宣布推出第一个公开版本的 Cairo 1.0，Cairo 于 2020 年作为图灵完备的编程语言首次推出，用于高效编写 STARK 可证明的程序。Cairo 1.0 中最重要的变化之一是语法，新版本的 Cairo 允许编写更安全的代码。Cairo 1.0 还引入了 Sierra，这是一种新的中间表示，可确保每次 Cairo 运行都可以得到证明。StarkWare 表示，预计在接下来的几周内，提供与旧版本相同的 Cairo 1.0 功能，对 StarkNet 合约的支持将在即将到来的 StarkNet Alpha 版本中加入。

2月24日消息，StarkWare 发布 Cairo 1.0 Alpha.3，新版本包含增加新语言功能等更新。此外，团队预计 Starknet alpha v0.11.0 与 Cairo 1.0 合约将于两周内上线。 此前报道，去年 11 月，StarkWare 宣布开源其编程语言 Cairo 1.0。StarkNet 会于 2023 年第一季度支持 Cairo 1.0。Cairo 1.0 编译器的首个版本也计划于第一季度初推出。

金色财经报道，以太坊Layer 2开发公司StarkWare总裁Eli Ben-Sasson透露，他们正在开发的以太坊Layer 2扩展解决方案StarkEx和StarkNet即将迎来两个重要里程碑：首先是发布StarkNet原生智能合约语言升级版Cairo 1.0，该语言现在已经完成开发，预计在2022年底前推出；之后，该团队还将在名为“Regensis”的以太坊主网上重新启动StarkNet，旨在提高网络DoS攻击保护能力并降低gas费用。 此外，Eli Ben-Sasson表示原定于9月的原生Token发行计划已被推迟，因为他们希望在Solidity合约方面做得更好一点，因此StarkWare原生Token将在10月内上链。不过，Eli Ben-Sasson指出他们在初始阶段不会为用户提供免费Token，所有Token会在发布后立即锁定。Eli Ben-Sasson还透露，StarkWare很快会宣布成立基金会并由其负责Token分配和分发。（decrypt）