原文标题：《引介 | Hello，Cairo！》
撰文：StarkWare
翻译 & 校对：Elisa & 阿剑

Cairo 是第一个用于生成通用计算的 STARK 证明的生产级平台，具有图灵完备，高效等特点。我们开发的所有内容都是用 Cairo 编写的，从提交 Reddit 的竞标开始，到我们即将部署的各个项目：DeversiFi、Immutable 和 dYdX。

无论你的计算和储蓄需求有多少，如果你需要在以太坊上以较低的 Gas 成本大规模应用，Cairo 都很有用。在接下来的几个季度中，我们会开始提供 Cairo 的开发者工具，在此之前，请你直接联系我们，我们可以一同开发你的应用。

项目背景

扩展 Reddit 竞标对于我们 StarkWare 来说是一个里程碑，不光是因为我们取得的成绩（用单个 STARK 证明囊括 30 万个交易），更因为我们取得该成绩的方法。这次 Reddit 竞标是我们第一次在以太坊主网部署 Cairo，一个用于生成通用计算的 STARK 证明的图灵完备 ₁ 生产级平台。我们其他即将在主网部署的项目都会基于 Cairo，包括：

• DeversiFi （现货交易）的 StarkEx 2.0
• 支持 ImmutableX 的 StarkEx 系统，为 Immutable 团队的 Gods Unchained 游戏打造的 NFT 交易系统
• 为 dYdX 的永续合约打造的 StarkEx 系统

本文将涵盖以下内容：1. 我们为什么需要 Cairo；2. 项目的新颖之处，其性能及扩展效率；3. 讨论我们向社区开发者分享 Cnaairo 工具链的开发计划。

需求：图灵完备的生产级 STARKs

自从我们成立以来，就一直专注于解决可扩展性问题，从以太坊扩展性开始。我们很早就意识到有效性证明是一个强大的扩展性解决方案，而且 STARKs 在为通用计算解决扩展性问题上有其独到之处。快速回顾一下概念：一个链下证明器（Prover），可以处理大量运算（比如大量交易），并产生量级上更小的有效性证明，这些证明反过来又可以在链上验证。

我们每个合作伙伴都有一类独特的运算需要下放到 Layer 2 上。DeversiFi 的现货交易，Immutable 的 NTF 生成与交易，而 dYdX 则要执行永续合约。为每个项目定制手写打造一个 STARK 系统 ₂ 将耗时巨大，就像为每个计算构建一个专用 ASIC 一样。因此，我们要想拓展业务并支持高性能和速度，就需要在第二层有一个图灵完备的生产级 STARK 系统，因此我们开发出了 Cairo。Cairo 是 CPUAlgebraicIntermediateRepresentation （中央处理器代数中介码（AIR））的首字母缩写，并包含单个 AIR 来验证这个 「CPU」 的指令集。 (责任编辑：admin1)