[资源介绍]
GitHub - starkware-libs/cairo: Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation. - starkware-libs/cairo
* cairo - Cairo 是第一个用于创建可证明通用计算程序的图灵完备语言。这也是
StarkNet 的原生语言，StarkNet 是一个使用 STARK 证明的 ZK-Rollup。
