标准号T/CIE 095—2020状态
发布时间：2020年12月21日
实施时间：2021年01月01日
区块链智能合约形式化表达基本信息
标准号：T/CIE 095—2020
团体名称：中国标准化协会
主要技术内容：本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。
中国标准分类号：I6490 其他互联网服务
国际标准分类号：35.060
发证机关：中华人民共和国民政部
行业分类：
标准名称：区块链智能合约形式化表达