“Smartcontract”的版本间的差异
跳到导航
跳到搜索
| 第5行： | 第5行： | ||
---- | ---- | ||
====区块链智能合约形式化表达==== | ====区块链智能合约形式化表达==== | ||
| − | 提供了一种适用法律合同的智能合约框架及语法规则，使所开发的智能法律合约成为一种介于现实法律合同与智能合约之间的过渡性法律文档。 | + | 提供了一种适用法律合同的智能合约框架及语法规则，使所开发的智能法律合约成为一种介于现实法律合同与智能合约之间的过渡性法律文档。<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> | ||
---- | ---- | ||
| 第24行： | 第24行： | ||
智能合约平台是一种支持智能合约可执行程序开发、生成、部署、运行、验证的信息网络系统。 | 智能合约平台是一种支持智能合约可执行程序开发、生成、部署、运行、验证的信息网络系统。 | ||
| + | ---- | ||
| + | '''专利所有''' ©'''北京科技大学'''<br/> | ||
| + | '''地址''' '''北京市海淀区学院路30号'''<br/> | ||
| + | '''购买请致电''' '''010-62334905''' | ||
| + | ---- | ||
| + | <big>[http://39.97.255.135/mediawiki/images/a/a4/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日 (日) 13:44的版本
- 智能合约
区块链智能合约形式化表达
提供了一种适用法律合同的智能合约框架及语法规则，使所开发的智能法律合约成为一种介于现实法律合同与智能合约之间的过渡性法律文档。
作为智能法律合约领域首个标准，区块链智能合约形式化表达保证智能合约既有现实合同的法律特征和易理解性，又有计算机程序代码的规范性。
区块链智能合约
区块链智能合约是部署在区块链上并可在满足预定合约条款和履行条件时自动执行的计算机代码。
适用法律的智能合约
适用法律的智能合约是指一种含有合同构成要素、涵盖合同缔约方依据要约和承诺达成履行约定的计算机协议，本文中在不加区别时简称智能法律合约。
智能合约语言
智能合约语言是一种为实现智能合约而创建的编程语言，包含规范智能合约撰写的语法规则。
适用法律的智能合约语言
适用法律的智能合约语言是指一种为实现适用法律的智能合约而创建的编程语言。
智能合约平台
智能合约平台是一种支持智能合约可执行程序开发、生成、部署、运行、验证的信息网络系统。
专利所有 ©北京科技大学
地址 北京市海淀区学院路30号
购买请致电 010-62334905