Skip to main content
SpringerLink
Log in

Highsimb: A Concrete Blockchain High Simulation with Contract Vulnerability Detection for Ethereum and Hyperledger Fabric

  • Conference paper
  • First Online:
Machine Learning for Cyber Security (ML4CS 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13656))

Included in the following conference series:

Abstract

Blockchain testing plays a critical role in the maturation of blockchain technology by ensuring the quality of implemented functional and non-functional requirements. In the new global economy, rapid time to market has become a central issue: developers fail to scrutinize their blockchain designs prior to deployment and customers undergo negative experiences that hurt the widespread adoption of the blockchain technology. Previous published studies aimed for effective blockchain simulators. However, existing solutions exhibit several drawbacks: they rely on guesswork, conceal low-level implementation details, lack expected realistic outcomes and automated testing, as well as lag in smart contract vulnerability analysis. In this paper, we introduce highsimb: the first concrete blockchain high simulation platform for Ethereum and Hyperledger Fabric that supports smart contract vulnerability detection. Unlike a testnet, the blockchain tester can customize any low-level detail to achieve realistic expected results under automated testing. Theoretical analysis demonstrates our concrete simulator is highly observable, supports realistic feedback, is scalable, detects smart contract vulnerabilities, has strong white-box testing capabilities and automates experiments. Our framework complements existing blockchain simulators and introduces a novel development paradigm for blockchain testing.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Albshri, A., Alzubaidi, A., Awaji, B., Solaiman, E.: Blockchain simulators: a systematic mapping study. In: 2022 IEEE International Conference on Services Computing (SCC), pp. 284–294 (2022)

    Google Scholar 

  2. Alharby, M., van Moorsel, A.: BlockSim: an extensible simulation tool for blockchain systems. Front. Blockchain 3, 28 (2020). https://doi.org/10.3389/fbloc.2020.00028

    Article  Google Scholar 

  3. Aoki, Y., Otsuki, K., Kaneko, T., Banno, R., Shudo, K.: SimBlock: a blockchain network simulator. In: INFOCOM 2019 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2019, pp. 325–329. Institute of Electrical and Electronics Engineers Inc. (2019). https://doi.org/10.1109/INFCOMW.2019.8845253

  4. Bartoletti, M., Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns. In: Brenner, M., et al. (eds.) FC 2017. LNCS, vol. 10323, pp. 494–509. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-70278-0_31

    Chapter  Google Scholar 

  5. Biryukov, A., Tikhomirov, S.: Transaction clustering using network traffic analysis for bitcoin and derived blockchains. In: INFOCOM 2019 - IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2019, pp. 204–209. Institute of Electrical and Electronics Engineers Inc. (2019). https://doi.org/10.1109/INFCOMW.2019.8845213

  6. Chelladurai, U., Pandian, S.: A novel blockchain based electronic health record automation system for healthcare. J. Ambient Intell. Humanized Comput. 13(1), 693–703 (2022). https://doi.org/10.1007/s12652-021-03163-3

    Article  Google Scholar 

  7. Chen, X., Liao, P., Zhang, Y., Huang, Y., Zheng, Z.: Understanding code reuse in smart contracts. In: Proceedings - 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2021, pp. 470–479. Institute of Electrical and Electronics Engineers Inc. (2021). https://doi.org/10.1109/SANER50967.2021.00050

  8. Choi, W., Hong, J.W.K.: Performance evaluation of Ethereum private and Testnet networks using hyperledger caliper. In: 2021 22nd Asia-Pacific Network Operations and Management Symposium, APNOMS 2021, pp. 325–329. Institute of Electrical and Electronics Engineers Inc. (2021). https://doi.org/10.23919/APNOMS52696.2021.9562684

  9. Deshpande, A., Nasirifard, P., Jacobsen, H.A.: Demo abstract: eVIBES: configurable and interactive ethereum blockchain simulation framework. In: Middleware 2018 - Proceedings of the 2018 ACM/IFIP/USENIX Middleware Conference (Posters), pp. 11–12. Association for Computing Machinery, Inc (2018). https://doi.org/10.1145/3284014.3284020

  10. Dinh, T.T.A., Wang, J., Chen, G., Liu, R., Ooi, B.C., Tan, K.L.: BLOCKBENCH: a framework for analyzing private blockchains. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 1085–1100. Association for Computing Machinery, New York, NY, USA (2017). https://doi.org/10.1145/3035918.3064033

  11. Fan, C., Khazaei, H., Chen, Y., Musilek, P.: Towards a scalable DAG-based distributed ledger for smart communities. In: IEEE 5th World Forum on Internet of Things, WF-IoT 2019 - Conference Proceedings, pp. 177–182. Institute of Electrical and Electronics Engineers Inc. (2019). https://doi.org/10.1109/WF-IoT.2019.8767342

  12. Faria, C., Correia, M.: BlockSim: blockchain simulator. In: Proceedings - 2019 2nd IEEE International Conference on Blockchain, Blockchain 2019, pp. 439–446. Institute of Electrical and Electronics Engineers Inc. (2019). https://doi.org/10.1109/Blockchain.2019.00067

  13. Hong, S., Yue, T., Liu, H.: Vehicle energy system active defense: a health assessment of lithium-ion batteries. Int. J. Int. Syst. (2020). https://doi.org/10.1002/int.22309

  14. Hong, S., Zeng, Y.: A health assessment framework of lithium-ion batteries for cyber defense. Appl. Soft Comput. 101, 107067 (2021). https://doi.org/10.1016/j.asoc.2020.107067

    Article  Google Scholar 

  15. Kanemitsu, H., Nakazato, H.: KadRTT: routing with network proximity and uniform ID arrangement in Kademlia. In: 2021 IFIP Networking Conference, IFIP Networking 2021. Institute of Electrical and Electronics Engineers Inc. (2021). https://doi.org/10.23919/IFIPNetworking52078.2021.9472816

  16. Karaduman, B., Mustafiz, S., Challenger, M.: FTG+PM for the model-driven development of wireless sensor network based IoT systems. In: Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021, pp. 306–316. Institute of Electrical and Electronics Engineers Inc. (2021). https://doi.org/10.1109/MODELS-C53483.2021.00052

  17. Kreku, J., Vallivaara, V., Halunen, K., Suomalainen, J.: Evaluating the efficiency of blockchains in IoT with simulations. In: IoTBDS 2017 - Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security, pp. 216–223. SciTePress (2017). https://doi.org/10.5220/0006240502160223

  18. Kuzlu, M., Pipattanasomporn, M., Gurses, L., Rahman, S.: Performance analysis of a hyperledger fabric blockchain framework: throughput, latency and scalability. In: Proceedings - 2019 2nd IEEE International Conference on Blockchain, Blockchain 2019, pp. 536–540. Institute of Electrical and Electronics Engineers Inc. (2019). https://doi.org/10.1109/Blockchain.2019.00003

  19. Lano, K., Fang, S., Alfraihi, H., Kolahdouz-Rahimi, S.: Simplified specification languages for flexible and agile modelling. In: Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019, pp. 460–467. Institute of Electrical and Electronics Engineers Inc. (2019). https://doi.org/10.1109/MODELS-C.2019.00074

  20. Lee, S., Kim, S.: Blockchain as a cyber defense: opportunities, applications, and challenges. IEEE Access 10, 2602–2618 (2022). https://doi.org/10.1109/ACCESS.2021.3136328

    Article  Google Scholar 

  21. Li, T.,et al.: Rational protocols and attacks in blockchain system. Secur. Commun. Netw. 2020 (2020). https://doi.org/10.1155/2020/8839047

  22. Liaskos, S., Anand, T., Alimohammadi, N.: Architecting blockchain network simulators: a model-driven perspective. In: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020. Institute of Electrical and Electronics Engineers Inc. (2020). https://doi.org/10.1109/ICBC48266.2020.9169413

  23. Liu, S.: \(\bullet \) Global spending on blockchain solutions 2024 | Statista (2020). https://www.statista.com/statistics/800426/worldwide-blockchain-solutions-spending/ Published by Statista Research Department U.S. dollars by 2024

  24. Made Satvika Iswari, N., Budiardjo, E.K., Hasibuan, Z.A.: Aspect oriented programming approach for variability feature implementation in software product line engineering. In: 2020 5th International Conference on Informatics and Computing, ICIC 2020. Institute of Electrical and Electronics Engineers Inc. (2020). https://doi.org/10.1109/ICIC50835.2020.9288558

  25. Mart, O., Negru, C., Pop, F., Castiglione, A.: Observability in kubernetes cluster: automatic anomalies detection using prometheus. In: Proceedings - 2020 IEEE 22nd International Conference on High Performance Computing and Communications, IEEE 18th International Conference on Smart City and IEEE 6th International Conference on Data Science and Systems, HPCC-SmartCity-DSS 2020, pp. 565–570. Institute of Electrical and Electronics Engineers Inc. (2020). https://doi.org/10.1109/HPCC-SmartCity-DSS50907.2020.00071

  26. Mufid, M.R., Basofi, A., Al Rasyid, M.U.H., Rochimansyah, I.F., Rokhim, A.: Design an MVC model using python for flask framework development. In: IES 2019 - International Electronics Symposium: The Role of Techno-Intelligence in Creating an Open Energy System Towards Energy Democracy, Proceedings, pp. 214–219. Institute of Electrical and Electronics Engineers Inc. (2019). https://doi.org/10.1109/ELECSYM.2019.8901656

  27. Nakamoto, S.: A peer-to-peer electronic cash system. J. Gen. Philos. Sci. (2008)

    Google Scholar 

  28. Nehal, A., Ahlawat, P.: Securing IoT applications with OP-TEE from hardware level OS. In: Proceedings of the 3rd International Conference on Electronics and Communication and Aerospace Technology, ICECA 2019, pp. 1441–1444. Institute of Electrical and Electronics Engineers Inc. (2019). https://doi.org/10.1109/ICECA.2019.8822040

  29. Pathak, N., Singh, B.M., Sharma, G.: UML 2.0 based framework for the development of secure web application. Int. J. Inf. Technol. 9(1), 101–109 (2017). https://doi.org/10.1007/s41870-017-0001-3

    Article  Google Scholar 

  30. Pohl, K., Böckle, G., Van Der Linden, F.: Software product line engineering: Foundations, principles, and techniques. Springer, Heidelberg (2005). https://doi.org/10.1007/3-540-28901-1

  31. Polge, J., Ghatpande, S., Kubler, S., Robert, J., Le Traon, Y.: BlockPerf: a hybrid blockchain emulator/simulator framework. IEEE Access 9, 107858–107872 (2021). https://doi.org/10.1109/ACCESS.2021.3101044

    Article  Google Scholar 

  32. Qu, Y., Pokhrel, S.R., Garg, S., Gao, L., Xiang, Y.: A blockchained federated learning framework for cognitive computing in industry 4.0 networks. IEEE Trans. Ind. Inform. 17(4), 2964–2973 (2021). https://doi.org/10.1109/TII.2020.3007817

    Article  Google Scholar 

  33. Ranjan, P., Sharma, B., Mittal, A., Gupta, H., Singh, A.K.: Blockchain powered government financial system, pp. 1–6. Institute of Electrical and Electronics Engineers (IEEE) (2022). https://doi.org/10.1109/iconat53423.2022.9726095

  34. Ray, P.P., Dash, D., Salah, K., Kumar, N.: Blockchain for IoT-based healthcare: background, consensus, platforms, and use cases. IEEE Syst. J. 15(1), 85–94 (2021). https://doi.org/10.1109/JSYST.2020.2963840

    Article  Google Scholar 

  35. Sarkar, D., Bhalla, M., Singal, S.M.: Enhancing unified process workflows using UML. In: Proceedings of the 7th International Conference Confluence 2017 on Cloud Computing, Data Science and Engineering, pp. 788–792. Institute of Electrical and Electronics Engineers Inc. (2017). https://doi.org/10.1109/CONFLUENCE.2017.7943257

  36. Sengul, O., Ozkilicaslan, H., Arda, E., Yavanoglu, U., Dogru, I.A., Selcuk, A.A.: Implementing a method for docker image security. In: 14th International Conference on Information Security and Cryptology, ISCTURKEY 2021 - Proceedings, pp. 34–39. Institute of Electrical and Electronics Engineers Inc. (2021). https://doi.org/10.1109/ISCTURKEY53027.2021.9654383

  37. Sonmez, R., Sönmez, F.Ö., Ahmadisheykhsarmast, S.: Blockchain in project management: a systematic review of use cases and a design decision framework. J. Ambient Intell. Humanized Comput. 3 (2021). https://doi.org/10.1007/s12652-021-03610-1

  38. Stoykov, L., Zhang, K., Jacobsen, H.A.: Demo: VIBES: fast blockchain simulations for large-scale peer-to-peer networks. In: Middleware 2017 - Proceedings of the 2017 Middleware Posters and Demos 2017: Proceedings of the Posters and Demos Session of the 18th International Middleware Conference, pp. 19–20. Association for Computing Machinery Inc, New York, NY, USA (2017). https://doi.org/10.1145/3155016.3155020

  39. Wang, X., Al-Mamun, A., Yan, F., Zhao, D.: Toward accurate and efficient emulation of public blockchains in the cloud. In: Da Silva, D., Wang, Q., Zhang, L.-J. (eds.) CLOUD 2019. LNCS, vol. 11513, pp. 67–82. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-23502-4_6

    Chapter  Google Scholar 

  40. Xiao, W., et al.: Blockchain for secure-GaS: blockchain-powered secure natural gas IoT system with AI-enabled gas prediction and transaction in smart city. IEEE Internet Things J. 8(8), 6305–6312 (2021). https://doi.org/10.1109/JIOT.2020.3028773

    Article  Google Scholar 

  41. Xu, J., Dang, F., Ding, X., Zhou, M.: A survey on vulnerability detection tools of smart contract bytecode. In: Proceedings of 2020 IEEE 3rd International Conference on Information Systems and Computer Aided Education, ICISCAE 2020, pp. 94–98. Institute of Electrical and Electronics Engineers Inc. (2020). https://doi.org/10.1109/ICISCAE51034.2020.9236931

Download references

Acknowledgements

This work was supported by the Joint Funds of the National Natural Science Foundation of China (No.U20A20176), the National Key Project of China (No.2020YFB1005700), and the National Key Research and Development Program of China (No.2021YFA1000600).

Author information

Authors and Affiliations

  1. Institute of Artificial Intelligence and Blockchain, Guangzhou University, Guangzhou, 510006, China

    Pengfei Huang, Wanqing Jie, Arthur Sandor Voundi Koe, Ruitao Hou & Hongyang Yan

  2. Pazhou Lab, Guangzhou, 510330, China

    Arthur Sandor Voundi Koe

  3. Faculty of Mathematics and Computer Science, University of Mohamed Bachir El Ibrahimi, 34030, Bordj Bou Arreridj, Algeria

    Mourad Nouioua

  4. Faculty of Information Technology, Nam Dinh University of Technology Education, Nam Dinh, 420000, Vietnam

    Phan Duc Thien

  5. Department of Electrical and Telecommunications Engineering, National Advanced School of Engineering - University of Yaounde I, Yaounde, 337, Cameroon

    Jacques Mbous Ikong

  6. Department of Computer Science, University of Social Sciences and Management, Bamako, 2575, Mali

    Camara Lancine

Authors
  1. Pengfei Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wanqing Jie
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Arthur Sandor Voundi Koe
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ruitao Hou
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Hongyang Yan
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Mourad Nouioua
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Phan Duc Thien
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Jacques Mbous Ikong
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Camara Lancine
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Arthur Sandor Voundi Koe .

Editor information

Editors and Affiliations

  1. School of Computing and Informatics, University of Louisiana at Lafayette, Lafayette, IN, USA

    Yuan Xu

  2. Institute of Artificial Intelligence and Blockchain, Guangzhou University, Guangzhou, China

    Hongyang Yan

  3. Institute of Artificial Intelligence and Blockchain, Guangzhou University, Guangzhou, China

    Huang Teng

  4. Guangdong Polytechnic Normal University, Guangzhou, China

    Jun Cai

  5. Institute of Artificial Intelligence and Blockchain, Guangzhou University, Guangzhou, China

    Jin Li

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Huang, P. et al. (2023). Highsimb: A Concrete Blockchain High Simulation with Contract Vulnerability Detection for Ethereum and Hyperledger Fabric. In: Xu, Y., Yan, H., Teng, H., Cai, J., Li, J. (eds) Machine Learning for Cyber Security. ML4CS 2022. Lecture Notes in Computer Science, vol 13656. Springer, Cham. https://doi.org/10.1007/978-3-031-20099-1_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-20099-1_39

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-20098-4

  • Online ISBN: 978-3-031-20099-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation