当前位置: 首页 新闻中心 新闻资讯
中国电子学会《区块链智能合约形式化表达》标准将于近期出版发行 时间:2021-02-05 来源:中国电子学会
分享到:

自上世纪九十年代初智能合约概念提出以来,经过不断演进,商业交易中已逐步现实法律合同与网络空间的程序代码衔接。特别是在区块链技术出现后,基于区块链技术的智能合约(下称区块链智能合约)实现了赋予合约要素的数字特性,并将其程序化地部署上链,为外部事件触发合约的自动生成和执行提供了基础。随之而来,区块链智能合约在跨境电商贸易、农产品和医疗用品溯源、文化版权确权、互联网司法存证等领域的应用实践不断涌现。


区块链智能合约对现实交易有着自动履行和存证作用。在自动履行合约内容过程中,极大地消除了人为干预因素,在降低信任成本和交易成本的同时,为商业社会提供了新的交易模式。然而,区块链智能合约作为一种可自动执行的计算机代码,也存在一些实际问题。一方面,需要遵循现行的法律法规,明确基本合约结构和法律要素,以及现实法律合同到可执行程序代码之间的转化规则;另一方面,还需考虑面向不同受众的可读性和规范性。这既影响了计算机、法律和行业应用等跨领域合作,也阻碍了智能合约的法律化进程。


为此,2020年,由中国电子学会区块链分会推荐并技术归口,由北京科技大学朱岩教授团队牵头,“区块链智能合约”系列的首项标准《区块链智能合约形式化表达》(下称该标准)立项编制。在产学研各界专家关心和支持下,经过10次技术咨询,广泛征求来自司法领域、区块链技术领域、智能合约行业应用领域等相关行业近200位专家的意见和建议,该标准于2020年12月通过中国电子学会区块链分会委员会技术审查,并于当月21日获得中国电子学会标准化工作委员会正式批准,标准名称《区块链智能合约形式化表达》,标准号T/CIE 095-2020。目前,该标准已在全国团体标准信息平台公布(http://www.ttbz.org.cn/StandardManage/Detail/43478/),并计划于2021年3月由中国标准出版社正式出版发行(该标准英文参考文本见附件)。


屏幕截图 2021-02-05 175807.jpg


该标准作为“区块链智能合约”系列首个标准体现了三方面创新。


首先,该标准具备国际化技术创新的先发优势。目前,国际上在研的相关标准主要方向聚焦在区块链智能合约生命周期模型、功能元素等要素标准化方向。而该标准针对法律要素、合约结构、合约语言、形式文法和签订流程等方面均作出明确表述,使区块链智能合约标准化对象更加具体,也更具可操作性。


其次,该标准采用了完全自主可控的国产专利技术。采用《一种法律合约的智能可执行合约构造与执行方法和系统》专利技术,该标准具有适用法律合同的智能合约框架及语法规则,使遵照该标准开发的“智能法律合约”成为一种介于现实法律合同与智能合约之间的过渡性法律文档。


第三,该标准通过提供用例等信息,兼具可读易理解、法律特征适用、跨领域互操作、通用性强和覆盖面广等特点。  

               

该标准作为国内外首个旨在构建现实法律合同与区块链智能合约之间衔接桥梁的形式化表达标准,为区块链智能合约应用推广提供了一种技术依据。该标准自研制以来得到产学研各界广泛关注,现已在房屋租赁、知识产权交易、信用监督等领域应用实践,其技术指标得到各方认可。

 

附件:Formal Expression of Blockchain Smart Contract .pdf