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

380 主题	0 回帖	723 积分

上尉

Rank: 6 Rank: 6

积分: 723

发消息

发表于 2022-5-4 | 显示全部楼层 |阅读模式

标准编号：T/CIE 095-2020
中文名称：区块链智能合约形式化表达
英文名称：Formal expression of blockchain smart contract
发布部门：中国电子学会
发布日期：2020-12-21
实施日期：2021-01-01
标准状态：现行
标准页数：23页
内容简介：本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。注：本文提供的智能法律合约示例及智能合约示例，见附录A。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。

T_CIE 095-2020 区块链智能合约形式化表达.pdf (7.28 MB)

标准文档截图：

中国电子学会

下载帮助．绑定微信、验证邮箱后成为“认证会员”可以免费下载网站文件；
．微软IE浏览器下载含中文的文件时会出现乱码、无法下载等现象，建议使用Chrome、Firefox等非IE内核浏览器下载本站文件；
．当文件无法下载、无法打开或下载的文件与名称不符时，点击向我们反馈；
．站内所有文件均来自公开发布的资源或由网友上传，仅供研究学习使用，请勿用于任何商业用途；
．若无意中侵犯到您的权利，敬请发邮件到：biaozhuns#foxmail.com（#换成@），我们将及时删除相关资源。

		自动登录	找回密码
密码			立即注册

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

相关帖子