01月05日,星期四 11:45
火讯财经讯,DeFi之道讯,1月5日,零知识证明技术开发公司StarkWare宣布推出第一个公开版本的Cairo1.0,Cairo于2020年作为图灵完备的编程语言首次推出,用于高效编写STARK可证明的程序。Cairo1.0中最重要的变化之一是语法,新版本的Cairo允许编写更安全的代码。Cairo1.0还引入了Sierra,这是一种新的中间表示,可确保每次Cairo运行都可以得到证明。StarkWare表示,预计在接下来的几周内,提供与旧版本相同的Cairo1.0功能,对StarkNet合约的支持将在即将到来的StarkNetAlpha版本中加入。