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

资源信息

标准状态：现行
标准号：T/CIE 095-2020
标准名：区块链智能合约形式化表达
标准英文名：Formal expression of blockchain smart contract
团体名称：中国电子学会
包含专利：是
国际标准分类号：35.060
行业分类：I6490 其他互联网服务
标准层级：团体标准
主要技术内容：本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。 注： 本文提供的智能法律合约示例及智能合约示例，见附录A。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。
起草单位：北京科技大学、北京大学、北京市经济和信息化局、北京市社会公信建设促进会、天津蛟图信息科技有限责任公司、北京航空航天大学、中化能源股份有限公司、北京文章无忧信息科技有限公司、贝壳找房(北京)科技有限公司、京东数字科技集团
起草人：朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华