最新消息，1月5日，知名零知识证明技术企业StarkWare正式发布了Cairo 1.0的首个公开版。该编程语言在2020年首次亮相，旨在成为图灵完备的语言，以实现STARK可证明程序的高效编写。Cairo 1.0版本的一大亮点在于其语法优化，新版本使编写更安全的代码成为可能。此外，Cairo 1.0还推出了Sierra，这是一种新的中间表示，确保每次运行Cairo都能生成相应的证明。StarkWare透露，未来几周内将提供与旧版相同功能的Cairo 1.0，并且对StarkNet合约的支持将纳入即将发布的StarkNet Alpha版本中。
链接：https://www.8btc.com/article/6797118 请注明转载自本文章出处
标签:
文章来源: 酷玩网
版权声明: 本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任
