Automated Execution of Financial Contracts on Blockchains

被引:75
作者
Egelund-Muller, Benjamin [1 ]
Elsman, Martin [1 ]
Henglein, Fritz [1 ]
Ross, Omri [1 ]
机构
[1] Univ Copenhagen, Dept Comp Sci, Univ Pk 5, DK-2100 Copenhagen, Denmark
关键词
Blockchain; Domain specific language; Financial services; Distributed ledger;
D O I
10.1007/s12599-017-0507-z
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The paper investigates financial contract management on distributed ledgers and provides a working solution implemented on the Ethereum blockchain. The system is based on a domain-specific language for financial contracts that is capable of expressing complex multi-party derivatives and is conducive to automated execution. The authors propose an architecture for separating contractual terms from contract execution: a contract evaluator encapsulates the syntax and semantics of financial contracts without actively performing contractual actions; such actions are handled by user-definable contract managers that administer strategies for the execution of contracts. Hosting contracts and contract managers on a distributed ledger, side-by-side with digital assets, facilitates automated settlement of commitments without the need for an intermediary. The paper discusses how the proposed technology may change the way financial institutions, regulators, and individuals interact in a financial system based on distributed ledgers.
引用
收藏
页码:457 / 467
页数:11
相关论文
共 30 条
[1]   Compositional specification of commercial contracts [J].
Jesper Andersen ;
Ebbe Elsborg ;
Fritz Henglein ;
Jakob Grue Simonsen ;
Christian Stefansen .
International Journal on Software Tools for Technology Transfer, 2006, 8 (6) :485-516
[2]  
Andersen J, 2014, LECT NOTES COMPUT SC, V8802, P73, DOI 10.1007/978-3-662-45234-9_6
[3]  
[Anonymous], 2016, EIP-150 revision
[4]  
[Anonymous], 2016, BLOCKCHAIN PUTTING T
[5]  
[Anonymous], 2016, IRS DEM
[6]  
Arnold B, 1995, ICSE 17 WORKSH FORM, P6
[7]  
Bahr P, 2015, PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), P315, DOI 10.1145/2784731.2784747
[8]  
Bank of England, 2015, DIG CURR
[9]  
Buterin V., 2014, SchellingCoin: a minimal-trust universal data feed
[10]  
Buterin Vitalik, 2016, Critical Update Re: DAO Vulnerability