Cairo 介绍 ⤵️
提示
这个教程是针对版本2.6.0的。请注意，不同版本之间存在差异 ⚠️。
Starknet 是什么？
Starknet是一个构建在以太坊之上的第二层网络。
Starknet使用STARKs作为其证明系统，使得可以为复杂的计算产生简洁的证明，从而大大降低了链上验证过程的复杂性。
不同于让网络的所有参与者验证所有用户交互，只有一个被称为证明者的节点执行程序并生成计算正确完成的证明。
然后，这个证明会被提供给以太坊网络，由智能合约进行验证。这个过程需要的计算量远小于直接在以太坊上执行原始交易。
这样，Starknet就能大大提高以太坊的处理能力，降低其交易成本，但又能保证以太坊的安全性。
Cairo是什么？
Cairo是 Starkware 发明的一个开源编程语言。它是一个图灵完备的语言，用于通用计算。这是一种低级语言，设计用于编译到 Cairo 虚拟机。
Cairo是专为创建基于STARK的智能合约定制的。Cairo 受到 Rust 的启发，可以让你安全方便地编写合约。
Cairo使你可以在不受信任的机器上计算可信的值。
参考资料
The Cairo Book - The Cairo Programming Language
The Starknet Book - The Starknet Book
The What’s What of the Cairo World - Cairo Language