Cairo编程语言

Cairo编程语言

官网： https://www.cairo-lang.org/
官方推特： https://twitter.com/CairoLang
官方文档：https://book.cairo-lang.org/

一、背景

以太坊原生的编程语言 Solidity 非常适合那些 EVM 兼容的区块链，但其常见的数据结构要转译成 STARK 兼容的格式非常昂贵。

所以 StarkWare 团队采用 Cairo 语言。

一个 Cairo 程序的执行会产生一个记录，然后被发送到验证者（prover），验证者（prover）会产生一个 STARK 证明，证明 Cairo 程序所代表的指令或计算的有效性。然后，该证明会被 verifier 检查。

这门语言目前还比较新，会用这门语言的开发者还比较少，也并不兼容 EVM，dApp 很难将以太坊上现有的合约搬过来。

二、什么是Cairo

Cairo 是图灵完备的高级 编程语言和框架，可以为通用计算生成 STARK 证明。应用开发者可以使用 Cairo 定义任何商业逻辑，在链下生成证明，并在链上进行验证，而无需自己编写复杂的“电路”或 AIR。Cairo 已在主网上线，向所有开发者开放。

Cairo 是用来生成通用计算STARK 证明的图灵完备的语言框架。

Cairo GPS(Generic proof service) 允许开发者利用Cairo构建自己的应用，可以实现任意的逻辑。GPS可以生成证明，在链上验证