标准编号:T/CIE 095-2020
标准名称:区块链智能合约形式化表达
发布部门:中国电子学会
起草单位:北京科技大学,北京大学,北京市经济和信息化局,北京市社会公信建设促进会,天津蛟图信息科技有限责任公司,北京航天航空大学,中化能源股份有限公司,北京文章无忧信息科技有限公司,贝壳找房(北京)科技有限公司,京东数字科技集团
发布日期:2020-12-21
实施日期:2021-01-01
标准状态:现行
标准格式:PDF
文件大小:368.86 KB
内容简介
本文件规定了智能合约语言的结构和语法,界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用,也可为区块链厂商和用户构建智能合约平台参考。
下载地址