4

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

 1 year ago
source link: https://www.8btc.com/article/6797118
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client
2023-01-05 15:40

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

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 版本中加入。

本文链接:https://www.8btc.com/article/6797118
转载请注明文章出处

登录 账号发表你的看法,还没有账号?立即免费 注册

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK