TON TVM 目标

状态：Research（文档优先候选）

状态：Research（文档优先候选）

候选 target id：ton-tvm

英文权威文档：../../targets/ton-tvm.md

​

结论

TON 不应归类为 Wasm-host 目标。第一版分类应是 TVM / Tolk sourcegen 目标。

TON TVM 目标
  -> Tolk source 或更底层的 TON contract package
  -> 通过 TON tooling 生成 Fift / TVM code
  -> cell/slice storage 和 TL-B serialization
  -> message handlers 和 get methods
  -> action list / outbound messages

当前 TON 文档将 Tolk 作为推荐的 smart-contract language，并将 Acton 作为推荐的一体化 toolchain。FunC/Fift 的历史知识仍然重要，因为 TVM 与 cells 仍是执行和数据基底。

​

对 ProofForge 的含义

ton-tvm 应先作为文档优先的 Research candidate。第一步不直接加入 ProofForge.Target.Registry。

目标特有问题包括：

• contract state 序列化到 cells，而不是 slots 或 account resources；
• entrypoint 是 message handler 和 get method；
• inbound message 可以是 internal 或 external，并带 TON 特有 body、value、bounce 和 sender 语义；
• outbound effects 通过 action list 表达，尤其是 send message；
• serialization / ABI 表面是 TL-B / cell-oriented；
• gas 和 fee 与 TVM execution、storage、forwarding 和 message handling 绑定；
• account lifecycle 和 execution phases 会影响行为；
• sharding 和异步 messaging 使同步 cross-contract 假设不安全；
• wallet、jetton、NFT 等标准合约是目标原生表面。

​

候选能力

以下能力应先作为候选项保留在文档中：

候选能力	含义
storage.cell	contract state 编码为 cells、slices、builders。
abi.tlb	构建输出或验证 TL-B/cell layout metadata。
message.recv	contract 处理 internal 或 external inbound messages。
message.send	contract 通过 action semantics 发出 outbound messages。
method.get	contract 暴露 off-chain get methods。
action.list	target effects 累积在 TVM action lists 中。
state.init	deploy 需要 code/data StateInit handling。
account.status	account lifecycle/status 影响行为。
gas.tvm	TVM gas 和 fee model 显式存在。
asset.jetton	contract 集成 TON jetton/token standards。

​

两条接入路线

1. Tolk package sourcegen：先生成或包装 Tolk contract，用推荐 TON toolchain 验证。这是最保守路线。
2. Lower-level TVM/cell IR：在 sourcegen spike 澄清 contract shape 后，再考虑更直接地目标 TVM 与 cell/slice serialization IR。

​

第一阶段非目标

• 不把 ton-tvm 加入代码 registry。
• 不把 TON 归类为 Wasm-host、EVM、Move 或 ZK circuit sourcegen。
• 不把 TON storage 当成 EVM slot。
• 不把 message send 当成同步 cross-contract call。
• 不把 get method 和 message handler 当成同一种 entrypoint。
• 不用 generic JSON ABI 隐藏 cell / TL-B layout。