T/CIE 095-2020

摘要：T/CIE 095-2020标准2020年12月21日发布2021年01月01日实施，本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。《区块链智能合约形式化表达》团体名称为中国电子学会。