来源：https://hackmd.io/@abdelhamid/stark-at-home-why-cairo-1

在最近的“Stark@Home”活动中，名为“为什么发布Cairo 1.0 版本？”的活动中，Cairo编程语言的创造者聚集在一起，讨论他们对Layer 2扩容解决方案未来的愿景。该活动邀请到以下人员参与详细的对话：

在讨论中，与会者涵盖了StarkNet、Cairo、Sierra等技术的各个方面，以及这些技术的不断改进和优化。

以下是对Stark@Home活动“为什么发布Cairo 1.0 版本？”中的五个引用：

本文总结了网络研讨会的主要要点。

Layer 2扩容解决方案

StarkNet是一个旨在提高以太坊交易吞吐量的Layer 2扩容方案。该平台采用先进的零知识证明技术zk-STARKS来增强可扩展性并保持强大的安全性能。该网络研讨会详细介绍了Cairo和Sierra两种专门为StarkNet开发的编程语言。

Cairo：面向StarkNet的高级编程语言

Cairo是一种高级编程语言，旨在让开发人员更轻松地为StarkNet编写合约和应用程序。它具有与传统编程语言密切相似的内存模型和语法。在网络研讨会期间，与会者讨论了对Cairo进行的持续改进和优化，包括：

- 为了方便和易用性而增强语言的功能

- 努力提高将Cairo编译为Sierra的效率

Sierra: 一种中间表示层，带来了更高的安全性

Sierra旨在提高语言的安全性，使得构建可以被持续证明的Cairo程序成为可能。

在用户编写的Cairo 1.0代码与经过验证的Casm代码之间增加一个额外的层是必要的，因为Cairo存在一些限制，并且需要解决诸如撤销事务、不可满足的AIR以及DOS攻击等问题。L2系统中的序列器必须获得补偿，即使事务失败。如果他们无法为这些事务收费，那么这将成为一个明显的DOS攻击。

一种可能的解决方案是将这些事务包括在块中，就像以太坊一样。然而，在使用Cairo 0的有效性Rollup中，这很困难，因为没有区分用户代码和已证明代码，允许用户编写无法证明的代码。增加Sierra这个层确保所有事务最终都是可以被证明的，解决了这些问题。

Sierra的持续改进和优化包括:

- 添加库函数或扩展以改进功能

- 开发一个Sierra-to-Casm编译器，使用Sierra本身进行编写

性能改进和扩展

大家讨论了各种增强交易处理速度和扩展StarkNet的策略，包括：

除了这些策略，演讲者还提到了计划从基于Python的实现转换为基于Rust的实现，以获得更好的性能。

StarkNet的未来方向

StarkNet的一些令人兴奋的未来方向包括：

Typed StarkNet

Typed StarkNet将在StarkNet生态系统中添加类型安全性，这将实现更好的资源管理和更高效的事务处理。

Cairo和Sierra的可扩展性

演讲嘉宾强调，Cairo和Sierra的可扩展设计为它们进入非区块链生态系统提供了潜在的适应和扩展能力。Sierra为未来的增强提供了更大的灵活性，例如使用小域来加速算术运算。

问答环节重点

网络研讨会以问答环节结束，在此期间，嘉宾回答了观众的一些有趣问题。其中一些主要讨论的话题包括：

- Cairo和Sierra作为新语言开发的原因

- Cairo是否有可能作为独立于StarkNet的独立语言

- 实现“unsafe - - Cairo”的可能性，带有

- 用于优化的提示Cairo在未来是否可能在以太坊L1上实现

结论

本次演讲为StarkNet和Cairo编程语言的世界提供了令人着迷的一瞥。随着嘉宾继续完善和优化这些技术，开发人员可以期待新的功能、改进和创新机会。

对于那些有兴趣了解Cairo、Sierra和StarkNet的人，演讲嘉宾建议探索诸如starklings之类的资源，这是一个基于Rustlings的交互式教程。通过探索这些工具和教程，开发人员可以更深入地了解StarkNet及其相关技术的潜力。