标准详情
- 标准名称：区块链智能合约形式化表达
- 标准号：T/CIE 095-2020
- 中国标准分类号：/I6490
- 发布日期：2020-12-21
- 国际标准分类号：35.060
- 实施日期：2021-01-01
- 团体名称：中国电子学会
- 标准分类：其他互联网服务
T/CIE 095-2020 区块链智能合约形式化表达
内容简介
本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。
起草单位
北京科技大学，北京大学，北京市经济和信息化局，北京市社会公信建设促进会，天津蛟图信息科技有限责任公司，北京航天航空大学，中化能源股份有限公司，北京文章无忧信息科技有限公司，贝壳找房（北京）科技有限公司，京东数字科技集团
起草人
朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华。
* 特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。电子文本仅供个人标准化学习、研究使用，不得复制、发行、汇编、翻译或网络传播等。如有侵权，请及时联系我们！
相关推荐
-
现行
-
现行
-
现行
-
现行
-
现行