My Site LogoCKB Docs

最简合约

首先，我们从最简化的 CKB script 开始，了解并尝试整个流程，让我们开始吧.

最简合约

编写合约

CKB VM 是由 RISC-V 指令集编写的，理论上任何可以编译成 RISC-V 的语言都可以作为 CKB 的智能合约语言，这里我们使用 C 来写一个简单的 Demo：

int main(int argc, char* argv[])
{
  if (argc == 3) {
    return -2;
  } else if (argc == 5 ) {
   return -3;
  } else {
   return 0;
  }
}

简单描述下，合约接受参数，如果参数数量等于 3 ，就返回 -2，如果参数数量等于 5，就返回 -3，其他任意参数都可以返回 0.

保存合约，命名为 simple.c。

编译合约

首先，我们需要编译上面写的源码。因为 GCC 已经有了 RISC-V 的上游支持，当然你可以使用官方的 GCC 来构建你的脚本代码。或者你也可以使用我们准备的 docker 镜像，省去了编译 GCC 的麻烦。

$ ls
simple.c
$ sudo docker run --rm -it -v `pwd`:/code nervos/ckb-riscv-gnu-toolchain:xenial bash
root@dc2c0c209dcd:/      # cd /code
root@dc2c0c209dcd:/code  # riscv64-unknown-elf-gcc -Os simple.c -o simple
root@dc2c0c209dcd:/code  # exit
exit
$ ls
simple*  simple.c

得到编译后的可执行文件 simple

$ ll -h
total 8.0K
-rw-rw-rw- 1 root root  140 Apr  6 14:37 simple.c
-rwxrwxrwx 1 root root 5.8K Apr  6 14:46 simple*

就这样，CKB 可以直接将 GCC 编译后的可执行文件作为脚本在链上使用，不用进行进一步的处理。

现在我们就可以在链上部署了。

部署合约

这里我使用的是 Aragon 测试网部署合约，首先，您需要去水龙头领 10000 CKB。因为每隔 3 个小时才能领 5000 CKB，所以这里我用了 2 个账号进行领取，并将它们归集到了一起。

如果您启用了本地 DevChain的话，就可以跳过上述步骤。

注意，我将使用 CKB 的 Ruby SDK。具体的设置方法请参考文档和官方 Ruby SDK 的 README.

pry(main)> wallet.get_balance
=> 999700000000
pry(main)> wallet.address
=> "ckt1qyq9y848cp8dunfmnzpzudd49t2lxl2xatfqx2jys7"


//simple文件在rubySDK的同级目录下


pry(main)> data = File.read("simple")
pry(main)> data.bytesize
=> 5872

为了将脚本部署到 CKB 中，我们只需新建一个 cell ，将 script 代码作为 cell 的 data 部分。

pry(main)> simple_tx_hash = wallet.send_capacity(wallet.address, CKB::Utils.byte_to_shannon(6000), CKB::Utils.bin_to_hex(data),fee:6336)
=> "0xf7454ee2e0f78dc3d263d1e4998845f383247200d60acb36083793eee29584d7"

在这里，我简单地通过向自己发送 CKB 来创建一个新的 cell，确保拥有足够的 capacity 去存放我们的 script。现在我们可以创建一个 cell 包含 simple 代码的 type script 了。

pry(main)> simple_data_hash = CKB::Blake2b.hexdigest(data)
=> "0xcba8ca27dad8a5fdf5c27a762a32204132146a865f84a0b38e51fe09bd3bc965"


pry(main)> simple_type_script = CKB::Types::Script.new(code_hash: simple_data_hash, args: "0x")
=> #<CKB::Types::Script:0x00007fffe8603ef8
 @args="0x",
 @code_hash="0xcba8ca27dad8a5fdf5c27a762a32204132146a865f84a0b38e51fe09bd3bc965",
 @hash_type="data">

我们回顾一下 script 的数据结构:

pub struct Script {
    pub code_hash: H256,
    pub hash_type: ScriptHashType,
    pub args: JsonBytes,
}

我们可以看到，我们没有直接将 script 代码嵌入到 script 数据结构中，而是只包含了代码哈希，也就是实际 script 二进制代码的 blake2b 哈希。由于 simple 脚本会验证参数数量，所以首先我们使用空字节作为 args 部分。

注意我在这里还是忽略了 hash_type，我们将在以后的开发中看到不同的 hash_tpye，现在，让我们在这里先忽略它。

要运行 simple 脚本，我们需要创建一个新的交易，并设置 simple 作为其中一个 Output 的 type script。

pry(main)> tx = wallet.generate_tx(wallet.address, CKB::Utils.byte_to_shannon(1000), fee: 5000)


pry(main)> tx.outputs[0].type = simple_type_script.dup

还有一个步骤：为了让 CKB 定位 simple script，我们需要在 TX deps 中引用包含 simple script 的 cell:

pry(main)> simple_cell_dep = CKB::Types::CellDep.new(out_point: CKB::Types::OutPoint.new(tx_hash: simple_tx_hash, index: 0))
pry(main)> tx.cell_deps << simple_cell_dep.dup

现在我们已经准备好了，可以签名并发送交易了。

pry(main)> tx = tx.sign(wallet.key)
pry(main)> api.send_transaction(tx)
=> "0xf7454ee2e0f78dc3d263d1e4998845f383247200d60acb36083793eee29584d7"

由于我们给的 args 数量满足要求，所以这笔交易可以成功发送。

接下来，你可以动手尝试下发送不同数量 args 的交易，看一下能否签名成功？

答案很有可能是接下来这样的:

CKB::RPCError: jsonrpc error: {:code=>-3, :message=>"InvalidTx(ScriptFailure(ValidationFailure(-3)))"}

总结

所以总结一下，要部署和运行一个脚本作为 type script，我们需要做的是:

  1. 将脚本编译成 RISC-V 可执行二进制文件
  2. 在 Cell 的数据部分部署二进制数据
  3. 建一个 type script 数据结构，用二进制的 blake2b 的哈希值作为代码哈希值，在 args 部分创建脚本代码的任何必要参数
  4. 创建一个新的交易 ，并将 type script 设置在生成的 cell 中。
  5. 将包含type script的 cell 作为交易的 OutPut 之一

这就是部署一个合约，你所需要做的一切！Well Done！

注意事项

虽然我们在这里只谈了 type script，但 lock script 的工作原理是一样的。唯一需要记住的一点是，当你创建一个有特定 lock script 的 cell 时，lock script 不会在这里运行。它只在你花费该 cell 时才会运行。因此，当你创建 cell 时，type script 可以用来创建运行的逻辑，而 lock script 是用来花费未花费 cell 时运行的逻辑。考虑到这一点，请确保你的 lock script 是正确的，否则你可能会在以下情况下丢失 CKB:

· 你的 lock script 有一个错误，即别人可以解锁你的 cell。 · 你的 lock script 有一个错误，没有人（包括你在内）可以解锁你的 cell。

小建议：如果你是首次在 CKB 上开发的话，建议在交易中，始终把你的 script 作为一个 type script 放到你的 Output cell，这样当错误发生时，你会立即知道，而且你的 CKB 始终是安全的。

Edit this page