github.com

新手上路 3小时前

主楼

[资源名称]

cairo - Cairo 是第一个用于创建可证明通用计算程序的图灵完备语言

[资源来源]

github.com

[资源介绍]

* cairo - Cairo 是第一个用于创建可证明通用计算程序的图灵完备语言。这也是 StarkNet 的原生语言，StarkNet 是一个使用 STARK 证明的 ZK-Rollup。

[资源合集]

回复点赞举报