T/CIE 095—2020区块链智能合约形式化表达.pdf，行业分类其他互联网服务。
内容简要 本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。…
