关键词: 区块链, 智能合约, 金融, 领域特定语言, 资产证券化

Abstract: 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.

Key words: blockchain, smart contract, finance, domainspecific language, asset securitization