RegLang:一种面向监管的智能合约编程语言

摘要：

为了防范金融科技创新带来的系统性风险,监管机构提出了越来越多的监管要求,增加了金融从业机构合规成本,也使监管机构与从业机构的监管摩擦日益加剧.区块链技术有助于推动监管科技创新,构建新型监管模式,但是如何在区块链上实现监管规则的数字化仍是亟待解决的问题.针对监管科技的核心需求,提出了一种面向监管的智能合约编程语言RegLang,该语言具备可交互性、可演算性和可并发性,便于监管专家将监管政策编写为数字化的监管规则,并在区块链上以智能合约的形式运行.实验表明,相比现有的编程语言,RegLang易于编写、表达力强、可读性高,支持并发运行,更加适合在区块链上表达监管规则,实现基于区块链的数字化监管.

关键词：智能合约、编程语言、监管科技、区块链

所属期刊栏目：49

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

资助基金：国家重点研发计划;国家自然科学基金;北京市自然科学基金

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

页数：共7页

页码：462-468