Aleo隐私智能合约编程__第二章__Aleo SDK基本语法

序

1. Aleo SDK 还在快速迭代中，如有不正确的地方，感谢指正。
2. Aleo SDK 的安装文档和入门介绍请查看上一章节 http://t.csdn.cn/FsiKM

关键字

1. import 导入一个Aleo程序作为函数库来进行调用，所导入的程序文件必须在imports目录下。
2. program 声明一个隐私智能合约程序，隐私智能合约程序程序类似于Rust里的宝箱名字，需要在宝箱仓库里全局唯一。
3. closure 声明一个闭包函数，闭包函数不能直接执行，必须被其它函数调用。
4. function 声明一个函数，可以在在命令行直接执行。
5. input 定义一个函数的输入参数。
6. output 定义一个函数的输出参数。
7. record 声明一个数据结构，用于在链上存储状态，必须包含两个字段 owner 和 gates。
8. interface 声明一个接口，类似于Rust语言里的结构体。
9. cast 创建一个新的指定数据类型的实例。
10. mapping 声明一个KV健值对。
11. increment 给KV健值对的值执行加法操作。
12. decrement 给KV健值对的值执行减法操作。
13. finalize 终局化。将record数据注册进链上，链上原有的record被销毁新的record被创建。

数据类型

1. 内置的数据类有 boolean field group i8 i16 i32 i64 i128 u8 u16 u32 u64 u128 scalar string。
2. 可以通过record和