摘要
基于区块链的智能合约专业性强、可读性差、生产效率低,近年来已有多个基于智能合约的面向金融各细分领域的领域特定语言(domain-specific language,DSL)被提出,并被用于解决不同领域专业人士直接书写智能合约难度大的问题.然而,面向金融资产证券化的DSL尚未开发出来.首先介绍智能合约与金融领域现有的结合状况;然后提出资产证券化合约的流程,并设计了一种书写该合约的领域特定语言ABS-DSL;最后用ABS-DSL编写资产证券化合约,并通过将其转化为采用Solidity代码书写的智能合约验证了其准确性.
Smart contracts based on blockchain are highly professional,poorly readable and inefficient.In recent years,many domain-specific languages(DSL)based on smart contracts for financial subdivision fields have been proposed and used to solve the problem that it is difficult for professionals in different fields to write smart contracts directly.However,the DSL for financial asset securitization has not been developed yet.This paper first introduces the existing combination of smart contract and financial field,then puts forward the process of asset securitization contract,and designs a domain-specific language ABS-DSL for writing the contract.Finally,an asset securitization contract is written in ABS-DSL and verified its accuracy by transformed into a smart contract written in Solidity.
作者
李洋
李洁
葛宁
胡凯
Li Yang;Li Jie;Ge Ning;Hu Kai(School of Computer Science and Engineering,Beihang University,Beijing 100191;School of Information,Beijing Wuzi University,Beijing 101149)
出处
《信息安全研究》
2022年第5期468-474,共7页
Journal of Information Security Research
基金
国家重点研发计划项目(2018YFB1402702)。
关键词
区块链
智能合约
金融
领域特定语言
资产证券化
blockchain
smart contract
finance
domain-specific language
asset securitization