Rust智能合约养成日记(1)

  • BlockSec
  • 更新于 2022-03-25 17:16
  • 阅读 5376

1. EVM or WASM? 随着Ethereum的普及,我们在谈论智能合约时,往往默认都是利用Solidity语言开发,基于EVM的智能合约。然而,由于Ethereum本身出块时间慢,交易所需手续费高的一些缺...

1. EVM or WASM?

随着Ethereum的普及,我们在谈论智能合约时,往往默认都是利用Solidity语言开发,基于EVM的智能合约。然而,由于Ethereum本身出块时间慢,交易所需手续费高的一些缺点,越来越多的优化技术和新的公链得以推出。而 WASM 则是其中的一个代表性技术。作为一种全新的二进制语法,WASM有着诸多的优点,如指令体积小,运行速度快,并且内存安全。因此,运行在WASM上的智能合约可以大大减少占用的区块链资源,明显的提升出块速度和效率,并且运行时更加稳定,使得用户获得更好的使用体验。

WASM支持多种不同的前端开发语言,包括Rust,C, C++, TypeScript, AssemblyScript 等。考虑到适配以及工具链,并且语言本身的安全性,Rust是非常好的选择之一。


2. BlockSec 的选择

BlockSec的使命是让整个Defi生态更加的安全。因此,我们除了提供审计服务之外,也希望可以从安全开发的角度给予社区更多的支持。基于Rust和WASM的诸多优点,我们决定专门针对这一技术栈给大家带来一系列的分享,也希望大家可以持续的关注我们。我们调研了如今一些比较流行的公链项目,其中NEAR公链也采用了同样的技术栈。NEAR原生支持WASM合约,并且支持Rust语言和AssemblyScript开发智能合约。因此,我们将以NEAR公链为基础,展开我们的分享与讨论


3. 用Rust开发智能合约

Rust语言由Mozilla主导开发,程序编译后的运行速度惊人,且有相当高的内存利用率,并且支持函数式和面向对象的编程风格。也许很多同学还对Rust这门语言比较陌生。不过不用担心,从本期博客开始,BlockSec会跟大家一起拨开Rust的迷雾,让每个人都能利用Rust开发出高效,安全的智能合约。


4. 环境配置

4.1 IDE使用

当我们在学习利用一门新的语言去开发时,选择一个优秀的IDE一定是有必要的。在此,BlockSec推荐大家使用Visual Studio Code 配合 Rust 的插件(例如Rust-analyzer),几乎可以满足大家的日常所需。如果大家有条件,也可以尝试一下 Jetbrains Clion + Rust插件, 学生可以免费使用哦。### 4.2 安装Rust工具链 当有了一个优秀的IDE后,我们自然还需要下载安装Rust。Rust提供了非常简单便捷的安装方法。在Linux系统中, 我们只需要运行如下一行代码,即可自动下载安装Rust。

$ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

安装完毕后,我们可以通过执行 $ rustup --version 来检查安装是否成功。

rustup作为Rust工具链的管理器,提供了安装、删除、更新、选择和管理这些工具链及其相关部件的方法。再此我们需要通过执行如下命令,将WASM (WebAssembly)目标添加到工具链:

$ rustup target add wasm32-unknown-unknown

5.1 Rust的包管理器

随着整个开源社区对Rust的支持,各种各样的第三方库层出不穷。为了更好的管理这些库,Cargo 应运而生。上述的安装命令,也会同时帮大家安装Cargo。Cargo可协助开发者处理诸多任务,例如创建新的Rust项目,下载并编译Rust项目所依赖的库,以及完整地构建整个项目等。

5.2 创建第一个Rust合约项目

当我们准备好开发环境后,首先利用Cargo新建一个合约项目,并命名为StatusMessage。

$ cargo init --lib StatusMessage

该项目的目录树如下:

1.png

5.3 声明一个合约

一个智能合约(Smart Contract)往往需要维护一组合约状态数据。如下一段编写于<span>src/lib.rs</span>的代码声明了一个简单的合约,叫做StatusMessage。 2.png

接下来,我们将仔细的分析上述的五行代码。第1,2行以 # 开头,类似注解。事实上,这是Rust中的一种宏的表现形式。它会接收第3-5行作为输入,根据宏的定义,产生输出。例如,第一行中的 #[near_bindgen]事实上是在near-sdk-macros-version包中通过near_bindgen函数定义,这是利用宏自动生成注入代码的地方(Macros-Auto-Generated Injected Code,简称M.A.G.I.C. )。

如果不理解,没关系。我们只需要知道第1,2行的作用即可。具体的来说,被#[near_bindgen]注解的struct将会成为NEAR上的一个智能合约。而其他的struct只是普通的struct。因此[near_bindgen]是由NEAR开发并且提供给开发者使用的包。而第2行中的#[derive(BorshDeserialize, BorshSerialize)]则是用来做序列化和反序列化,从而将合约的状态可以在链上以二进制格式传输。

第3-5行即为一个名为StatusMessage的结构体,其维护了一个智能合约的状态。而状态的内容在第4行中被描述。这一结构体中只含有一个成员变量,名为records。其类型为LookupMap,这里可以简单的看作一个字典类型。key和value都是普通的字符串类型。

5.4 设定合约默认值

当我们声明了一个合约后,我们往往需要定义其默认值。如下代码设定了合约StatusMessage的默认值。

3.png

其中,第1行声明了 这是对于<span>StatusMessage</span>默认值的一个实现。第2行声明该方法名称为default,返回值为Self。Self在Rust中即表示当前的模块作用域,具体来说,即代表一个<span>StatusMessage</span>实例。而第3-5行即为该实例的定义。由于该实例仅包含records一个类型为<span>LookupMap</span>的变量。通过传入一个二进制数组<span>b"r".to_vec()</span>,即可将<span>LookupMap</span>初始化。其中<span>LookupMap</span>的new方法由NEAR自己定义,<span>b"r".to_vec()</span>表明存储于该<span>LookupMap</span>中键的前缀。

5.5 定义合约方法

当我们用一个结构体定义了合约的状态后,我们还需要定义一系列方法,从而可以通过外部交易,去调用这些暴露出来的方法。如下是两个定义的方法,分别可以修改和获得当前合约中的records值。注意,定义合约的方法时,也需要我们加上 <span>#[near_bindgen]</span>,如第1行所示:

4.png

第2行 impl 关键字表明,我们在对StatusMessage做具体的实现。

第3-6行定义了方法set_status。该函数用来设置当前合约的状态。其中第三个声明了方法名和变量。该函数共有两个变量,分别为 &mut selfmessage: String&mut表示对self的引用,并且可能修改self的内容。而message: String表明了message的类型为String。同时该函数用关键字 pub修饰,注意,只有被pub fn修饰的函数才可以被外部的交易调用,表明其是public。

第4行会定义一个局部变量account_id, 其值通过env::signer_account_id()中获取,表明发起这笔交易签名的用户id。

第5行将account_id做为键,message做为值插入到records中。注意,message是一个String类型的变量,由用户传入。而&message 则表示对message的引用。

第8-10行则声明了另外一个函数名为get_status。不同于set_statusget_status会返回一个None 或者是String类型的值,这里我们用 Option<String>表示。

第9行则是通过查询用户给定的account_id,得到对应的message。


本期总结和预告

这是BlockSec针对Rust合约开发的第一期blog,本期我们讲述了Rust合约的背景,以及如何基于NEAR链去创建一个简单的合约。下一期我们将进一步描述如何利用Rust对我们创建的合约编写单元测试用例,从而调试我们的合约。

点赞 4
收藏 4
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
BlockSec
BlockSec
江湖只有他的大名,没有他的介绍。