T/CIE 095-2020 标准详情
T/CIE 095-2020
现行
区块链智能合约形式化表达
Formal expression of blockchain smart contract
标准内容导航
标准状态
标准信息
主要技术内容
本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。 注： 本文提供的智能法律合约示例及智能合约示例，见附录A。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。
起草单位
北京科技大学、北京大学、北京市经济和信息化局、北京市社会公信建设促进会、天津蛟图信息科技有限责任公司、北京航空航天大学、中化能源股份有限公司、北京文章无忧信息科技有限公司、贝壳找房(北京)科技有限公司、京东数字科技集团
起草人
朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华
相似标准推荐
地方标准
DB53/T 1409-2025
现行
智能制造区块链数据服务安全规范
行业标准
YD/T 4388-2023
现行
区块链系统性能测试方法
地方标准
DB61/T 1283-2019
现行
区块链安全测评 指标体系
T/SHBTA 002-2020
现行
区块链底层平台通用技术要求
General Technical Requirements forBlock Chain Bottom Platform
地方标准
DB53/T 1238-2024
现行
区块链 跨境数据流动服务应用指南
T/DSIA 0606-2021
现行
区块链企业评估规范
地方标准
DB36/T 1712-2022
现行
政务区块链基础平台技术规范
地方标准
DB45/T 2763-2023
现行
基于区块链的政务数据共享平台建设规范
T/QGCML 281-2022
现行
能源企业产品销售区块链溯源管理平台
国家标准
GB/T 43572-2023
现行
区块链和分布式记账技术 术语
Blockchain and distributed ledger technologies—Vocabulary
行业标准
YD/T 4055-2022
现行
电信网和互联网区块链基础设施安全防护要求
地方标准
DB22/T 3033.3-2023
现行
畜禽产品质量安全追溯 第3部分：区块链技术应用规程
行业标准
YD/T 6024-2024
现行
基于区块链的恶意号码库构建及共享技术要求
行业标准
JR/T 0193-2020
现行
区块链技术金融应用 评估规则
T/JSHLW 001-2021
现行
区块链基础架构规范
infrastructure specifications of Blockchain
T/SHBTA 001-2020
现行
区块链企业认定方法
Rules on Recognition of Blockchain Enterprise Blockchain Industry Park
地方标准
DB50/T 1049-2020
现行
基于区块链的电子商务价值行为数据存证规范
地方标准
DB53/T 1406-2025
现行
智能制造区块链数据编码规范
地方标准
DB43/T 1843-2020
现行
区块链数据安全技术测评标准
地方标准
DB45/T 2762-2023
现行
基于区块链的数据存证技术规范
地方标准
DB33/T 2543.4-2024
现行
智慧矫正 第4部分：区块链存证应用
行业标准
CY/Z 32-2023
现行
出版业区块链技术应用标准体系表
行业标准
GM/T 0122-2022
现行
区块链密码检测规范
行业标准
JR/T 0277-2023
现行
保险行业区块链应用规范 再保险
地方标准
DB61/T 1661-2023
现行
工业产品 区块链溯源应用技术要求
T/AOPA 0008-2020
现行
民用无人机驾驶员训练机构合格审定规则
Provision of civil unmanned aircraft systems pilot training institution certification
下载电子版
正在请求下载信息...