-
题名法律智能合约平台模型的研究与设计
被引量:5
- 1
-
-
作者
向伟静
蔡维德
-
机构
北京航空航天大学数字社会与区块链实验室
北京天德科技有限公司
天民国际沙盒研究院
国家大数据综合试验区区块链互联网实验室
-
出处
《应用科学学报》
CAS
CSCD
北大核心
2021年第1期109-122,共14页
-
基金
国家自然科学基金(No.61672075,61690202)
科技部重大项目基金(No.2018YFB1402700)
山东省2018年重点研发计划基金(No.2018CXGC0703)资助。
-
文摘
现有的智能合约技术本质上只是一段链上代码,而真正的智能合约应是法律合约的数字化,可以实现合约条款的自动执行。为此,介绍了法律智能合约的重要科技,包括法律考量、预言机、事件模型等基础设施,在分析相关机构工作的基础上提出了法律智能合约的5个标准开发步骤,通过对法律流程标准的研究提出了设计智能合约模版的方法。为解决智能合约模版上数据预处理的问题,还设计了基于预言机技术的安全多管道事件模型。基于上述理论和模型,可进一步实现法律智能合约的开发和自动化处理。
-
关键词
预言机
智能合约
法律
安全多管道事件模型
-
Keywords
oracle machine
smart contract
law
secure multi-channel event model
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名一种并行博弈的九宫格智能合约
被引量:1
- 2
-
-
作者
蔡维德
姜晓芳
向伟静
-
机构
数字社会与区块链实验室(北京航空航天大学)
-
出处
《信息安全研究》
2022年第5期443-451,共9页
-
基金
国家重点研发计划项目(2018YFB1402700)
国家自然科学基金项目(61690202)。
-
文摘
账本、智能合约、预言机并行系统(Ledgers/Smart Contracts/Oracle,LSO)设计打破传统智能合约只能和1个账本系统(区块链)死绑定的机制,在新型智能合约平台LSO模型和智能合约标准化、微服务化的基础上,提出新型智能合约的并行博弈的九宫格模型.在该新模型中,针对每次交易,分成交易前、交易中和交易后3段,在每段流程上,买方、卖方、监管方通过查询智能合约库或发布自己的智能合约,分别提供己方的智能合约,形成智能合约组,这些智能合约组之间存在竞合关系,一方面是合作,另一方面也是在互相博弈,从而保证兼顾交易的公平性和效率.
-
关键词
智能合约
九宫格
并行
博弈论
交易
-
Keywords
smart contract
three-by-three grid
parallel
game theory
transaction
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-