Cairo 是第一个用于生成通用计较的 STARK 证明的出产级平台，具有图灵完备，高效等特点。我们开拓的所有内容都是用 Cairo 编写的，从提交 Reddit 的竞标开始，到我们即将陈设的各个项目：DeversiFi、Immutable 和 dYdX。
因此，有了 Cairo，我们可以依赖于单一验证器智能合约，再也不消为每个应用都陈设一个验证器。在安详性方面这意味着：对这一份智能合约的审计就能掩护所有应用都免受证明系统风险影响，而应用仅仅需要审计本身的业务逻辑。而对付业务逻辑，领略并审核其代码对比专用 AIR 来说要简朴得多了。
脚注[1]：我们利用该术语的 通俗 寄义，即，涵盖所有现实世界的通用计较[2]：更精确地说，应用之间的差异点就在于 AIR，AIR 之于 STARK 来说就比如运算电路与 R1CS 系统之于 SNARKs。[3]：按照 zkp.science 的综合分类所有先前陈设在测试网可能主网上的系统都只能被归为 「电路编写库」 3 。这些库可以看作是为建设用于特定计较的 ASIC 的东西链。而 Cairo 与之完全差异，应该看作是从 ASIC 向 CPU 的太过。
Cairo 证明器比当前的 ASIC 实现慢 30%验证器只耗损 1.03 倍的 gasReddit 竞标我们与以太坊生态中的其他项目一起冲刺完成了 Reddit 可扩展性竞标。多亏了 Cairo，我们才气：
今朝我们与相助同伴 DeversiFi、Immutable 和 dYdX 一同在利用中不绝调试 Cairo，每周都有希望。假如你想此刻开始在以太坊长举办开拓，但受限于扩展性和日益增长的 gas 价值，假如你想构建一个真正的生意，需要出产级高机能的东西链，请接洽我们。
我们将很快宣布白皮书，具体先容 Cairo 的设计理念以及对付该新一代编程语言的完整类型。在下面几个月中，我们会开始宣布用于编写、调试和运行 Cairo 措施的东西（注册以便收到更新通知）。
为了领略 Cairo 中实际应用中的详细效率，我们来看这两个例子：
无论你的计较和储备需求有几多，假如你需要在以太坊上以较低的 Gas 本钱大局限应用，Cairo 都很有用。在接下来的几个季度中，我们会开始提供 Cairo 的开拓者东西，在此之前，请你直接接洽我们，我们可以一同开拓你的应用。
Cairo 是第一个实现图灵完备的冯诺伊曼布局的出产级证明系统，，每个 Cairo 措施 P 以及它处理惩罚的数据 D 都存留在虚拟机的内存中。Cairo 的单一 AIR 可以验证任意 Cairo 措施，因此验证器（Verifier）也是单一的，形式可以是智能合约可能 WebAssembly 措施等。也就是说，Cairo 的 AIR 可以验证用数据 D 跑措施 P 的计较完整性，以及执行后系统状态的正确性。
有了 Cairo，新的业务逻辑不再需要新的智能合约，而只需要别的一个 Cairo 措施。由此，业务逻辑和证明系统的边界划理解确了。
项目配景扩展 Reddit 竞标对付我们
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
