GPS 可以使用单个证明来证明多个独立应用的执行完整性，让这些应用可以分摊证明验证的 gas 成本。

Cairo 和 GPS 都是 StarkNet 的基础。我们决定将二者开放给外部开发者，让他们早些接触 StarkNet 技术。这样一来，开发者不仅可以开始在 StarkNet 的基础上进行构建，还能影响 StarkNet 的发展。

我们会基于开发者社区的需求和反馈继续开发 Cairo。我们会引入新的功能、语法和能够提高其可用性的内部插件来强化该语言。我们会继续开发并改进 Cairo 工具：编译器、跟踪器 / 调试器以及与通用 IDE （集成开发环境）的集成。

StarkNet 也会在底层运行 Cairo。

STARK 软件栈

我们已经开发了整个生态系统中最强大的证明系统。这个系统已经在主网上线数月之久。我们还开发了开源证明器 ethSTARK。ethSTARK 不仅在速度上比任何证明器都要快 20 倍，而且提供抗量子计算的零知识签名。

我们的可扩展性实效（既不是推断，也不是承诺）包括，在主网上使用单个证明处理 30 万笔交易，在 Rollup 吞吐量上创下了高达 3000 tps 的世界记录。在此过程中，我们同样在 Rollup 的 gas 效率上创下每笔交易 315 gas 的世界纪录，比以太坊 L1 上的交易便宜几个数量级。

ethSTARK 将成为 StarkNet 去中心化证明层的基石。因此，作为 StarkNet 开发的一部分，我们还将发布更多增强型证明器（请关注我们后续的博客文章）。

StarkEx

StarkEx 是我们的 L2 可扩展性引擎。2020 年 6 月以来，StarkEx 就一直在为主网上的 DeversiFi 用户提供服务。接下来几周，StarkEx 将开始支持 dYdX 和 ImmutableX。StarkEx 可以处理复杂的交易逻辑（现货交易、衍生品、非同质化代币）以及付款。

在 StarkEx 的开发过程中，我们也亲自试用了自己开发的工具，并测试了其是否能满足现实世界的需求。没有什么比实际需求和用户更能推动工具不断走向成熟。这也帮助我们了解了生态需要我们去解决什么问题，如，与钱包和区块浏览器的集成。

StarkEx 是使用基于 STARK 的 ZK-Rollup 提高应用可扩展性的活生生的例子，也是第一个在主网上线的采用 Cairo 语言编写的应用。另外，它也是运行在 StarkNet 上的应用之一。

展望未来

行星：只支持单一 App 的 Rollup

在该阶段，开发者可以在 StarkNet 上构建并部署他们自己的可扩展应用。

每个 StarkNet 实例都能运行一个应用。不同的实例可能会运行不同的应用。

StarkNet 架构包含以下部分：

• 为任意 Cairo 逻辑生成 STARK 证明、然后提交证明并在以太坊上验证所需的机制 (责任编辑：admin)