“Smartcontract”的版本间的差异
跳到导航
跳到搜索
| 第4行： | 第4行： | ||
[[文件:Slogan_Jan21st.png|无框|711x117像素]] | [[文件:Slogan_Jan21st.png|无框|711x117像素]] | ||
---- | ---- | ||
| − | ==== | + | ====中国电子学会《区块链 智能合约 形式化表达》团体标准正式发布==== |
| − | |||
<video type="html5">https://www.smartlegalcontract.cn/mediawiki/images/3/37/Smartcontract.mp4|500|282</video> | <video type="html5">https://www.smartlegalcontract.cn/mediawiki/images/3/37/Smartcontract.mp4|500|282</video> | ||
<br/><br/>标准英文版本可供下载<br/> | <br/><br/>标准英文版本可供下载<br/> | ||
| 第26行： | 第25行： | ||
---- | ---- | ||
| − | |||
<big>[https://github.com/Smart-Legal-Contract/SPESC/wiki ''spesc'']</big> | <big>[https://github.com/Smart-Legal-Contract/SPESC/wiki ''spesc'']</big> | ||
2021年5月9日 (日) 14:31的版本
- 智能合约
中国电子学会《区块链 智能合约 形式化表达》团体标准正式发布
标准英文版本可供下载
标准中文版本购买地址：北京市海淀区学院路30号（100083）联系电话：010-62334905
区块链智能合约
区块链智能合约是部署在区块链上并可在满足预定合约条款和履行条件时自动执行的计算机代码。
适用法律的智能合约
适用法律的智能合约是指一种含有合同构成要素、涵盖合同缔约方依据要约和承诺达成履行约定的计算机协议，本文中在不加区别时简称智能法律合约。
智能合约语言
智能合约语言是一种为实现智能合约而创建的编程语言，包含规范智能合约撰写的语法规则。
适用法律的智能合约语言
适用法律的智能合约语言是指一种为实现适用法律的智能合约而创建的编程语言。
智能合约平台
智能合约平台是一种支持智能合约可执行程序开发、生成、部署、运行、验证的信息网络系统。