StarkWare 计划推出 Cairo 1.0 版本，核心功能 Sierra 将证明 Cairo 的每次运行

链捕手消息，零知识证明技术开发公司 StarkWare 宣布编程语言 Cairo 1.0 版本，核心将是中间表示层（intermediary representation layer）Sierra，可增强可用性、安全性和便利性，支持 StarkNet 的无许可网络要求，并将简化和保护协议，目前开发已经在进行中，预计第一个版本将很快发布。

Cairo 1.0 中的主要新增功能是 Sierra （安全报告）。Sierra 构成了 Cairo 1.0 和 Cairo 字节码之间的新中间表示层。Sierra 的目标是确保每次开罗运行（计划及其输入）都可以得到证明。此外， Cairo 1.0 也会影响 Regenesis，StarkWare 将在未来几周内发布有关 Regenesis 的更多信息。