当前位置： 首页 > 区块链智能合约形式化表达

区块链智能合约形式化表达现行

Formal expression of blockchain smart contract

标准号：T/CIE 095—2020

获取原文如何获取原文？问客服获取原文，即可享受本标准状态变更提醒服务！

基本信息

标准号：T/CIE 095—2020

发布时间：2020-12-21

实施时间：2021-01-01

首发日期：

起草人：朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华。

标准分类：程序语言

ICS分类：信息技术用语言

提出单位：北京科技大学

起草单位：北京科技大学，北京大学，北京市经济和信息化局，北京市社会公信建设促进会，天津蛟图信息科技有限责任公司，北京航天航空大学，中化能源股份有限公司，北京文章无忧信息科技有限公司，贝壳找房（北京）科技有限公司，京东数字科技集团

归口单位：中国电子学会区块链分会技术

发布部门：中国电子学会

标准简介

本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。

替代情况

会员注册/登录后查看详情

引用标准

会员注册/登录后查看详情

本标准相关公告

会员注册/登录后查看详情

采标情况

会员注册/登录后查看详情

推荐检测机构

申请入驻

暂未检测到相关机构，邀您申请入驻~

推荐认证机构

申请入驻

暂未检测到相关机构，邀您申请入驻~

推荐培训机构

申请入驻

暂未检测到相关机构，邀您申请入驻~

区块链智能合约形式化表达 现行