由开罗通用计算提供支持的递归证明现已投入生产。这标志着 STARK 的 L2 扩展能力得到了重大提升。它将通过单一证明写入以太坊的交易数量迅速增加数倍。

以太坊彻底改变了去中心化应用程序 (dApp) 的世界，提供了一种安全、透明的在线交互方式。然而，像以太坊这样的早期区块链网络提供了一种对大多数用户来说不直观的基本帐户模型，称为外部拥有帐户（EOA）。

2020 年，我们发布了 Cairo，这是一种支持可验证计算的图灵完备编程语言。Cairo 最初是一种汇编语言，后来逐渐变得更具表现力。两个月前，我们发布了 Cairo 1.0，它解决了当前情况下的一些主要问题：

我们很高兴地宣布 Cairo 1.0 的第一个公共版本现已推出。这标志着 Cairo 发展的一个重要里程碑，Cairo 于 2020 年首次推出，作为图灵完备的编程语言，用于高效编写 STARK 可证明的程序。Cairo 1.0 是一种类似 Rust 的高级语言。与 Rust 一样，它旨在让开发人员轻松编写高效且安全的代码。

Cairo 1.0 正在继续快速改进。今天的版本介绍了编写 ERC-20 合约的所有必要功能等。

Cairo 1.0 继续向前发展，为开发人员提供了编写更丰富的应用程序的能力，并在与 Cairo 0 的功能兼容性方面又迈出了一步。

我们很高兴地宣布，期待已久的 Starknet alpha v0.11.0 已在测试网上上线！为什么这对 Starknet 来说是一大进步？在Starknet v0.11.0中，您可以声明、部署和运行 Cairo 1.0 智能合约。我们还引入了一个新的系统调用，可以将现有合约平稳过渡到 Cairo 1.0 实现。

有效性汇总和 Cairo VM 的作用 长话短说 有效性汇总是以安全和去中心化的方式增加以太坊吞吐量的最有前途的方法；zkEVM 和 Cairo VM (CVM) 是有效性汇总中使用的两种类型的 VM。 zkEVM 注重以太坊兼容性，但牺牲了性能和可扩展性。 Starknet 中使用的 Cairo VM 优先考虑性能和可扩展性而不是兼容性。 在谈论以太坊扩容时，汇总是今年的热门话题。在各种类型的汇总中，我们认为有效性汇总（VR）（也称为 zk-rollups）是以安全和去中心化的方式增加以太坊吞吐量的最有前途的方法。该扩展解决方案的核心是使用有效性证明进行 可验证的计算。它们的工作原理如下：

Cairo v1 自早期 alpha 时代以来已经有了显着的发展，达到了与 Cairo 0 相同的功能，并在此基础上积累了新功能（基本循环现已可用，并且更多功能正在进行中）。我们在这篇文章中的目标是更多地了解开罗的短期路线图：目前正在做什么以及开发人员在未来几周和几个月内可以期待什么。将来，您可以通过跟踪Github 上的cairo-roadmap board来了解该语言的最新发展或计划。