01.HelloCairo

title: 01. Hello Cairo
tags:
  - cairo
  - starknet​

WTF Cairo极简教程: 1. Hello Cairo

我最近在学cairo-lang，巩固一下细节，也写一个WTF Cairo极简教程，供小白们使用。教程基于cairo 2.2.0版本。

推特：@0xAA_Science｜@WTFAcademy_

WTF Academy 社群：Discord｜微信群｜官网 wtf.academy

所有代码和教程开源在 github: github.com/WTFAcademy/WTF-Cairo

Cairo 简介

Cairo 是以太坊ZK-Rollup扩容方案 Starknet 上智能合约的编程语言。它也用于编写可证明程序。Cairo主要有两个特点：

1. ZK友好: Cairo是图灵完备的通用可证明计算的编程语言，可以编译为 Stark 可证明程序。

2. 难学: Cairo 学习曲线陡峭；并且现在属于开发早期，每个版本都会有很大改变。

目前 Cairo 版本为 2.2.0，基于 Rust，所以语法也很像 Rust，与之前的 0.x 版本有很大不同。学习 Rust 对学习 Cairo 有很大帮助，Rust中文资料汇总见链接。

开发工具

由于目前Cairo仍处于早期，工具还在开发中，并未成熟。我们可以选择使用本地工具scarb或者在线工具Starknet Remix来编译合约。

使用 Scarb

为了使用scarb，我们需要安装rust和scarb。

1. 下载 Rust

2. 安装 Rust:

   rustup override set stable && rustup update
   ​

3. 确认 Rust 被正确安装:

   cargo test
   ​

   确认Cagro被正确安装：

   cargo new project
   cd project
   cargo test
   ​

4. 安装scarb，你可以阅读安装文档

   如果你使用的系统是Linux或Mac，可以用下面的命令行安装

   curl --proto '=https' --tlsv1.2 -sSf https://docs.swmansion.com/scarb/install.sh | sh
   ​

   如果你使用的系统是Windows，需要进行手动安装。下载对应的安装包，并将bin目录添加到环境变量Path中

   验证scarb被成功安装

   scarb --version
   ​

5. 创建新项目项目（project和directory可以自定义）:

   scarb new project/directory
   ​

6. 编译合约：

   scarb build
   ​

7. 如果要构建CASM，需要在Scarb.toml中添加:

   [lib]
   casm = true
   ​

8. 如果要编译Starknet合约，需要在Scarb.toml中添加:

   [dependencies]
   starknet = ">=2.6.0"
   
   [[target.starknet-contract]]
   ​

更多Scarb用法见官网文档。

编译并部署运行

1. 创建新项目：在你想存储代码的任何位置，执行以下命令：

   scarb new hello_scarb
   cd hello_scarb
   ​

   在这个项目中有两个文件和一个目录：一个Scarb.toml文件、包含lib.cairo文件的src目录和一个.gitignore文件。同时会初始化一个新的Git存储库。

2. 对于lib.cairo文件。让我们清空其内容，并添加以下一行代码：

   mod hello_scarb;
   ​

   声明引用了"hello_scarb"的模块。

3. 在src目录下创建一个名为hello_scarb.cairo的新文件，实现"hello_scarb"模块的细节。

   fn main() {
       println!("Hello, World!");
   }
   ​

4. 构建项目：在hello_scarb目录中，输入以下命令构建项目:

   $ scarb build
     Compiling hello_scarb v0.1.0 (D:\hello_scarb\Scarb.toml)
       Finished release target(s) in 1 second
   ​

   这个操作会生成一个名为target的目录以及一个Scarb.lock的文件，让我们先忽略他们

5. 输出结果:在hello_scarb目录中，输入以下命令:

   $ scarb cairo-run
     Compiling hello_scarb v0.1.0 (D:\hello_scarb\Scarb.toml)
       Finished release target(s) in 1 second
        Running hello_scarb
   Hello, World!
   Run completed successfully, returning []
   ​

使用 Starknet Remix

1. 进入Remix官网: remix.ethereum.org

2. 进入扩展市场，搜索Starknet，安装它。


Starknet合约 Hello Cairo

Starknet合约与Cairo程序最大的不同之处在于，Cairo程序必须有fn main(){}作为程序的入口点，部署在 Starknet 网络上的合约本质上是由定序器运行的程序，因此可以访问 Starknet 的状态。合约没有main函数，只有一个或多个函数可以作为入口点。并且Starknet合约可以访问和修改Starknet状态。

下面，我们来写第一个Starknet合约：HelloCairo.cairo。

#[starknet::contract]
mod HelloCairo {
    #[storage]
    struct Storage {}

    #[external(v0)]
    fn hello_cairo(self: @ContractState) -> felt252 {
        return 'Hello Cairo!';
    }
}
​

我们拆开分析，学习cairo合约源文件的结构：

第1行利用 #[starknet::contract] 声明了这段代码为 Starknet 合约。如果不声明，则不能部署在 Starknet 上。

#[starknet::contract]
​

第2行利用 mod 模块关键字创建了合约，名为 HelloCairo。这与 Rust 中的 mod 类似，是一系列元素的集合，包括结构体、函数等。

mod HelloCairo {
}
​

第3-4行，我们声明了合约的状态变量。在Cairo中，即使合约没有状态变量，也需要声明。

    #[storage]
    struct Storage {}
​

之后，我们写了一个函数 hello_cairo。第6行，我们用 #[external(v0)] 属性修饰这个函数。与solidity中的类似external类似，该函数可以被外部调用。

#[external(v0)]
​

第7-9行我们声明了 hello_cairo 函数。它只有一个参数self: @ContractState，表示它是view函数。它有一个返回值，类型为felt252：felt（field element，域元素）是 cairo 的基本类型之一，我们会在之后的章节更详细的介绍它。在函数体中，我们将返回值设为用felt252表示的短字符串（长度小于32个字符） Hello Cairo!。

  fn hello_cairo(self: @ContractState) -> felt252 {
      return 'Hello Cairo!';
  }
​

使用 Starknet Remix 部署合约

1. 选择HelloCairo.cairo合约，点击编译键（Compile）进行编译。


2. 宣称(declare)该合约


3. 部署合约。


3. 进行交互，请求'hello_cairo'函数。


总结

这一讲，我们简单介绍了Cairo语言，并编译了第一个Cairo智能合约--Hello Cairo。之后，我们将继续 Cairo 之旅！

Cairo 资料参考

1. Cairo Book
2. Cairo官方文档（英文）
3. Starkling Cairo1
4. Starknet Cairo 101
5. Starknet by Example(中文)