SPESC:面向法律的智能合约设计与实践

摘要：

智能合约是近年来随着区块链技术兴起而发展起来的一种程序设计、部署及运行的新构架,但目前仍缺少较为完备的面向法律智能合约语言.据此,文章对一种面向法律的智能合约描述语言—SPESC的规范化方法进行了详细介绍,它以类似于现实合同的结构、类似自然语言的语法设计实现智能合约的编撰,明确定义了当事人的义务和权利,制定了时间表达式规范及加密货币的交易规则,达到了提高合约法律性、便于法律人士与计算机人员协作合约开发、易于理解和使用的目的.

关键词：智能法律合约、SPESC、规范、区块链

所属期刊栏目：11

分类号：TP312(计算技术、计算机技术)

资助基金：1.国家科技部重点研发计划;2.国家自然科学基金

在线出版日期：2020-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：39-46