面向金融领域的智能合约特定语言设计

Design of a Smart Contract Specific Language for Financial Field

基于区块链的智能合约专业性强、可读性差、生产效率低,近年来已有多个基于智能合约的面向金融各细分领域的领域特定语言(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.