Computer Science ›› 2019, Vol. 46 ›› Issue (11): 1-10.doi: 10.11896/jsjkx.190300013

• Surveys •     Next Articles

Survey on Smart Contract Based on Blockchain System

FAN Ji-li, LI Xiao-hua, NIE Tie-zheng, YU Ge   

  1. (School of Computer Science and Engineering,Northeastern University,Shenyang 110169,China)
  • Received:2019-03-07 Online:2019-11-15 Published:2019-11-14

Abstract: Blockchain is a decentralized global distributed database leger.Smart contract is a piece of event-driven program with states that runs over blockchain systems,which can take custody over digital assets.Smart contracts running on a common platform can also implement parts of the functions of traditional applications.Development of the blockchain provides an appropriate platform for smart contract,and smart contract plays an important role on blockchain systems.With the rapid development of blockchain platforms such as Bitcoin and Ethereum,smart contracts have a good development opportunity.However,applications of smart contract are still in the early stage of development,and there are relatively few related studies.The application scenarios of smart contracts are not enough in practical application.This paper studied programming languages and implementation technologies of smart contract,discussed and explored the development status as well as challenges and future prospects.It described the characteristics of different development languages and took a comparison among them.Then,it classified blockchain systems based on the running environment of smart contract,and studied the development,deployment and running mechanism of smart contracts in various blockchain systems.Also,this paper explored the application scope of various smart contract platforms,and took a comprehensive comparison of different blockchain systems on smart contract development,community support and corresponding ecosystems.It introduced the status and challenges of smart contract research,and conducted analysis on security,scalability,and maintainability.Finally,it analyzed the development trend of blockchain and smart contract technology,and discussed the application scenarios in the future.

Key words: Blockchain, Smart contract, Decentralization, Ethereum virtual machine

CLC Number: 

  • TP311
[1] NAKAMOTO S.Bitcoin:A peer-to-peer electronic cash system. https://bitcoin.org/bitcoin.pdf.
[2] ZHANG B.The application and related enlightenment of blockchain technology abroad[J].Financial Technology Time,2016(5):7.(in Chinese)张波.国外区块链技术的运用情况及相关启示[J].金融科技时代,2016(5):7.
[3] ETHEREUM.Ethereum blockchain app platform[EB/OL].https://www.ethereum.org/.
[4] HYPERLEDGER.About Hyperledger[EB/OL].https://www.hyperledger.org/about.
[5] SWAN M.Blockchain:Blueprint for a new economy[M].O’Reilly Media,Inc.,2015.
[6] NICK S.Smart Contracts:Building Blocks for Digital Markets[EB/OL].http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart_contracts_2.html.
[7] NICK S.Exploding Onto The Web[EB/OL].https://archive.is/zWbhL#selection-607.411-607.470.
[8] BROWN R G.A simple model for smart contracts[EB/OL].https://gendal.me/2015/02/10/a-simple-model-for-smart-contra-cts/.
[9] 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]∥International Conference on Financial Cryptography and Data Security.Springer Berlin Heidelberg,2016:79-94.
[10] WIKIPEDIA.Ethereum[EB/OL].https://zh.wikipedia.org/wiki/%E4%BB%A5%E5%A4%AA%E5%9D%8A.
[11] DINH T T A,WANG J,CHEN G,et al.BLOCKBENCH:AFramework for Analyzing Private Blockchains[C]∥Proceedings of the 2017 ACM International Conference on Management of Data.ACM,2017:1085-1100.
[12] ANDROULAKI E,BARGER A,BORTNIKOV V,et al.Hyperledger fabric:a distributed operating system for permissioned blockchains[C]∥Proceedings of the Thirteenth EuroSys Conference.ACM,2018:30.
[13] DINH T T A,LIU R,ZHANG M,et al.Untangling Blockchain:A Data Processing View of Blockchain Systems[J].arXiv:1708.05665,2017.
[14] BITCOINWIKI.Script[EB/OL].https://en.bitcoin.it/wiki/Script.
[15] WOOD G.Ethereum:A secure decentralised generalised transaction ledger. https://github.com/ethereum/wiki/wiki/White-Paper.
[16] POPEJOY S.The Pact smart contract language. http://kadena. io/docs/Kadena-PactWhitepaper. pdf.
[17] WIKIPEDIA.Turing_machine[EB/OL].https://en.wikipedia.org/wiki/Turing_machine.
[18] MÜLLER P,BERGSTRÄβER S,RIZK A,et al.The BitcoinUniverse:An Architectural Overview of the Bitcoin Blockchain[C]∥DFN-Forum Kommunikationstechnologien.Bonn:Gesellschaft für Informatik eV,2018:1-20.
[19] ANTONOPOULOS A M.Mastering Bitcoin:unlocking digitalcryptocurrencies[M].O’Reilly Media,Inc.,2014.
[20] JEREMYVINFOLIO.Serpent[EB/OL].https://github.com/ethereum/wiki/wiki/Serpent.
[21] ETHEREUM.Solidity[EB/OL].http://solidity.readthedocs.io/en/latest/.
[22] ETHEREUM.Mutan[EB/OL].https://github.com/ethere-um/go-ethereum/wiki/Mutan-0.2.
[23] POPEJOY S.The Pact smart contract language. http://kadena.io/docs/Kadena-PactWhitepaper.pdf.
[24] KADENA LLC.Kadena[EB/OL].http://kadena.io/.
[25] DANNEN C.The EVM[M]//Introducing Ethereum and Solidity.Apress,2017:47-67.
[26] HYPERLEDGER.ChaincodeTutorials[EB/OL].http://hyperledger-fabric.readthedocs.io/en/latest/chaincode.html.
[27] STATE OF THE DAPPS.Featured Dapp Collections[EB/OL].https://dapps.ethercasts.com.
[28] MEETUP.Ethereum Meetups[EB/OL].https://www.meetup.com/topics/ethereum/.
[29] NGUYEN B,CACHIN C,YELLICK J,et al.Multichannel consensus[EB/OL].https://lists.hyperledger.org/pipermail/hyperledger-fabric/2016-October/000389.html.
[30] LUKE-JR,SMTP,JONATHANCROSS.bitcoind[EB/OL].https://en.bitcoin.it/wiki/Bitcoind.
[31] BITCOINJ.What is bitcoinj[EB/OL].https://bitcoinj.github.io/#community.
[32] KEEPKEY LLC.Learn Bitcoin[EB/OL].https://multibit.org/learn-bitcoin/faq.html.
[33] SWARM.Swarm Introduction[EB/OL].https://swarm-guide.readthedocs.io/en/latest/introduction.html.
[34] BENET J.IPFS-content addressed,versioned,P2P file system[J].arXiv:1407.3561,2014.
[35] JAMES R.Whisper[EB/OL].https://github.com/ethereum/wiki/wiki/Whisper.
[36] TRUFFLE SUITE.Truffle Overview[EB/OL].https://truffleframework.com/docs/truffle/overview.
[37] STATUS IM.Build Powerful DApps Easily[EB/OL].https://embark.status.im/.
[38] WEIFUND.Weifund is Decentralized Secure Open-sourced Interoperable Crowd-funding[EB/OL].http://weifund.io/.
[39] LINUX FOUNDATION.Hyperledger Burrow[EB/OL].https://www.hyperledger.org/projects/hyperledger-burrow.
[40] LINUX FOUNDATION.Hyperledger Composer[EB/OL].https://www.hyperledger.org/projects/composer.
[41] LINUX FOUNDATION.Hyperledger Sawtooth[EB/OL].https://sawtooth.hyperledger.org.
[42] CHENG H,YANG Y Z.Research on the Development Trend of Blockchain and the Coping Strategies of Commercial Banks[J].Financial Regulation Research,2016(6):73-91.(in Chinese)程华,杨云志.区块链发展趋势与商业银行应对策略研究[J].金融监管研究,2016(6):73-91.
[43] COINDESK’S.State of blockchain Q1 2017[EB/OL].https://www.coindesk.com/research/state-blockchain-q1-2017/.
[44] GOOGLE.Trends[EB/OL].https://trends.google.com.hk/trends/.
[45] BROWN R G,CARLYLE J,GRIGG I,et al.Corda:An Introduction. https://docs.corda.net/_static/corda-introductory-whitepaper.pdf.
[46] XIAO F,LUO R G.WXBLOCKCHAIN[EB/OL].http://www.wxblockchain.com/.
[47] SUJHA S.Chinese-search-giant-baidu-joins-hyperledger-blockchain-consortium[EB/OL].https://www.coindesk.com/chinese-search-giant-baidu-joins-hyperledger-blockchain-consortium/.
[48] ATZEI N,BARTOLETTI M,CIMOLI T.A Survey of Attacks on Ethereum Smart Contracts (SoK)[C]∥International Confe-rence on Principles of Security and Trust.Berlin:Springer,2017:164-186.
[49] VNOVAK.EtherDice smart contract is down for maintenance[EB/OL].https://www:reddit:com/r/ethereum/comments/47f028/etherdice is down for maintenance we are having/.
[50] DAVID S.Understanding the DAO attack[EB/OL].https://www.coindesk.com/understanding-dao-hack-journalists/.
[51] MARINO B,JUELS A.Setting standards for altering and undoing smart contracts[C]∥International Symposium on Rules and Rule Markup Languages for the Semantic Web.Cham:Springer,2016:151-166.
[52] SHAO Q F,JIN C Q,ZHANG Z,et al.Blockchain:Architecture and Research Progress[J].Chinese Journal of Computers,2018,41(5):969-988.(in Chinese)邵奇峰,金澈清,张召,等.区块链技术:架构及进展[J].计算机学报,2018,41(5):969-988.
[53] BUTERIN V.Ethereum 2.0 mauve paper[EB/OL].https://cdn.hackaday.io/files/10879465447136/Mauve%20Paper%20Vitalik.pdf.
[54] GRANT P,KOSTYA K.Imandra Contracts[EB/OL].https://github.com/AestheticIntegration/contracts.
[55] BACK A,CORALLO M,DASHJRL,et al.Enabling blockchain innovations with pegged sidechains[OL].tinyurl.com/mj656p7.
[56] ZHANG L J.Blockchain Applications will be more Developed Towards Smart Contracts in the Future[J].Cards World,2016(8):20-21.(in Chinese)张立钧.未来区块链应用更多向智能合约发展[J].金卡工程,2016(8):20-21.
[1] ZHANG Yan-mei, LOU Yin-cheng. Deep Neural Network Based Ponzi Scheme Contract Detection Method [J]. Computer Science, 2021, 48(1): 273-279.
[2] SHAO Wei-hui, WANG Ning, HAN Chuan-feng, XU Wei-sheng. Integrated Emergency-Defense System Based on Blockchain [J]. Computer Science, 2021, 48(1): 287-294.
[3] LI Ying, YU Ya-xin, ZHANG Hong-yu, LI Zhen-guo. High Trusted Cloud Storage Model Based on TBchain Blockchain [J]. Computer Science, 2020, 47(9): 330-338.
[4] LIU Shuai, GAN Guo-hua, LIU Ming-xi, FANG Yong, WANG Shou-yang. Multi-subblock Incentive Consensus Mechanism Based on Topology and Distribution Mechanism [J]. Computer Science, 2020, 47(7): 268-277.
[5] LU Ge-hao, XIE Li-hong and LI Xi-yu. Comparative Research of Blockchain Consensus Algorithm [J]. Computer Science, 2020, 47(6A): 332-339.
[6] LIN Xu-dan, BAO Shi-Jian, ZHAO Li-xin and ZHAO Chen-lin. Design and Performance Analysis of Automotive Supply Chain System Based on Hyperledger Fabric [J]. Computer Science, 2020, 47(6A): 546-551.
[7] KE Yu-Jing, JING Mao-hua and ZHENG Han-yin. Application Research of Blockchain Technology in Trust Industry [J]. Computer Science, 2020, 47(6A): 591-595.
[8] WU Guang-fu, CHEN Ying, ZENG Xian-wen, HE Dao-Jing and LI Jiang-hua. Design and Analysis of Token Model Based on Blockchain Technology [J]. Computer Science, 2020, 47(6A): 603-608.
[9] ZHANG Qi-ming, LU Jian-hua, LI Shou-zhi and XU Jian-dong. Building Innovative Enterprise Customer Service Technology Platform Based on Blockchain [J]. Computer Science, 2020, 47(6A): 639-642.
[10] YE Shao-jie, WANG Xiao-yi, XU Cai-chao, SUN Jian-ling. BitXHub:Side-relay Chain Based Heterogeneous Blockchain Interoperable Platform [J]. Computer Science, 2020, 47(6): 294-302.
[11] XIE Ying-ying, SHI Jian, HUANG Shuo-kang, LEI Kai. Survey on Internet of Things Based on Named Data Networking Facing 5G [J]. Computer Science, 2020, 47(4): 217-225.
[12] WANG Hui, LIU Yu-xiang, CAO Shun-xiang, ZHOU Ming-ming. Medical Data Storage Mechanism Integrating Blockchain Technology [J]. Computer Science, 2020, 47(4): 285-291.
[13] FENG Tao, JIAO Ying, FANG Jun-li, TIAN Ye. Medical Health Data Security Model Based on Alliance Blockchain [J]. Computer Science, 2020, 47(4): 305-311.
[14] PAN Ji-fei,HUANG De-cai. Blockchain Dynamic Sharding Model Based on Jump Hash and Asynchronous Consensus Group [J]. Computer Science, 2020, 47(3): 273-280.
[15] LV Jian-fu,LAI Ying-xu,LIU Jing. Log Security Storage and Retrieval Based on Combination ofOn-chain and Off-chain [J]. Computer Science, 2020, 47(3): 298-303.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75 .
[2] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[3] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[4] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[5] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99 .
[6] ZHOU Yan-ping and YE Qiao-lin. L1-norm Distance Based Least Squares Twin Support Vector Machine[J]. Computer Science, 2018, 45(4): 100 -105 .
[7] LIU Bo-yi, TANG Xiang-yan and CHENG Jie-ren. Recognition Method for Corn Borer Based on Templates Matching in Muliple Growth Periods[J]. Computer Science, 2018, 45(4): 106 -111 .
[8] CUI Qiong, LI Jian-hua, WANG Hong and NAN Ming-li. Resilience Analysis Model of Networked Command Information System Based on Node Repairability[J]. Computer Science, 2018, 45(4): 117 -121 .
[9] WANG Zhen-chao, HOU Huan-huan and LIAN Rui. Path Optimization Scheme for Restraining Degree of Disorder in CMT[J]. Computer Science, 2018, 45(4): 122 -125 .
[10] YANG Yu-qi, ZHANG Guo-an and JIN Xi-long. Dual-cluster-head Routing Protocol Based on Vehicle Density in VANETs[J]. Computer Science, 2018, 45(4): 126 -130 .