APP下载

面向合同的智能合约的形式化定义及参考实现*

2019-10-24王璞巍杨航天陈晋川杜小勇

软件学报 2019年9期
关键词:定义智能系统

王璞巍,杨航天,孟 佶,陈晋川,杜小勇

1(中国人民大学 信息学院,北京 100872)

2(数据工程与知识工程教育部重点实验室(中国人民大学),北京 100872)

通讯作者:陈晋川,E-mail:jcchen@ruc.edu.cn

智能合约(smart contract)的概念由跨领域的学者Szabo 于1994 年提出[1].Szabo 将智能合约定义为实现合同条款的计算机程序,且在不需要可信第三方情况下,能够确保合同的正确履行.在区块链技术出来之前,智能合约并未在实际中应用,因为很难在没有可信第三方情况下保证合同的正确执行.比特币系统是第一个区块链的应用系统,也第一次实现了智能合约的理念.区块链网络所具备的去中心化、去信任以及不可篡改的特质,使其成为智能合约天然的执行平台.伴随着区块链技术向多个传统行业的渗透,智能合约也得到了广泛应用,其理念和实现技术也有了迅速的发展.与此同时,越来越多的学者认为,智能合约就是运行在区块链上的程序,不再与合同绑定.本文讨论的智能合约是指经典的定义,即,用程序定义的合同条款.

在实际应用中,可以通过智能合约防范履约风险,让合同履行实现自治,无需法院等权威机构来督促合约的执行.随着区块链技术的不断发展,智能合约被应用到不同领域.以农业保险为例,农业保险品种小、覆盖范围低,经常会出现骗保事件.将智能合约与农业保险结合之后,一旦检测到农业灾害,就会自动启动赔付流程,这样赔付效率更高[2].此外,在医疗数据共享领域,通过智能……

登录APP查看全文

猜你喜欢

定义智能系统
Smartflower POP 一体式光伏系统
WJ-700无人机系统
ZC系列无人机遥感系统
智能前沿
智能前沿
智能前沿
智能前沿
连通与提升系统的最后一块拼图 Audiolab 傲立 M-DAC mini
成功的定义
修辞学的重大定义