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

摘要

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