内部消息
概览
智能合约通过发送所谓的内部消息来相互交互。当内部消息到达其预定目的地时,会代表目的地账户创建一个普通交易,并按照该账户(智能合约)的代码和持久数据的所指定的去处理内部消息。
特别地,这个处理交易可以创建一个或多个出站内部消息,其中一些可能被发送到正在处理内部消息的来源地址。这可以用于创建简单的“客户端-服务器应用程序”,当查询被封装在一个内部消息中并发送到另一个智能合约,该智能合约处理查询并再次作为内部消息发送响应。
这种方法导致需要区分内部消息是作为“查询”、“响应”,还是不需要任何额外处理的(如“简单的资金转移”)。此外,当收到响应时,必须有办法理解它对应于哪个查询。
为了实现这一目标,可以使用以下方法进行内部消息布局(注意TON区块链不对消息体施加任何限制,因此这些确实只是建议)。
内部消息结构
消息体可以嵌入到消息本身中,或者存储在消息引用的单独cell中,如TL-B方案片段所示:
message$_ {X:Type} ... body:(Either X ^X) = Message X;
接收智能合约应至少接受嵌入消息体的内部消息(只要它们适合包含消息的 cell)。如果它接受单独cell中的消息体(使用(Either X ^X)
的right
构造函数),那么入站消息的处理不应依赖于消息体的特定嵌入选项。另一方面,对于更简单的查询和响应来说,完全可以不支持单独cell中的消息体。
内部消息体
消息体通常以以下字段开始:
* 一个32位(大端)无符号整数`op`,用于标识要执行的`操作`,或要调用的智能合约的`方法`。
* 一个64位(大端)无符号整数`query_id`,用于所有查询-响应内部消息,以表明响应与查询相关(响应的`query_id`必须等于相应查询的`query_id`)。如果`op`不是查询-响应的方法(例如,它调用的方法不是发送应答),则可以省略`query_id`。
* 消息体的其余部分对于每个支持的`op`值都是特定的。
带评论的简单消息
如果op
为零,则消息是一个“带评论的简单转移消息”。评论包含在消息体的其余部分中(没有任何query_id
字段,即从第五个字节开始)。如果它不是以字节0xff
开头的,则评论是一个文本评论;它可以“原样”显示给钱包的最终用户(在过滤掉无效和控制字符并检查它是一个有效的UTF-8字符串之后)。
当评论足够长,以至于不适合在一个cell中,不适合的行尾被放置在cell的第一个引用中。这个过程递归地继续,来描述不适合在两个或更多cell中的评论:
root_cell("0x00000000" - 32 bit, "string" up to 123 bytes)
↳1st_ref("string continuation" up to 127 bytes)
↳1st_ref("string continuation" up to 127 bytes)
↳....
同样的格式用于NFT和jetton转移的评论。
例如,用户可以在此文本字段中指明从他们的钱包向另一个用户的钱包进行简单转移的目的。另一方面,如果评论以字节0xff
开头,则其余部分是一个“二进制评论”,不应将其作为文本显示给最终用户(如有必要,只能作为十六进制转储显示)。"二进制评论"的预期用途是,例如,包含商店支付中的购买标识符,由商店的软件自动生成和处理。
大多数智能合约在收到“简单转移消息”时不应执行非平凡的操作或拒绝入站消息。这样,一旦发现op
为零,用于处理入站内部消息的智能合约函数(通常称为recv_internal()
)应立即终止,并显示exit code 0,表示成功终止(例如,如果智能合约没有安装自定义异常处理程序,则会抛出异常0
)。这将导致接收账户被记入消息转移的价,没有任何进一步的影响。
带加密评论的消息
如果op
是0x2167da4b
,那么消息是一个“带加密评论的转移消息”。此消息的序列化方式如下:
输入:
pub_1
和priv_1
- 发送者的Ed25519公钥和私钥,各32字节。pub_2
- 接收者的Ed25519公钥,32字节。msg
- 要加密的消息,任意字节字符串。len(msg) <= 960
。加密算法如下:
使用
priv_1
和pub_2
计算shared_secret
。让
salt
是发送者钱包地址的bas64url表示,isBounceable=1
和isTestnetOnly=0
。选择长度在16到31之间的字节字符串
prefix
,使得len(prefix+msg)
可以被16整除。prefix
的第一个字节等于len(prefix)
,其它字节是随机的。让data = prefix + msg
。让
msg_key
是hmac_sha512(salt, data)
的前16字节。计算
x = hmac_sha512(shared_secret, msg_key)
。让key=x[0:32]
和iv=x[32:48]
。使用AES-256在CBC模式下,
key
和iv
加密data
。构造加密评论:
pub_xor = pub_1 ^ pub_2
- 32字节。这允许每一方在不查询对方公钥的情况下解密消息。msg_key
- 16字节。- 加密的
data
。
消息体以4字节标签
0x2167da4b
开始。然后存储这个加密评论:1. 字节字符串被分成段,并存储在一系列cell`c_1,...,c_k`中(`c_1`是消息体的根)。每个cell(除了最后一个)都有一个对下一个的引用。
2. `c_1`包含多达35字节(不包括4字节标签),其他所有cell包含多达127字节。
3. 这种格式有以下限制:`k <= 16`,最大字符串长度为1024。同样的格式用于NFT和jetton转移的评论,注意应使用发送者地址和接收者地址(不是jetton-钱包地址)的公钥。
学习消息加密算法的示例:
不带评论的简单转移消息
“不带评论的简单转移消息”具有空的body(甚至没有op
字段)。上述考虑也适用于此类消息。注意,此类消息应将其body嵌入到消息cell中。
区分查询和响应消息
我们期望“查询”消息具有高位清零的op
,即在范围1 .. 2^31-1
内,而“响应”消息具有设置了高位的op
,即在范围2^31 .. 2^32-1
内。如果方法既不是查询也不是响应(因此相应的消息体不包含query_id
字段),则应使用“查询”范围内的op
,即1 .. 2^31 - 1
。
处理标准响应消息
有一些带有op
等于0xffffffff
和0xfffffffe
的“标准”响应消息。一般来说,op
的值从0xfffffff0
到0xffffffff
是为这类标准响应保留的。
* `op` = `0xffffffff`表示“操作不支持”。它后面是从原始查询中提取的64位`query_id`,以及原始查询的32位`op`。除了最简单的智能合约外,所有智能合约都应在它们接收到一个未知的`op`查询时返回此错误,`op`范围为`1 .. 2^31-1`。
* `op` = `0xfffffffe`表示“操作不允许”。它后面是原始查询的64位`query_id`,紧接着是从原始查询中提取的32位`op`。
请注意,未知的“响应”(其op
在范围2^31 .. 2^32-1
内)应被忽略(特别是,不应生成op
等于0xffffffff
的响应来回应它们),就像意外的弹回消息(带有“弹回”标志位设置)一样。