T∕CIE 095-2020 区块链智能合约形式化表达
标准编号 T/CIE 095—2020
中文标题 区块链智能合约形式化表达
发布日期 2020年12月21日
实施日期 2021年01月01日
本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。