从代币接口到代币语义：实现无关代币规范的形式化组合与一致性模型
From Token Interfaces to Token Semantics: A Formal Composition and Conformance Model for Implementation-Neutral Token Specifications
- InterWork Alliance
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文提出代币分类框架（TTF），通过类型化语义组合模型和分层一致性模型，实现独立于平台的代币语义形式化规范、验证与互操作。
AI中文摘要：
ERC-20、ERC-721和ERC-1155等数字代币标准对区块链的采用至关重要，因为它们标准化了可调用的接口。然而，接口标准化并未完全规定代币的含义。两个实现可能暴露相同的转账函数，但对供应、可分割性、赎回、取消、证据、治理和生命周期终结性编码了不同的假设；相反，两个语义等价的代币可能在不同的账本上并通过不同的交易模型实现。本文提出了InterWork Alliance代币分类框架（TTF），作为实现无关代币规范的类型化语义组合模型。我们形式化了TTF构件、代币公式、行为和属性集组合、良构约束，以及涵盖公式、构件、消息、状态和迹一致性的分层一致性模型。我们进一步定义了一个参考验证程序，并展示了平台无关的控制消息如何引发一致性义务和实现测试。该模型通过文档代币、仓单和碳/数字MRV案例研究以及接口标准单独无法暴露的代表性无效组合进行了分析评估。分析表明，代币语义可以独立于平台绑定进行指定、比较、验证、映射和治理，为跨智能合约平台、许可账本和共享状态系统的更可靠代币互操作性提供了基础。
英文摘要：
Digital-token standards such as ERC-20, ERC-721, and ERC-1155 have been essential to blockchain adoption because they standardize callable interfaces. Interface standardization, however, does not fully specify token meaning. Two implementations may expose the same transfer function while encoding different assumptions about supply, divisibility, redemption, cancellation, evidence, governance, and lifecycle finality; conversely, two semantically equivalent tokens may be implemented on different ledgers and through different transaction models. This paper presents the InterWork Alliance Token Taxonomy Framework (TTF) as a typed semantic composition model for implementation neutral token specifications. We formalize TTF artifacts, token formulas, behavior and property-set composition, well-formedness constraints, and a layered conformance model covering formula, artifact, message, state, and trace conformance. We further define a reference validation procedure and show how platform neutral control messages can induce conformance obligations and implementation tests. The model is evaluated analytically through document-token, warehouse-receipt, and carbon/digital-MRV case studies, together with representative invalid compositions that interface standards alone do not expose. The analysis shows that token semantics can be specified, compared, validated, mapped, and governed independently of platform binding, providing a foundation for more reliable token interoperability across smart contract platforms, permissioned ledgers, and shared-state systems.
