（完）
我们可以从两个方面思量效率和安详性：涉及数学的方面（AIR）和工程实现方面；而 Cairo 会在这两个方面都使代码越发高效且安详。Cairo 的 AIR 相对简朴，，也就可觉得链上验证（Verifier）和链下证明（Prover）处事提高效率并低落本钱。这也提高了安详性，因为审核单个简朴的 AIR 比审核多个巨大的专用 AIR 要安详得多。因此，有了 Cairo，我们可以依赖于单一验证器智能合约，再也不消为每个应用都陈设一个验证器。在安详性方面这意味着：对这一份智能合约的审计就能掩护所有应用都免受证明系统风险影响，而应用仅仅需要审计本身的业务逻辑。而对付业务逻辑，领略并审核其代码对比专用 AIR 来说要简朴得多了。为了领略 Cairo 中实际应用中的详细效率，我们来看这两个例子：
我们打算将我们与其他人开拓的 Cairo 和 GPS 提供应社区宽大的开拓者，为各人提供强大的开拓东西，我们打算开拓出从更高级语言到 Cairo 的编译器，还要给开拓者恒久提供我们的云上开拓情况。这都需要大量的精神与资源，Cairo 不是一天建成的。我们将按期一步一步更新 Cairo，为各人提供更强的成果、机能及优化。今朝我们与相助同伴 DeversiFi、Immutable 和 dYdX 一同在利用中不绝调试 Cairo，每周都有希望。假如你想此刻开始在以太坊长举办开拓，但受限于扩展性和日益增长的 gas 价值，假如你想构建一个真正的生意，需要出产级高机能的东西链，请接洽我们。
脚注
前路漫漫
DeversiFi
https://medium.com/starkware/hello-cairo-3cb43b13b209
我们与以太坊生态中的其他项目一起冲刺完成了 Reddit 可扩展性竞标。多亏了 Cairo，我们才气：我们以前所未有的效率完成了角逐。我们可以把所有 30 万个生意业务都打包成一个证明，还用到了聚合挪用数据（仅仅用修改的账户信息代表整个批次，而不包罗每个生意业务的挪用数据）。这是 Cairo 可编程性及优化算法所得便捷性的直接成就。我们在 6 分 03 秒内完成了所有任务。值得留意的是：更高级此外编程能等闲增加优化，这些优化带来的长处凡是大于上文提到的 CPU 劣势。因此，在大都环境下，利用 Cairo 比利用量身定制的 AIR 实际上大概最终实现更好的机能。我们以超快的速度完成了角逐。没什么人留意到我们的单个证明在 7 月 15 日就提交到主网上了，比六周的冲刺期提前了两周。这也是 Cairo 给我们带来的古迹。原文链接:
Reddit 竞标
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
