T/CIE 095-2020 区块链智能合约形式化表达

标准编号：T/CIE 095-2020

中文名称：区块链智能合约形式化表达

英文名称：Formal expression of blockchain smart contract

发布部门：中国电子学会

发布日期：2020-12-21

实施日期：2021-01-01

标准状态：现行

标准页数：23页

内容简介：本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。 注： 本文提供的智能法律合约示例及智能合约示例，见附录A。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。