零知识证明技术开发公司StarkWare推出第一个公开版本Cairo 1.0

来源：峰值财经发布时间：2023-03-17 浏览量：次

1月6日消息，零知识证明技术开发公司 StarkWare 宣布推出第一个公开版本的 Cairo 1.0，Cairo 于 2020 年作为图灵完备的编程语言首次推出，用于高效编写 STARK 可证明的程序。

零知识证明技术开发公司StarkWare推出第一个公开版本Cairo 1.0

Cairo 1.0 中最重要的变化之一是语法，新版本的 Cairo 允许编写更安全的代码。Cairo 1.0 还引入了 Sierra，

零知识证明技术开发公司StarkWare推出第一个公开版本Cairo 1.0

这是一种新的中间表示，可确保每次 Cairo 运行都可以得到证明。StarkWare 表示，预计在接下来的几周内，

零知识证明技术开发公司StarkWare推出第一个公开版本Cairo 1.0

提供与旧版本相同的 Cairo 1.0 功能，对 StarkNet 合约的支持将在即将到来的 StarkNet Alpha 版本中加入。

以上就是腾赚小编为大家带来的全部内容，希望可以帮助到大家。