Aleo隐私智能合约编程__第一章__Aleo SDK的Hello World程序-Toy模板网

这篇具有很好参考价值的文章主要介绍了Aleo隐私智能合约编程__第一章__Aleo SDK的Hello World程序。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

Aleo项目的组成

Aleo 是第一个保护隐私的、可编程自定义隐私智能合约程序、可以链下执行隐私智能合约程序计算的区块链项目。
SnarkVM 是隐私智能合约程序的执行环境。功能类似于以太坊虚拟机。
SnarkOS 是隐私智能合约程序的去中心化操作系统。功能类似于以太坊公链。
Aleo SDK 是一个开发者框架，使零知识应用的开发变得更简单。开发者通过 Aleo SDK 可以快速地创建一个新账户，制作一笔交易，广播交易。
Aleo Leo 是隐私智能合约程序的高级编程语言，集成了Aleo SDK。

Aleo SDK 安装

通过宝箱仓库安装

# 官方代码在快速迭代中，更加推荐通过源码进行安装
cargo install aleo

通过编译源码安装

# 下载源码 
git clone https://github.com/AleoHQ/aleo.git
# 进入源码目录
cd aleo
# 安装 aleo sdk 程序 # rust安装教程 https://www.rust-lang.org/tools/install
cargo install --path .
# 查看是否安装成功
aleo -h

Aleo SDK 指令

# 创建一个包
aleo new 包名字
# 自动在${包名字}文件夹下生成两个文件
# main.aleo 代码文件
# program.json 程序配置文件

# 生成一个钱包账户
aleo account new
# Private Key  APrivateKey1zkpDStSQfu6maFgSro5ePXax8xS4MmBj7qA98FBKR8xm1ZU
# View Key  AViewKey1reh7CfNpCyo77UXKx46kjLL7KAPntSDVA2BNjBPwt7of
# Address  aleo1zjnre3esly55gkeqlet5xvklvwqntfpcxkdac5l8wk0sdyp35ygq7ulxk4

# 编译程序生成证明
aleo build
# build 后生成的文件
# 1. AVM虚拟机运行的字节码文件 mian.avm
# 2. 每一个函数都会生成一个证明者文件 函数名.prover
# 3. 每一个函数都会生成一个验证者文件 函数名.verifier

# 远程编译程序生成证明 # 具体如何填写${ENDPOINT}，目前还未知
aleo build --endpoint ${ENDPOINT}

# 运行程序
aleo run ${FUNCTION} ${INPUTS}

# 本地运行一个开发节点，并且部署程序
aleo node start
# 本地运行一个开发节点，不部署程序
aleo node start --nodeploy

# 清除build结果
aleo clean

Aleo SDK 的Hello World程序

编写一个函数，从外部输入两个数字，然后进行相加，最后输出结果。

aleo new aleo_hello
cd aleo_hello
vim main.aleo # 输入下面的代码片段
aleo run add_fun 2021u32 1u32 # 执行add_fun相加函数，传入2021和1两个数字
aleo node start # 本地运行一个开发节点，并且部署运行程序

代码片段

program aleo_hello.aleo;

// 运行方式 aleo run add_fun 2021u32 1u32
function add_fun: // 通过 function 关键字定义一个函数
    input r0 as u32.public; // 定义一个输入参数r0，类型为u32，可见性为public
    input r1 as u32.private;
    add r0 r1 into r2; // 调用sdk的函数add
    output r2 as u32.private; // 定义一个输出参数r2，类型为u32，可见性为private

Aleo SDK 本地开发节点API

# 查看最新的块高
curl http://localhost:4180/testnet3/latest/block/height

# 通过块高高度查看账本
curl http://localhost:4180/testnet3/block/{height}

# 查看最后一个块高的哈希
curl http://localhost:4180/testnet3/latest/block/hash

# 通过ViewKey查看records
# curl --location --request GET 'localhost:4180/testnet3/records/all' -H 'Content-Type: application/json' -d '"ViewKey"'
curl --location --request GET 'localhost:4180/testnet3/records/all' -H 'Content-Type: application/json' -d '"AViewKey1hU73JxupzRh7uEnynsXgUQL3neSJcJZ2dMBkCPh97zoZ"' | jq
curl --location --request GET 'localhost:4180/testnet3/records/all' -H 'Content-Type: application/json' -d '"AViewKey1eZqsm6igutMTUbnwWw8vPQG5ceJruyYQs8XwTmNQdMJf"' | jq

# This endpoint retrieves only the spent records belonging to a given ViewKey
curl --location --request GET 'localhost:4180/testnet3/records/spent' -H 'Content-Type: application/json' -d '"AViewKey1hU73JxupzRh7uEnynsXgUQL3neSJcJZ2dMBkCPh97zoZ"' | jq

# This endpoint retrieves only the unspent records belonging to a given ViewKey.
curl --location --request GET 'localhost:4180/testnet3/records/unspent' -H 'Content-Type: application/json' -d '"AViewKey1hU73JxupzRh7uEnynsXgUQL3neSJcJZ2dMBkCPh97zoZ"' | jq