[1]Nick S. Formalizing and securing relationships on public networks[JOL]. First Monday. 1997 [20170112]. http:www.firstmonday.orgojsindex.phpfmarticleview548469[2]Vitalik B. A nextgeneration smart contract and decentralized application platform[EBOL]. 2014 [20170117]. https:github.comethereumwikiwiki%5BEnglish%5DWhitePaper[3]Ethereum[EBOL]. 2017 [20170117]. http:www.ethereum.org[4]Codius[EBOL]. 2017 [20170117]. https:codius.org[5]Hyperledger[EBOL]. 2017 [20170117]. https:www.hyperledger.org[6]Miller M S, Morningstar C, Frantz B. Capabilitybased financial instruments[C] Financial Cryptography. Berlin: Springer, 2001: 349378[7]Kosba A, Miller A, Shi E, et al. Hawk: The blockchain model of cryptography and privacypreserving smart contracts[ROL]. Cryptology ePrint Archive, Report 2015675, 2015 [20170112]. http:eprint.iacr.org, 2015[8]OpenBazzar[EBOL]. 2017 [20170117]. https:openbazaar.org[9]DAO Attack[EBOL]. 2017 [20170117]. http:www.coindesk.comthedaojustraised50millionbutwhatisit[10]Castro M, Liskov B. Practical Byzantine fault tolerance[C] Proc of OSDI. Berkeley: USENIX Association, 1999: 173186[11]Tim S. Consensusasaservice: A brief report on the emergence of permissioned, distributed ledger systems[ROL]. 2015 [20170112]. http:www.ofnumbers.comwpcontentuploads201504Permissioneddistributedledgers.pdf[12]Swanson T. Great chain of numbers: A guide to smart contracts, smart property and trustless asset management[EBOL]. 2014 [20170112]. https:s3uswest2.amazonaws.comchainbookGreat+Chain+of+Numbers+A+Guide+to+Smart+Contracts,+Smart+Property+and+Trustless+Asset+Management++Tim+Swanson.pdf[13]胡凯, 白晓敏. 智能合约的形式化验证方法[J]. 信息安全研究, 2016, 2(12): 10801089[14]Szabo N. A formal language for analyzing contracts[EBOL]. 2002 [20170112]. http:nakamotoinstitute.orgcontractlanguage