跳到主要内容

Fift 和 TVM 汇编

Fift 是一种基于堆栈的汇编编程语言，它具有 TON 特有的功能，因此可以处理cell。TVM 汇编同样是一种基于堆栈的、特定于 TON 的编程语言，它也可以处理cell。那么它们之间的区别是什么呢？

区别​

Fift 在编译时执行 - FunC 代码被处理后，您的编译器构建智能合约代码 BOC 。Fift 可以有不同的形式：

// tuple primitives
x{6F0} @Defop(4u) TUPLE
x{6F00} @Defop NIL
x{6F01} @Defop SINGLE
x{6F02} dup @Defop PAIR @Defop CONS

Asm.fif 中的 TVM 操作码定义

"Asm.fif" include
<{ SETCP0 DUP IFNOTRET // return if recv_internal
   DUP 85143 INT EQUAL OVER 78748 INT EQUAL OR IFJMP:<{ // "seqno" and "get_public_key" get-methods
     1 INT AND c4 PUSHCTR CTOS 32 LDU 32 LDU NIP 256 PLDU CONDSEL  // cnt or pubk
   }>
   INC 32 THROWIF   // fail unless recv_external
   9 PUSHPOW2 LDSLICEX DUP 32 LDU 32 LDU 32 LDU     //  signature in_msg subwallet_id valid_until msg_seqno cs
   NOW s1 s3 XCHG LEQ 35 THROWIF    //  signature in_msg subwallet_id cs msg_seqno
   c4 PUSH CTOS 32 LDU 32 LDU 256 LDU ENDS  //  signature in_msg subwallet_id cs msg_seqno stored_seqno stored_subwallet public_key
   s3 s2 XCPU EQUAL 33 THROWIFNOT   //  signature in_msg subwallet_id cs public_key stored_seqno stored_subwallet
   s4 s4 XCPU EQUAL 34 THROWIFNOT   //  signature in_msg stored_subwallet cs public_key stored_seqno
   s0 s4 XCHG HASHSU    //  signature stored_seqno stored_subwallet cs public_key msg_hash
   s0 s5 s5 XC2PU   //  public_key stored_seqno stored_subwallet cs msg_hash signature public_key
   CHKSIGNU 35 THROWIFNOT   //  public_key stored_seqno stored_subwallet cs
   ACCEPT
   WHILE:<{
     DUP SREFS  //  public_key stored_seqno stored_subwallet cs _51
   }>DO<{   //  public_key stored_seqno stored_subwallet cs
     8 LDU LDREF s0 s2 XCHG //  public_key stored_seqno stored_subwallet cs _56 mode
     SENDRAWMSG
   }>   //  public_key stored_seqno stored_subwallet cs
   ENDS SWAP INC    //  public_key stored_subwallet seqno'
   NEWC 32 STU 32 STU 256 STU ENDC c4 POP
}>c

wallet_v3_r2.fif

最后一段代码看起来像是 TVM 汇编，而且大部分确实是！这是怎么发生的？

想象一下你正在对一位实习程序员说：“现在在函数末尾添加执行这个、这个和那个的命令”。你的命令最终会出现在实习生的程序中。它们被处理了两次 - 就像这里，大写字母的操作码（SETCP0、DUP 等）同时被 Fift 和 TVM 处理。

你可以向实习生解释高级抽象，最终他会理解并能够使用它们。Fift 也是可扩展的 - 你可以定义自己的命令。事实上，Asm[Tests].fif 就是关于定义 TVM 操作码的。

另一方面，TVM 操作码在运行时执行 - 它们是智能合约的代码。可以把它们看作是你实习生的程序 - TVM 汇编可以做的事情较少（例如，它没有内置的数据签名原语 - 因为 TVM 在区块链中做的一切都是公开的），但它可以真正与其环境互动。

在智能合约中的使用​

[Fift] - 将大型 BOC 放入合约​

如果你使用的是 toncli，这是可能的。如果你使用其他编译器构建合约，可能还有其他方法来包含大型 BOC。 编辑 project.yaml，使得构建智能合约代码时包含 fift/blob.fif：

contract:
  fift:
    - fift/blob.fif
  func:
    - func/code.fc

将 BOC 放入 fift/blob.boc，然后将以下代码添加到 fift/blob.fif：

<b 8 4 u, 8 4 u, "fift/blob.boc" file>B B>boc ref, b> <s @Defop LDBLOB

现在，你可以从智能合约中提取这个 blob：

cell load_blob() asm "LDBLOB";

() recv_internal() {
    send_raw_message(load_blob(), 160);
}

[TVM 汇编] - 将整数转换为字符串​

遗憾的是，尝试使用 Fift 原语进行 int-to-string 转换失败。

slice int_to_string(int x) asm "(.) $>s PUSHSLICE";

原因很明显：Fift 在编译时进行计算，那时还没有 x 可供转换。要将非常量整数转换为字符串切片，你需要 TVM 汇编。例如，这是 TON 智能挑战 3位 参赛者之一的代码：

tuple digitize_number(int value)
  asm "NIL WHILE:<{ OVER }>DO<{ SWAP TEN DIVMOD s1 s2 XCHG TPUSH }> NIP";

builder store_number(builder msg, tuple t)
  asm "WHILE:<{ DUP TLEN }>DO<{ TPOP 48 ADDCONST ROT 8 STU SWAP }> DROP";

builder store_signed(builder msg, int v) inline_ref {
  if (v < 0) {
    return msg.store_uint(45, 8).store_number(digitize_number(- v));
  } elseif (v == 0) {
    return msg.store_uint(48, 8);
  } else {
    return msg.store_number(digitize_number(v));
  }
}

[TVM 汇编] - 低成本的模乘​

int mul_mod(int a, int b, int m) inline_ref {               ;; 1232 gas units
  (_, int r) = muldivmod(a % m, b % m, m);
  return r;
}
int mul_mod_better(int a, int b, int m) inline_ref {        ;; 1110 gas units
  (_, int r) = muldivmod(a, b, m);
  return r;
}
int mul_mod_best(int a, int b, int m) asm "x{A988} s,";     ;; 65 gas units

x{A988} 是根据 5.2 Division 格式化的操作码：带有预乘法的除法，唯一返回的结果是第三个参数的余数。但操作码需要进入智能合约代码 - 这就是 s, 的作用：它将栈顶的切片存储到稍低的构建器中。

编辑此页
最后由 JeanClaude (JC) 于 更新