计算机科学 ›› 2022, Vol. 49 ›› Issue (6A): 462-468.doi: 10.11896/jsjkx.210700016
高健博, 张家硕, 李青山, 陈钟
GAO Jian-bo, ZHANG Jia-shuo, LI Qing-shan, CHEN Zhong
摘要： 为了防范金融科技创新带来的系统性风险,监管机构提出了越来越多的监管要求,增加了金融从业机构合规成本,也使监管机构与从业机构的监管摩擦日益加剧。区块链技术有助于推动监管科技创新,构建新型监管模式,但是如何在区块链上实现监管规则的数字化仍是亟待解决的问题。针对监管科技的核心需求,提出了一种面向监管的智能合约编程语言RegLang,该语言具备可交互性、可演算性和可并发性,便于监管专家将监管政策编写为数字化的监管规则,并在区块链上以智能合约的形式运行。实验表明,相比现有的编程语言,RegLang易于编写、表达力强、可读性高,支持并发运行,更加适合在区块链上表达监管规则,实现基于区块链的数字化监管。
中图分类号:
| [1] XIA S Y,TANG L.Research on the Theoretical Framework and Improvement Path of RegTech[J].Southwest Finance,2020(11):86-96. [2] ZHANG Y L.Principle Position,Mode Selection and Legal System Innovation of Financial Regulation[J].Law Review,2020(5):112-124. [3] LI W.Research on the Application Path of Regulatory Techno-logy[J].Tsinghua Financial Review,2018(3):20-22. [4] DOSSA A,RUIZ P,VOGELSTELLER F,et al.ERC 1400:Security Token Standard[EB/OL].(2018-09-14) [2021-06-10].https://github.com/ethereum/eips/issues/1411. [5] DIEM ASSOCIATION.Diem White Paper[EB/OL].(2020-12-01) [2021-06-10].https://www.diem.com/en-us/white-paper/. [6] ANDROULAKI E,BARGER A,BORTNIKOV V,et al.Hy-perledger Fabric:a Distributed Operating System for Permissioned Blockchains[C]//European Conference on Computer Systems.2018:1-15. [7] CHOUDHURY O,RUDOLPH N,SYLLA I,et al.Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules[C]//IEEE International Congress on Cybermatics.2018:963-970. [8] COLOMBO C,ELLUL J,PACE G J.Contracts over smart contracts:Recovering from violations dynamically[C]//InternationalSymposium on Leveraging Applications of Formal Methods.2018:300-315. [9] AMIRI M J,AGRAWAL D,ABBADI A E.ParBlockchain:Leveraging Transaction Parallelism in Permissioned Blockchain Systems[C]//IEEE International Conference on Distributed Computing Systems.2019:1337-1347. [10] DANNEN C.Introducing Ethereum and Solidity[M].Brooklyn:Springer,2017. [11] KALEEM M,MAVRIDOU A,LASZKA A.Vyper:a SecurityComparison with Solidity Based on Common Vulnerabilities[C]//Conference on Blockchain Research & Applications for Innovative Networks and Services.2020:107-111. [12] BLACKSHEAR S,CHENG E,DILL D L,et al.Move:a Language with Programmable Resources[EB/OL].(2020-12-01) [2021-06-10].https://developers.diem.com/docs/technical-papers/move-paper/. [13] BIRYUKOV A,KHOVRATOVICH D,TIKHOMIROV S.Findel:Secure Derivative Contracts for Ethereum[C]//InternationalConference on Financial Cryptography and Data Security.2017:453-467. [14] BARTOLETTI M,ZUNINO R.BitML:a Calculus for Bitcoin Smart Contracts[C]//ACM SIGSAC Conference on Computer and Communications Security.2018:83-100. [15] ASTIGARRAGA T,CHEN X,CHEN Y,et al.Empowering Business-Level Blockchain Users with a Rules Framework for Smart Contracts[C]//International Conference on Service Oriented Computing.2018:111-128. [16] UK RESEARCH AND INNOVATION.Blockchain Technology for Algorithmic Regulation and Compliance (BARAC)[EB/OL].(2017-05-01) [2021-06-10].https://gtr.ukri.org/projects?ref=EP/P031730/1. [17] FINANCIAL CONDUCT AUTHORITY.Digital RegulatoryReporting[EB/OL].(2020-10-14) [2021-06-10].https://www.fca.org.uk/innovation/regtech/digital-regulatory-reporting. [18] WANG Y.The Types of Civil Code and Their Configuration Relations[J].Tsinghua University Law Journal,2014,8(6):54-63. [19] ZAVE P,JACKSON M.Four Dark Corners of RequirementsEngineering[J].ACM Transactions on Software Engineering and Methodology,1997,6(1):1-30. [20] TRELEAVEN P,BATRINCA B,OTHER S.Algorithmic Regulation:Automating Financial Compliance Monitoring and Regulation Using AI and Blockchain[J].Journal of Financial Transformation,2017,45:14-21. [21] KAHRAMAN G,BILGEN S.A Framework for Qualitative Assessment of Domain-Specific Languages[J].Software & Systems Modeling,2015,14(4):1505-1526. [22] SANTOS F,NUNES I,BAZZAN A L C.Model-Driven Agent-Based Simulation Development:a Modeling Language and Empirical Evaluation in the Adaptive Traffic Signal Control Domain[J].Simulation Modelling Practice and Theory,2018,83:162-187. |
| [1] | 王子凯, 朱健, 张伯钧, 胡凯. 区块链与智能合约并行方法研究与实现 Research and Implementation of Parallel Method in Blockchain and Smart Contract 计算机科学, 2022, 49(9): 312-317. https://doi.org/10.11896/jsjkx.210800102 |
| [2] | 黄松, 杜金虎, 王兴亚, 孙金磊. 以太坊智能合约模糊测试技术研究综述 Survey of Ethereum Smart Contract Fuzzing Technology Research 计算机科学, 2022, 49(8): 294-305. https://doi.org/10.11896/jsjkx.220500069 |
| [3] | 周航, 姜河, 赵琰, 解相朋. 适用于各单元共识交易的电力区块链系统优化调度研究 Study on Optimal Scheduling of Power Blockchain System for Consensus Transaction ofEach Unit 计算机科学, 2022, 49(6A): 771-776. https://doi.org/10.11896/jsjkx.210600241 |
| [4] | 李博, 向海昀, 张宇翔, 廖浩德. 面向食品溯源场景的PBFT优化算法应用研究 Application Research of PBFT Optimization Algorithm for Food Traceability Scenarios 计算机科学, 2022, 49(6A): 723-728. https://doi.org/10.11896/jsjkx.210800018 |
| [5] | 傅丽玉, 陆歌皓, 吴义明, 罗娅玲. 区块链技术的研究及其发展综述 Overview of Research and Development of Blockchain Technology 计算机科学, 2022, 49(6A): 447-461. https://doi.org/10.11896/jsjkx.210600214 |
| [6] | 卫宏儒, 李思月, 郭涌浩. 基于智能合约的秘密重建协议 Secret Reconstruction Protocol Based on Smart Contract 计算机科学, 2022, 49(6A): 469-473. https://doi.org/10.11896/jsjkx.210700033 |
| [7] | 毛典辉, 黄晖煜, 赵爽. 符合监管合规性的自动合成新闻检测方法研究 Study on Automatic Synthetic News Detection Method Complying with Regulatory Compliance 计算机科学, 2022, 49(6A): 523-530. https://doi.org/10.11896/jsjkx.210300083 |
| [8] | 王思明, 谭北海, 余荣. 面向6G可信可靠智能的区块链分片与激励机制 Blockchain Sharding and Incentive Mechanism for 6G Dependable Intelligence 计算机科学, 2022, 49(6): 32-38. https://doi.org/10.11896/jsjkx.220400004 |
| [9] | 孙浩, 毛瀚宇, 张岩峰, 于戈, 徐石成, 何光宇. 区块链跨链技术发展及应用 Development and Application of Blockchain Cross-chain Technology 计算机科学, 2022, 49(5): 287-295. https://doi.org/10.11896/jsjkx.210800132 |
| [10] | 阳真, 黄松, 郑长友. 基于区块链与改进CP-ABE的众测知识产权保护技术研究 Study on Crowdsourced Testing Intellectual Property Protection Technology Based on Blockchain and Improved CP-ABE 计算机科学, 2022, 49(5): 325-332. https://doi.org/10.11896/jsjkx.210900075 |
| [11] | 任畅, 赵洪, 蒋华. 一种量子安全拜占庭容错共识机制 Quantum Secured-Byzantine Fault Tolerance Blockchain Consensus Mechanism 计算机科学, 2022, 49(5): 333-340. https://doi.org/10.11896/jsjkx.210400154 |
| [12] | 冯了了, 丁滟, 刘坤林, 马科林, 常俊胜. 区块链BFT共识算法研究进展 Research Advance on BFT Consensus Algorithms 计算机科学, 2022, 49(4): 329-339. https://doi.org/10.11896/jsjkx.210700011 |
| [13] | 王鑫, 周泽宝, 余芸, 陈禹旭, 任昊文, 蒋一波, 孙凌云. 一种面向电能量数据的联邦学习可靠性激励机制 Reliable Incentive Mechanism for Federated Learning of Electric Metering Data 计算机科学, 2022, 49(3): 31-38. https://doi.org/10.11896/jsjkx.210700195 |
| [14] | 张潆藜, 马佳利, 刘子昂, 刘新, 周睿. 以太坊Solidity智能合约漏洞检测方法综述 Overview of Vulnerability Detection Methods for Ethereum Solidity Smart Contracts 计算机科学, 2022, 49(3): 52-61. https://doi.org/10.11896/jsjkx.210700004 |
| [15] | 杨昕宇, 彭长根, 杨辉, 丁红发. 基于演化博弈的理性拜占庭容错共识算法 Rational PBFT Consensus Algorithm with Evolutionary Game 计算机科学, 2022, 49(3): 360-370. https://doi.org/10.11896/jsjkx.210900110 |
|
||
首页