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