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

DeFi 之道讯，1 月 5 日，零知识证明技术开发公司 StarkWare 宣布推出第一个公开版 Cairo 1.0，Cairo 于 2020 第一次推出图灵完整的编程语言，用于高效编写 STARK 可证程序。Cairo 1.0 语法是新版本中最重要的变化之一 Cairo 允许编写更安全的代码。Cairo 1.0 语法是新版本中最重要的变化之一 Cairo 允许编写更安全的代码。Cairo 1.0 还引入了 Sierra，这是一种新的中间表达，每次都能保证 Cairo 操作可以证明。StarkWare 预计将在接下来的几周内提供与旧版本相同的产品 Cairo 1.0 功能，对 StarkNet 合同的支持即将到来 StarkNet Alpha 加入版本。