“Smartcontract”的版本间的差异

来自智能法律合约
跳到导航 跳到搜索
第5行: 第5行:
 
----
 
----
 
====区块链智能合约形式化表达====
 
====区块链智能合约形式化表达====
提供了一种适用法律合同的智能合约框架及语法规则,使所开发的智能法律合约成为一种介于现实法律合同与智能合约之间的过渡性法律文档。<br/><br/>
+
中国电子学会《区块链 智能合约 形式化表达》团体标准正式发布<br/><br/>
 
<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/>
 +
标准中文版本购买地址:北京市海淀区学院路30号(100083)联系电话:010-62334905
 
----
 
----
 
====区块链智能合约====
 
====区块链智能合约====
第24行: 第26行:
  
 
----
 
----
 
+
<big>[[:File:Smart-Legal-Contract-Standard.pdf|''标准英文版'']]</big><br/>
'''专利所有'''&emsp;&emsp;&emsp;&copy;'''北京科技大学'''<br/>
 
'''地址'''&emsp;&emsp;&emsp;&emsp;&emsp;'''北京市海淀区学院路30号'''<br/>
 
'''购买请致电'''&emsp;&emsp;'''010-62334905'''
 
----
 
<big>[[:File:Smart-Legal-Contract-Standard.pdf|''专利文件'']]</big><br/>
 
 
<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:24的版本

智能合约

Slogan Jan21st.png


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

中国电子学会《区块链 智能合约 形式化表达》团体标准正式发布



标准英文版本可供下载
标准中文版本购买地址:北京市海淀区学院路30号(100083)联系电话:010-62334905


区块链智能合约

区块链智能合约是部署在区块链上并可在满足预定合约条款和履行条件时自动执行的计算机代码。

适用法律的智能合约

适用法律的智能合约是指一种含有合同构成要素、涵盖合同缔约方依据要约和承诺达成履行约定的计算机协议,本文中在不加区别时简称智能法律合约。

智能合约语言

智能合约语言是一种为实现智能合约而创建的编程语言,包含规范智能合约撰写的语法规则。

适用法律的智能合约语言

适用法律的智能合约语言是指一种为实现适用法律的智能合约而创建的编程语言。

智能合约平台

智能合约平台是一种支持智能合约可执行程序开发、生成、部署、运行、验证的信息网络系统。


标准英文版
spesc