Smart Contract in Blockchain

doi:10.3969/j.issn.1671-1122.2018.11.002

Abstract

Abstract:

Smart contracts are executable code that is deployed on the blockchain and can be executed on behalf of the signatories automatically, independent of the central authority. Due to its enforceability, tamper resistance and verifiability, it can be applied to many scenarios. In the past few years, there have been many blockchain platforms where smart contracts can be deployed, some of which have actually been implemented and used. This paper first describes the definition and nature of smart contract, then analyzes the smart contract in each blockchain platform, and the intelligence in the most widely used blockchain systems of Bitcoin, Ethereum and Hyperledger. The contract was highlighted. Finally, the problems and solutions in the smart contract are pointed out.

Key words: blockchain, smart contract, Bitcoin, Ethereum, Hyperledger

CLC Number:

TP309

Chunguang MA, Jing AN, Wei BI, Qi YUAN. Smart Contract in Blockchain[J]. Netinfo Security, 2018, 18(11): 8-17.

Figures/Tables 6

References 58

[1]	BUTERIN V. A Next-generation Smart Contract and Decentralized Application Platform[EB/OL]., 2018-5-11.
[2]	UK Government Chief Scientific Adviser. Distributed Ledger Technology: Beyond Block Chain[EB/OL]. , 2018-5-11.
[3]	NAKAMOTO S. Bitcoin: A peer-to-peer Electronic Cash System[EB/OL]. , 2018-5-11.
[4]	Department of Information and Software Services, Ministry of Industry and Information Technology. China Blockchain Technology and Application Development White Paper[EB/OL]. , 2018-5-11.
	工业和信息化部信息化和软件服务业司. 中国区块链技术和应用发展白皮书[EB/OL]. , 2018-5-11.
[5]	XIE Hui, WANG Jian.Study on Block Chain Technology and Its Applications[J]. Netinfo Security, 2016, 16(9): 192-195.
	谢辉,王健. 区块链技术及其应用研究[J]. 信息网络安全,2016,16(9):192-195.
[6]	SWAN M. Blockchain: Blueprint for a New Economy[EB/OL]. , 2018-5-11.
[7]	SZABO N. Smart Contracts[EB/OL]. , 2018-5-11.
[8]	SZABO N.Formalizing and Securing Relationships on Public Networks[EB/OL]. , 2018-5-11.
[9]	YUAN Yong, WANG Feiyue.Block Chain: the State of the Art and Future Trends[J]. Acta Automatica Sinica, 2016, 42(4): 481-494.
	袁勇,王飞跃. 区块链技术发展现状与展望[J]. 自动化学报,2016,42(4):481-494.
[10]	STARK J. Making Sense of Blockchain Smart Contracts[EB/OL]. , 2018-5-11.
[11]	HAN Xuan, LIU Yamin.Research on the Consensus Mechanisms of Blockchain Technology[J]. Netinfo Security, 2017, 17(9): 147-152.
	韩璇,刘亚敏. 区块链技术中的共识机制研究[J]. 信息网络安全,2017,17(9):147-152.
[12]	BOGNER A, CHANSON M, MEEUW A. A Decentralised Sharing APP Running a Smart Contract on the Ethereum Blockchain[EB/OL]. , 2018-5-11.
[13]	PARK L W, LEE S, CHANG H.A Sustainable Home Energy Prosumer-chain Methodology with Energy Tags over the Blockchain[J]. Sustainability, 2018, 10(3): 658.
[14]	Al-BASSAM M.SCPKI: A Smart Contract-based PKI and Identity System[C]//ACM. The ACM Workshop on Blockchain, Cryptocurrencies and Contracts, April 2, 2017, Abu Dhabi, United Arab Emirates. New York: ACM, 2017: 35-40.
[15]	YASIN A, LIU Lin.An Online Identity and Smart Contract Management System[C]//IEEE. 40th Annual Computer Software and Applications Conference, June 10-14, 2016, Atlanta, GA, USA. New Jersey: IEEE, 2016: 192-198.
[16]	HUH S, CHO S, KIM S.Managing IoT Devices Using Blockchain Platform[C]//IEEE. 19th International Conference on Advanced Communication Technology, February 19-22, 2017, Bongpyeong, South Korea. New Jersey: IEEE, 2017: 464-467.
[17]	HUCKLE S, BHATTACHARYA R, WHITE M, et al.Internet of Things, Blockchain and Shared Economy Applications[J]. Procedia Computer Science, 2016, 98(C): 461-466.
[18]	ZHANG Yu, WEN Jiangtao.The IoT Electric Business Model: Using Blockchain Technology for the Internet of Things[J]. Peer-to-Peer Networking and Applications, 2017, 10(4): 983-994.
[19]	XIA Qi, SIFAH E B, ASAMOAH K O, et al.MeDShare: Trust-Less Medical Data Sharing Among Cloud Service Providers via Blockchain[J]. IEEE Access, 2017, 5(99): 14757-14767.
[20]	BENCHOUFI M, RAVAUD P.Blockchain Technology for Improving Clinical Research Quality[J]. Trials, 2017, 18(1): 335.
[21]	CUNNINGHAM J, AINSWORTH J. Enabling Patient Control of Personal Electronic Health Records Through Distributed Ledger Technology[EB/OL]. , 2018-5-11.
[22]	JACYNYCZ V, CALVO A, HASSAN S, et al. Betfunding: A Distributed Bounty-based Crowdfunding Platform over Ethereum[EB/OL]. , 2018-5-11.
[23]	HUANG Jiehua, GAO Lingchao, XU Yuzhuang, et al.The Design of Smart Contracts on Crowd Fuding Private Blockchain[J]. Journal of Information Security Research, 2017, 3(3): 211-219.
	黄洁华,高灵超,许玉壮,等. 众筹区块链上的智能合约设计[J]. 信息安全研究,2017,3(3):211-219.
[24]	DERMODY R, KRELLENSTEIN A. Counterparty: Protocol specification(2014)[EB/OL]. , 2018-5-11.
[25]	WOOD G. Ethereum: A Secure Decentralised Generalised Transaction Ledger[EB/OL]. , 2018-5-11.
[26]	MORGAN J P. Enterprise-ready Distributed Ledger and Smart Contract Platforms[EB/OL]. , 2018-5-11.
[27]	MONAX. Monax: The Ecosystem Application Platform[EB/OL]. , 2018-5-11.
[28]	DFINITY. Dfinity[EB/OL]. , 2018-5-11.
[29]	GitHub. Hydrachain: Permissioned Distributed Ledger Based on Ethereum[EB/OL]. , 2018-5-11.
[30]	Ethcore. Parity: Next Generation Ethereum Browser[EB/OL]. , 2018-5-11.
[31]	Hyperledger. Blockchain Technologies for Business[EB/OL]. , 2018-5-11.
[32]	Hyperledger. Hyperledger fabric v0.6.0[EB/OL]. , 2018-5-11.
[33]	Hyperledger. Hyperledger fabric v1.0.0[EB/OL]. , 2018-5-11.
[34]	GitHub. Sawtooth Lake[EB/OL]. , 2018-5-11.
[35]	Hyperledger. Hyperledger Burrow[EB/OL]. , 2018-5-11.
[36]	Hyperledger. Hyperledger Iroha[EB/OL]. , 2018-5-11.
[37]	HEARN M. Corda: A Distributed Ledger[EB/OL]. , 2018-5-11.
[38]	MCCINAGHY T. BigchainDB: A Scalable Blockchain Database[EB/OL]. , 2018-5-11.
[39]	Huawei Technologies Co., Ltd. Huawei Blockchain White Paper[EB/OL]. , 2018-5-11.
	华为技术有限公司. 华为区块链白皮书[EB/OL]. , 2018-5-11.
[40]	MultiChain. MultiChain: Open Platform for Blockchain Applications[EB/OL].2018-5-11.
[41]	Tencent Research Institute. Tencent Blockchain Solution White Paper[EB/OL]. , 2018-5-11.
	腾讯研究院. 腾讯区块链方案白皮书[EB/OL]. , 2018-5-11.
[42]	Beijing PeerSafe Technology Co., Ltd. Blockchain-based Database Application Platform Technology White Paper[EB/OL]. , 2018-5-11.
	北京众享比特科技有限公司. 基于区块链的数据库应用平台技术白皮书[EB/OL]. , 2018-5-11.
[43]	BARTOLETTI M, POMPIANU L.An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns[C]//Springer. International Conference on Financial Cryptography and Data Security, April 3-7, 2017, Sliema, Malta. Heidelberg: Springer, 2017: 494-509.
[44]	Andreas M. Mastering Bitcoin[EB/OL]. , 2018-5-11.
[45]	WANG Hao, SONG Xiangfu, KE Junming, et al.Blockchain and Privacy Preserving Mechanisms in Cryptocurrency[J]. Netinfo Security, 2017, 17(7): 32-39.
	王皓,宋祥福,柯俊明,等. 数字货币中的区块链及其隐私保护机制[J]. 信息网络安全,2017,17(7):32-39.
[46]	ALHARBY M, MOORSEL A V. Blockchain-based Smart Contracts: A Systematic Mapping Study[EB/OL]. , 2018-5-11.
[47]	DELMOLINO K, ARNETT M, KOSBA A, et al.Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab[C]//Springer. International Conference on Financial Cryptography and Data Security, February 22-26, 2016, Christ Church, Barbados. Heidelberg: Springer, 2016: 79-94.
[48]	LUU L, CHU D H, OLICKEL H, et al.Making Smart Contracts Smarter[C]//ACM. 2016 ACM Sigsac Conference on Computer and Communications Security, October 24-28, 2016, Vienna, Austria. New York: ACM, 2016: 254-269.
[49]	FRANTZ C K, NOWOSTAWSKI M.From Institutions to Code: Towards Automated Generation of Smart Contracts[C]//IEEE. 1st International Workshops on Foundations and Applications of Self Systems, September 12-16, 2016, Augsburg, Germany. New Jersey: IEEE, 2016: 210-215.
[50]	BHARGAVAN K, SWAMY N, ZANELLA-BÉGUELIN S, et al. Formal Verification of Smart Contracts: Short Paper[EB/OL]. , 2018-5-11.
[51]	BIGI G, BRACCIALI A, MEACCI G, et al. Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods[EB/OL]. , 2018-5-11.
[52]	CHEN Ting, LI Xiaoqi, LUO Xiapu, et al. Under-optimized Smart Contracts Devour Your Money[EB/OL]. , 2018-5-11.
[53]	IDELBERGER F, GOVERNATORI G, RIVERET R, et al.Evaluation of Logic-based Smart Contracts for Blockchain Systems[C]//Springer. International Symposium on Rules and Rule Markup Languages for the Semantic Web, July 6-9, 2016, Stony Brook, NY, USA. Heidelberg: Springer, 2016: 167-183.
[54]	NATOLI C, GRAMOLI V.The Blockchain Anomaly[C]//IEEE. 15th International Symposium on Network Computing and Applications, October 31-November 2, 2016, Cambridge, MA, USA. New Jersey: 2016: 310-317.
[55]	ZHANG Fan, CECCHETTI E, CROMAN K, et al. Town Crier: An Authenticated Data Feed for Smart Contracts[EB/OL]. , 2018-5-11.
[56]	KOSBA A, MILLER A, SHI E, et al.Hawk: The Blockchain Model of Cryptography and Privacy-preserving Smart Contracts[C]//IEEE. 2016 IEEE Symposium on Security and Privacy, May 22-26, 2016, San Jose, CA, USA. New Jersey: IEEE, 2016: 839-858.
[57]	WATANABE H, FUJIMURA S, NAKADAIRA A, et al.Blockchain Contract: A Complete Consensus Using Blockchain[C]//IEEE. IEEE 4th Global Conference on Consumer Electronics, October 27-30, 2015, Osaka, Japan. New Jersey: IEEE, 2016: 577-578.
[58]	VUKOLIĆ M.Rethinking Permissioned Blockchains[C]//ACM. 2017 ACM Workshop on Blockchain, Cryptocurrencies and Contracts, April 2, 2017, Abu Dhabi, United Arab Emirates. New York: ACM, 2017: 3-7.

	准入机制	数据模型	共识算法	智能合约执行环境	智能合约语言
Bitcoin	公有链	基于交易	PoW	脚本引擎	基于栈的脚本
Ethereum	公有链	基于账户	Pow, PoS	EVM	Solidity, Serpent, LLL
CounterParty	公有链	基于交易	--	脚本引擎	Solidity, Serpent, LLL
Quorum	公有链	基于账户	Raft	EVM	GoLang
Monax	公有链	基于账户	Tendermint	EVM	Solidity
Fabric v0.6.0	联盟链	基于键值	PBFT	Docker容器	Go, Java
Fabric v1.0.0	联盟链	基于键值	用户定制的	Docker容器	Go, Java
Sawtooth	联盟链	基于键值	PoET	本地执行	Python
Tbaas	联盟链	基于账户	用户定制的	Docker容器	JavaScript
BigchainDB	联盟链	基于交易	Quorum Voting	本地执行	Python, Crypto-Conditions
Corda	联盟链	基于交易	Raft	JVM	Kotlin, Java
BCS	联盟链	基于账户	用户定制的	Docker容器	GoLang
Parity	私有链	基于账户	PoA	EVM	Solidity, Serpent, LLL
Multichain	私有链	基于交易	PoW	本地执行	C++
HydraChain	私有链	基于账户	PBFT	EVM	Solidity, Serpent, LLL

项目	智能合约技术	智能合约类型	智能合约编程语言
Hyperledger Burrow	智能合约应用引擎	链上智能合约	本地语言代码
Hyperledger Fabric	链上代码	安装的智能合约	Go（大于v1.0）、Javascript（大于v1.1）
Hyperledger Indy	无	无	无
Hyperledger Iroha	链上代码	链上智能合约	本地语言代码
Hyperledger Sawtooth	交易集合	安装的智能合约和链上智能合约	JavaScript, C++, Java, Go, Python, Rust, Solidity