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 的更多信息。(来源链接)