Zilliqa Scilla入门
Hello World
我们先来编写一份符合以下规范的经典HelloWorld.scilla合约：
- 有一个由合约的创建者初始化的不变变量
owner。该变量初始化后，其值就不能改变。owner的类型是Address。 - 有一个初始化为
""的可变变量welcome_msg，该变量为String类型。这里的可变性是指即使在部署合约之后也可以修改变量的值。 - 只有
owner才能通过接口setHello修改welcome_msg。该接口需要msg（String类型）作为输入方，并允许owner设置发送给msg的welcome_msg的值。 - 有一个
getHello接口可获取到welcome_msg。getHello不接收任何内容输入。
定义合约及（不）可变字段
使用contract声明合约，让合约正式生效。contract后面跟着合约名称，如例子中的HelloWorld。因此，以下代码声明了一个HelloWorld合约。
contract HelloWorld注意
目前，Scilla合约只能包含单个合约声明，因此contract后面的任何字符都是合约声明的一部分。换句话说，没有明确的关键字来声明合约定义的结束点。
合约声明后，接着要声明不可变变量，由()来定义。
每个不可变变量以下列方式声明：vname: vtype，其中vname是变量名称，vtype是变量类型。不可变变量用,分隔。根据规范，合约将只有一个不可变的类型变量owner，类型为Address。参阅如下代码。
(owner: Address)合约中的可变变量通过field声明。
每个可变变量都按以下方式声明：
field vname : vtype = init_valvname是变量名称，vtype是它的类型，init_val 是变量的初始值。
HelloWorld合约带有一个可变参数welcome_msg（String类型），初始化为""。
代码如下：
field welcome_msg : String = ""至此，HelloWorld.scilla合约形式如下，其中包含合约名称及其可变/不可变变量：
contract HelloWorld(owner: Address)
field welcome_msg : String = ""注意
除了这些字段之外，Scilla中的合约都有一个隐式声明的可变字段_balance（在合约创建时初始化），这代表了合约范围内的资金量。该字段可在合约过程中免费读取，但只能在显式转账时才能修改。
定义接口（即Transitions）
类似setHello的接口在Scilla中称为transitions。Transitions类似于其他语言中的函数或方法。
注意
术语transition来自Scilla的通信自动机里的基础计算模型。Scilla的合约是一种带有状态的自动机。自动机的状态可以通过transition来改变，即transition接收先前的状态和输入信息，然后变为新的状态。查看 维基百科条目 以了解transition系统的更多信息。
transition使用transition来声明。transition用end表示结束。transition 后面为transition名称，如例子中的setHello。名称后面是用()括起来的参数。每个参数用,分隔，声明格式如下：vname : vtype。按照规范，setHello只需要一个string类型的msg参数。代码如下：
transition setHello (msg : String)然后是transition的主体。例如，在transitionsetHello (msg : String)中设定welcome_msg，代码如下：
transition setHello (msg : String)
is_owner = builtin eq owner _sender;
match is_owner with | False => msg = {_tag : "Main"; _recipient : _sender; _amount : Uint128 0; code : not_owner_code};
msgs = one_msg msg;
send msgs
| True => welcome_msg := msg;
msg = {_tag : "Main"; _recipient : _sender; _amount : Uint128 0; code : set_hello_code};
msgs = one_msg msg;
send msgs
end
end首先看代码第二行，用builtin eq owner _sender来判断owner是否正确。builtin为内置命令。
为了比较两个账户地址，我们使用了builtin方法的eq。这返回布尔值True或False。
注意
Scilla在内部定义了一些具有特殊语义的变量。这些特殊变量通常以_为前缀。例如，_sender指的是当前合约调用的帐户地址。
根据比较结果，transition根据匹配结果进入不同的分支路径，语法如下：
match expr with| x => expr_1
| y => expr_2
end上面代码检查expr是符合x还是y。如果expr 符合x，那么下一步将是expr_1，如果expr 符合y，那么下一步将是expr_2。简单地说，上面的代码实现了一条 if-then-else指令。
调用者不是owner的情况
如果调用者不是owner，则transition会走 False分支，此时合约会输出一条消息。Scilla为输出消息定义了一种特殊类型 Message。输出消息包含需要调用的其他合约信息（作为当前调用的一部分）或需要返回的值。
在这种情况下，输出消息是msg中的一个错误代码not_owner_code。具体来说，这种情况下的输出消息是：
msg = {_tag : "Main"; _recipient : _sender; _amount : Uint128 0; code : not_owner_code};输出消息参数格式为vname : value组成，用;分隔，其范围在{}之内。每个输出消息必须有三个必填字段：_tag、 _recipient 、_amount，字段顺序无要求。_recipient是消息发送地址。_tag是_recipient里要调用的transition的名称，_amount是要转移给_recipient的ZIL数量。
除了这些必填字段，消息可能还有其他字段。在这个示例中，消息使用code字段来报告错误消息。
send指令能承载一系列 Message类型的内容，因此会用它来发送消息。在当前示例中，项内容仅有一个消息。总而言之，以下代码将创建并发送一条消息。
msgs = one_msg msg;
send msgsone_msg是一个实用函数，它允许创建消息列表并插入至msg列表中。
调用者是owner的情况
如果调用者是owner，则合约允许调用者设定可变变量welcome_msg的值，并作为msg的输入参数。代码如下：
welcome_msg := msg;注意
写入可变参数是通过:=完成的。
在上述例子中，合约使用set_hello_code向调用者发送了一条消息。
库
Scilla合约可能带有一些辅助库，包含一些合约的纯功能（没有状态管理）组件。库会在合约的最前面使用library加上库名称来声明。库声明如下例所示：
library HelloWorld在这个示例中，库将使用标准用法let x = y in expr来定义错误代码。
let not_owner_code = Int32 1let set_hello_code = Int32 2该库还可以包括实用函数。例如，one_msg函数创建了一个包含Message类型项的列表 ，如下所示：
let one_msg =
fun (msg : Message) =>
let nil_msg = Nil {Message} in Cons {Message} msg nil_msg在此阶段，合约代码如下：
library HelloWorld
let one_msg =
fun (msg : Message) =>
let nil_msg = Nil {Message} in Cons {Message} msg nil_msg
let not_owner_code = Int32 1 let set_hello_code = Int32 2
contract HelloWorld
(owner: Address)
field welcome_msg : String = ""
transition setHello (msg : String)
is_owner = builtin eq owner _sender;
match is_owner with | False => msg = {_tag : "Main"; _recipient : _sender; _amount : Uint128 0; code : not_owner_code};
msgs = one_msg msg;
send msgs
| True => welcome_msg := msg;
msg = {_tag : "Main"; _recipient : _sender; _amount : Uint128 0; code : set_hello_code};
msgs = one_msg msg;
send msgs
end
end最后
现在可以添加第二个transitiongetHello()，让所有调用者都能收到welcome_msg。声明方法类似setHello (msg : String)，而getHello()不用带任何参数。
transition getHello ()
r <- welcome_msg;
msg = {_tag : Main; _recipient : _sender; _amount : 0; msg : r};
msgs = one_msg msg;
send msgsend注意
将内容传入可变变量的操作符为<-。即示例中的r <- welcome_msg。
下面给出了理想的完整合约范式：
(* HelloWorld contract *)
(***************************************************)
(* Associated library *)
(***************************************************)
library HelloWorld
let one_msg =
fun (msg : Message) =>
let nil_msg = Nil {Message} in Cons {Message} msg nil_msg
let not_owner_code = Int32 1let set_hello_code = Int32 2
(***************************************************)
(* The contract definition *)
(***************************************************)
contract HelloWorld
(owner: Address)
field welcome_msg : String = ""
transition setHello (msg : String)
is_owner = builtin eq owner _sender;
match is_owner with | False => msg = {_tag : "Main"; _recipient : _sender; _amount : 0; code : not_owner_code};
msgs = one_msg msg;
send msgs
| True => welcome_msg := msg;
msg = {_tag : "Main"; _recipient : _sender; _amount : 0; code : set_hello_code};
msgs = one_msg msg;
send msgs
end
end
transition getHello ()
r <- welcome_msg;
msg = {_tag : Main; _recipient : _sender; _amount : 0; msg : r};
msgs = one_msg msg;
send msgs
end众筹
本节将介绍一个简单众筹活动的合约。在这个众筹中，项目发起人希望通过社区捐款筹集资金。
假设发起人（owner）希望在预定周期（max_block）内运行该活动。发起人还希望能设定一个最低筹集金额（goal），否则项目无法启动。因此合约有三个不可变的变量owner， max_block和goal。
如果所有者在规定时间内募集到目标金额，则该众筹被视为成功。如果众筹不成功，则捐款将会退还给所有项目支持者。合约包含两个可变变量：捐献者的账户地址和捐献金额组成的键值对backer，以及一个布尔值标志funded，指示在活动结束后发起人是否已获得了资金。
合约包含三个transition：捐献者为众筹捐款的方法Donate ()，只允许发起人owner宣布众筹金额且获取金额的方法GetFunds ()，允许捐献者在活动不成功时索回捐款的方法ClaimBack()。
完整的合约如下：
(***************************************************)
(* Associated library *)
(***************************************************)
library Crowdfunding
let andb =
fun (b : Bool) =>
fun (c : Bool) =>
match b with | False => False
| True => match c with | False => False
| True => True
end
end
let orb =
fun (b : Bool) => fun (c : Bool) =>
match b with | True => True
| False => match c with | False => False
| True => True
end
end
let negb = fun (b : Bool) =>
match b with | True => False
| False => True
end
let one_msg =
fun (msg : Message) =>
let nil_msg = Nil {Message} in Cons {Message} msg nil_msg
let check_update =
fun (bs : Map Address Int) =>
fun (_sender : Address) =>
fun (_amount : Int) =>
let c = builtin contains bs _sender in match c with | False => let bs1 = builtin put bs _sender _amount in Some {Map Address Int} bs1
| True => None {Map Address Int}
end
let blk_leq =
fun (blk1 : BNum) =>
fun (blk2 : BNum) =>
let bc1 = builtin blt blk1 blk2 in let bc2 = builtin eq blk1 blk2 in orb bc1 bc2
let accepted_code = 1let missed_deadline_code = 2let already_backed_code = 3let not_owner_code = 4let too_early_code = 5let got_funds_code = 6let cannot_get_funds = 7let cannot_reclaim_code = 8let reclaimed_code = 9
(***************************************************)
(* The contract definition *)
(***************************************************)
contract Crowdfunding
(* Parameters *)
(owner : Address,
max_block : BNum,
goal : Int)
(* Mutable fields *)
field backers : Map Address Int = Emp Address Int
field funded : Bool = False
transition Donate ()
blk <- & BLOCKNUMBER;
in_time = blk_leq blk max_block;
match in_time with | True => bs <- backers;
res = check_update bs _sender _amount;
match res with | None => msg = {_tag : Main; _recipient : _sender; _amount : 0;
code : already_backed_code};
msgs = one_msg msg;
send msgs
| Some bs1 =>
backers := bs1;
accept;
msg = {_tag : Main; _recipient : _sender; _amount : 0;
code : accepted_code};
msgs = one_msg msg;
send msgs
end
| False => msg = {_tag : Main; _recipient : _sender; _amount : 0;
code : missed_dealine_code};
msgs = one_msg msg;
send msgs
end
end
transition GetFunds ()
is_owner = builtin eq owner _sender;
match is_owner with | False => msg = {_tag : Main; _recipient : _sender; _amount : 0;
code : not_owner_code};
msgs = one_msg msg;
send msgs
| True => blk <- & BLOCKNUMBER;
in_time = blk_leq blk max_block;
c1 = negb in_time;
bal <- balance;
c2 = builtin lt bal goal;
c3 = negb c2;
c4 = andb c1 c3;
match c4 with | False => msg = {_tag : Main; _recipient : _sender; _amount : 0;
code : cannot_get_funds};
msgs = one_msg msg;
send msgs
| True => tt = True;
funded := tt;
msg = {_tag : Main; _recipient : owner; _amount : bal;
code : got_funds_code};
msgs = one_msg msg;
send msgs
end
end
end
(* transition ClaimBack *)
transition ClaimBack ()
blk <- & BLOCKNUMBER;
after_deadline = builtin blt max_block blk;
match after_deadline with | False => msg = {_tag : Main; _recipient : _sender; _amount : 0;
code : too_early_code};
msgs = one_msg msg;
send msgs
| True => bs <- backers;
bal <- _balance;
(* Goal has not been reached *)
f <- funded;
c1 = builtin lt bal goal;
c2 = builtin contains bs _sender;
c3 = negb f;
c4 = andb c1 c2;
c5 = andb c3 c4;
match c5 with | False => msg = {_tag : Main; _recipient : _sender; _amount : 0;
code : cannot_reclaim_code};
msgs = one_msg msg;
send msgs
| True => res = builtin get bs _sender;
match res with | None => msg = {_tag : Main; _recipient : _sender; _amount : 0;
code : cannot_reclaim_code};
msgs = one_msg msg;
send msgs
| Some v =>
bs1 = builtin remove bs _sender;
backers := bs1;
msg = {_tag : Main; _recipient : _sender; _amount : v;
code : reclaimed_code};
msgs = one_msg msg;
send msgs
end
end
end
end