在TON交易 包括:
- 发送 收到的消息 为了激活智能合同;
- 执行操作 在合同内部;
- 一代人 出发消息 其他参与者.
交易的共同组件#
- 交易所属的账户;
- 逻辑时间 交易;
- 0 或 1 收到的消息;
- 出发消息的N号;
- 账户的初始和最终状况 (包括资产负债);
- 验证人员收费的总金额;
- 详细描述 (类型+中间步骤).
逻辑时间
- 事件的确切顺序 不同步的智能合同系统;
- 每个输出消息都会得到自己的时间;
- 严格增长 对于一个合同的信息;
- 验证器用于排序和处理.
交易类型#
| 类型 | 职位 |
|---|---|
| 通常的 | 处理输入,改变状态,生成输出. |
| 存储 | 收取账户保存费用 (不调用任何代码) |
| Tick | 在每一个小块开始时, |
| Tock | 在精心打造的块结束时 |
| 分离器 (split) | 账户分为 ξ 和 ξ' (共享) |
| 组合 (merge) | 组合帐户 (优化) |
常规交易的阶段#
- 存储阶段 (storage) 收取存放费用;
- 贷款阶段 (credit) 账户会收到收到的信息的金额;
- 计算阶段 (compute) 合同代码被调用到 TVM,以出口码 + 新数据 + 行动列表结束;
- 行动阶段 (action) 执行列表中的操作;
- 跳转阶段 如果断开并设置 跳转标志 → 消息返回发送者.
特殊性#
存储交易
- 在以下条件下被验证器插入:
- 帐户长期未使用;
- 余额不足以支付存储费用;
- 如果资产负债下跌到最低 → 帐户被结代码和数据被哈希替换.
Tick + Tock
- 已保留为 专用系统智能合同;
- 每个单元都会自动调用.
分区
- 分离准备交易 (作为tock) 对于 ξ 作为沙德链块中的最后一个;
- 分区安装交易 对于x'来说,这是指训练.
联合会
- 准备联合会的交易 对于 ξ' → 将状态和平衡转换成构造器;
- 建立一个联合会的交易 对于 ξ,处理消息.