Foresight News 消息，零知识证明技术开发公司 StarkWare 宣布编程语言 Cairo 1.0 版本，核心将是中间表示层（intermediary representation layer）Sierra，可增强可用性、安全性和便利性，支持 StarkNet 的无许可网络要求，并将简化和保护协议，目前开发已经在进行中，预计第一个版本将很快发布。此外 Cairo 1.0 也会影响 Regenesis，StarkWare 将在未来几周内发布有关 Regenesis 的更多信息。

Foresight News 注，Cairo 语言是 StarkNet 的原生智能合约语言，于 2020 年推出。