DeFi 之道讯，1 月 5 日，零知识证明技术开发公司 StarkWare 宣布推出第一个公开版本的 Cairo 1.0，Cairo 于 2020 年作为图灵完备的编程语言首次推出，用于高效编写 STARK 可证明的程序。Cairo 1.0 中最重要的变化之一是语法，新版本的 Cairo 允许编写更安全的代码。Cairo 1.0 还引入了 Sierra，这是一种新的中间表示，可确保每次 Cairo 运行都可以得到证明。StarkWare 表示，预计在接下来的几周内，提供与旧版本相同的 Cairo 1.0 功能，对 StarkNet 合约的支持将在即将到来的 StarkNet Alpha 版本中加入。
Gate.io - 芝麻交易所，又称芝麻开门交易所，是原比特儿交易所国际版本，是全球第二大交易所 支持人民币OTC交易 让财富更自由一点
文章采集自互联网，本站不对其真实性负责，如需删除，请发送链接至oem1012@qq.com
发表评论
电子邮件地址不会被公开。 必填项已用*标注
文章评论已关闭！