Computer Science

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

Special Issue: Block Chain Technology

• 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

PDF (PC)

5114

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, Decentralization, Ethereum virtual machine, Smart contract

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] WANG Zi-kai, ZHU Jian, ZHANG Bo-jun, HU Kai. Research and Implementation of Parallel Method in Blockchain and Smart Contract [J]. Computer Science, 2022, 49(9): 312-317.
[2] HUANG Song, DU Jin-hu, WANG Xing-ya, SUN Jin-lei. Survey of Ethereum Smart Contract Fuzzing Technology Research [J]. Computer Science, 2022, 49(8): 294-305.
[3] LI Bo, XIANG Hai-yun, ZHANG Yu-xiang, LIAO Hao-de. Application Research of PBFT Optimization Algorithm for Food Traceability Scenarios [J]. Computer Science, 2022, 49(6A): 723-728.
[4] FU Li-yu, LU Ge-hao, WU Yi-ming, LUO Ya-ling. Overview of Research and Development of Blockchain Technology [J]. Computer Science, 2022, 49(6A): 447-461.
[5] GAO Jian-bo, ZHANG Jia-shuo, LI Qing-shan, CHEN Zhong. RegLang:A Smart Contract Programming Language for Regulation [J]. Computer Science, 2022, 49(6A): 462-468.
[6] WEI Hong-ru, LI Si-yue, GUO Yong-hao. Secret Reconstruction Protocol Based on Smart Contract [J]. Computer Science, 2022, 49(6A): 469-473.
[7] MAO Dian-hui, HUANG Hui-yu, ZHAO Shuang. Study on Automatic Synthetic News Detection Method Complying with Regulatory Compliance [J]. Computer Science, 2022, 49(6A): 523-530.
[8] ZHOU Hang, JIANG He, ZHAO Yan, XIE Xiang-peng. Study on Optimal Scheduling of Power Blockchain System for Consensus Transaction ofEach Unit [J]. Computer Science, 2022, 49(6A): 771-776.
[9] WANG Si-ming, TAN Bei-hai, YU Rong. Blockchain Sharding and Incentive Mechanism for 6G Dependable Intelligence [J]. Computer Science, 2022, 49(6): 32-38.
[10] SUN Hao, MAO Han-yu, ZHANG Yan-feng, YU Ge, XU Shi-cheng, HE Guang-yu. Development and Application of Blockchain Cross-chain Technology [J]. Computer Science, 2022, 49(5): 287-295.
[11] YANG Zhen, HUANG Song, ZHENG Chang-you. Study on Crowdsourced Testing Intellectual Property Protection Technology Based on Blockchain and Improved CP-ABE [J]. Computer Science, 2022, 49(5): 325-332.
[12] REN Chang, ZHAO Hong, JIANG Hua. Quantum Secured-Byzantine Fault Tolerance Blockchain Consensus Mechanism [J]. Computer Science, 2022, 49(5): 333-340.
[13] FENG Liao-liao, DING Yan, LIU Kun-lin, MA Ke-lin, CHANG Jun-sheng. Research Advance on BFT Consensus Algorithms [J]. Computer Science, 2022, 49(4): 329-339.
[14] YANG Xin-yu, PENG Chang-gen, YANG Hui, DING Hong-fa. Rational PBFT Consensus Algorithm with Evolutionary Game [J]. Computer Science, 2022, 49(3): 360-370.
[15] WANG Xin, ZHOU Ze-bao, YU Yun, CHEN Yu-xu, REN Hao-wen, JIANG Yi-bo, SUN Ling-yun. Reliable Incentive Mechanism for Federated Learning of Electric Metering Data [J]. Computer Science, 2022, 49(3): 31-38.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.