【作者单位】北京大学计算机学院;高可信软件技术教育部重点实验室(北京大学);博雅正链(北京)科技有限公司;
【摘要】RegLang是一种面向监管规则设计的智能合约编程语言，旨在支撑监管规则数字化与合约化，已在金融等领域取得初步应用。然而，在实际应用中，金融监管领域的“适用冲突”、“多轨规制”等规则冲突问题可能对区块链金融应用造成严重影响，在增加从业机构合规成本的同时，对监管合约的有效性带来挑战。针对上述问题，提出监管合约变量类型依赖分析方法和基于依赖图的变量类型传播分析方法，推断监管合约中所有变量的可能类型，并根据SMT求解器支持的符号类型实现监管合约中变量、语句和规则的符号化。提出基于符号分析的规则冲突检测方法，将监管规则冲突问题转换为可满足性问题，从而检测监管合约中规则的自冲突、完全冲突和局部冲突，并针对多个监管规则间完全冲突检测中的状态空间爆炸问题提出子集划分算法进行优化。实验结果表明，RegLang监管合约规则冲突检测方法可以有效检测各类监管规则冲突，对代码行数为300行的监管规则进行冲突检测时，自冲突、完全冲突、局部冲突的平均检测耗时分别为1234.9ms，1977.8ms和2364.5ms，在实际应用中是可接受的，能够为实现监管规则数字化提供有效性保障。
【关键词】RegLang监管合约;;智能合约;;冲突检测;;符号分析;;区块链;;监管科技
【DOI】10.19678/j.issn.1000-3428.0065584
评论