{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T15:05:42Z","timestamp":1781708742195,"version":"3.54.5"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030198060","type":"print"},{"value":"9783030198077","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19807-7_36","type":"book-chapter","created":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T13:24:51Z","timestamp":1557235491000},"page":"370-379","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["The Evolution of Blockchain Virtual Machine Architecture Towards an Enterprise Usage Perspective"],"prefix":"10.1007","author":[{"given":"Andrei","family":"Tara","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kirill","family":"Ivkushkin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandru","family":"Butean","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hjalmar","family":"Turesson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,5,8]]},"reference":[{"key":"36_CR1","unstructured":"Wood, G.: Ethereum: A Secure Decentralised Generalised Transaction Ledger. \n                  https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf\n                  \n                . Accessed 15 Nov 2018"},{"key":"36_CR2","unstructured":"NEO White Paper - A distributed network for the Smart Economy. \n                  http:\/\/docs.neo.org\/en-us\/whitepaper.html\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR3","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis & transformation. In: Proceeding of the 2004 International Symposium on Code Generation and Optimization, p. 75. ACM, Palo Alto-California (2004)"},{"key":"36_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-642-35746-6_3","volume-title":"Tools for Practical Software Verification LASER 2011","author":"C Paulin-Mohring","year":"2011","unstructured":"Paulin-Mohring, C.: Introduction to the Coq proof-assistant for practical software verification. In: Meyer, B., Nordio, M. (eds.) Tools for Practical Software Verification LASER 2011. Lecture Notes in Computer Science, vol. 7682, pp. 45\u201395. Springer, Heidelberg (2011)"},{"key":"36_CR5","unstructured":"Neo Contract White Paper. \n                  http:\/\/docs.neo.org\/en-us\/basic\/neocontract.html\n                  \n                . Accessed 15 Dec 2018"},{"issue":"3","key":"36_CR6","first-page":"228","volume":"17","author":"B Rad","year":"2017","unstructured":"Rad, B., Bhatti, H., Ahmadi, M.: An introduction to docker and analysis of its performance. IJCSNS Int. J. Comput. Sci. Netw. Secur. 17(3), 228\u2013235 (2017)","journal-title":"IJCSNS Int. J. Comput. Sci. Netw. Secur."},{"key":"36_CR7","unstructured":"Ray, J.: A Next-Generation Smart Contract and Decentralized Application Platform. \n                  https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR8","unstructured":"Working with Big Numbers Using x86 Instructions. \n                  http:\/\/x86asm.net\/articles\/working-with-big-numbers-using-x86-instructions\/\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR9","unstructured":"Grigg, I.: EOS - An Introduction. \n                  https:\/\/eos.io\/documents\/EOS_An_Introduction.pdf\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR10","unstructured":"McFadden, B., Lukasiewicz, T., Dileo, J., Engler, J.: Security Chasms of WASM. \n                  https:\/\/i.blackhat.com\/us-18\/Thu-August-9\/us-18-Lukasiewicz-WebAssembly-A-New-World-of-Native_Exploits-On-The-Web-wp.pdf\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Haas, A., Rossberg, A., Schu, D., Titzer, B., Holman, M, Gohman, D., Wagner, L., Zakai, A., Bastien, J.F.: Bringing the web up to speed with webAssembly. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 185\u2013200. ACM, Barcelona-Spain (2017)","DOI":"10.1145\/3140587.3062363"},{"key":"36_CR12","unstructured":"WebAssembly Virtual Machine. \n                  https:\/\/github.com\/WAVM\/WAVM\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR13","first-page":"16","volume-title":"Lecture Notes in Computer Science","author":"Adrian Johnstone","year":"1998","unstructured":"Johnstone, A., Scott, E.: Generalised recursive descent parsing and follow-determinism. In: Koskimies K. (eds.) Compiler Construction, CC 1998. Lecture Notes in Computer Science, vol. 1383, pp. 16\u201330. Springer, Heidelberg (1998)"},{"key":"36_CR14","unstructured":"Singh, T.: The Hotspot Java virtual machine: memory and architecture. Int. J. Allied Pract. Res. Rev. 60\u201364 (2014)"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Kennedy, A., Syme, D.: Design and implementation of generics for the .NET Common Language Runtime. In: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. ACM, New York (2001)","DOI":"10.1145\/378795.378797"},{"key":"36_CR16","unstructured":"NEO Smart Contract Introduction. \n                  http:\/\/docs.neo.org\/en-us\/sc\/introduction.html\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR17","doi-asserted-by":"crossref","unstructured":"Kokoris-Kogias, E., Jovanovic, P., Gasser, L., Gailly, N., Syta, E., Ford, B.: OmniLedger: a secure, scale-out, decentralized ledger via sharding. In: IEEE Symposium on Security and Privacy. IEEE Xplore, San Francisco (2018)","DOI":"10.1109\/SP.2018.000-5"},{"key":"36_CR18","unstructured":"The ZILLIQA Technical Whitepaper. \n                  https:\/\/docs.zilliqa.com\/whitepaper.pdf\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR19","doi-asserted-by":"crossref","unstructured":"Al-Bassam, M., Sonnino, A., Bano, S., Hrycyszyn, D., Danezis, G.: Chainspace: A Sharded Smart Contracts Platform. \n                  https:\/\/arxiv.org\/pdf\/1708.03778.pdf\n                  \n                . Accessed 15 Dec 2018","DOI":"10.14722\/ndss.2018.23241"},{"key":"36_CR20","unstructured":"Sergey, I., Kumar, A., Hobor, A.: Scilla: a Smart Contract Intermediate-Level LAnguage. \n                  https:\/\/arxiv.org\/pdf\/1801.00687.pdf\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR21","unstructured":"The Not-So-Short ZILLIQA Technical FAQ. \n                  https:\/\/docs.zilliqa.com\/techfaq.pdf\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR22","unstructured":"Scilla: Syntax and Semantics. \n                  https:\/\/github.com\/Zilliqa\/scilla\/blob\/master\/docs\/scilla-spec.pdf\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR23","unstructured":"Hyperledger Architecture, Volume 1. \n                  https:\/\/www.hyperledger.org\/wp-content\/uploads\/2017\/08\/Hyperledger_Arch_WG_Paper_1_Consensus.pdf\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR24","doi-asserted-by":"crossref","unstructured":"Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., De Caro, A., Enyeart, D., Ferris, C., Laventman, G., Manevic, Y.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: EuroSys 2018 Proceedings of the Thirteenth EuroSys Conference, Article No. 30, Porto, Portugal (2018)","DOI":"10.1145\/3190508.3190538"},{"key":"36_CR25","doi-asserted-by":"crossref","unstructured":"Benhamouda, F.; Halevi, S.; Halevi, T.: Supporting private data on Hyperledger fabric with secure multiparty computation. In: IEEE International Conference on Cloud Engineering (IC2E), pp. 357\u2013363. IEEE Xplore, Florida (2018)","DOI":"10.1109\/IC2E.2018.00069"},{"key":"36_CR26","unstructured":"Ivkushkin, K.: Insolar Blockchain Platform, unpublished material (2019)"},{"key":"36_CR27","unstructured":"Go Plugin System over RPC. \n                  https:\/\/github.com\/hashicorp\/go-plugin\n                  \n                . Accessed 15 Dec 2018"},{"issue":"1","key":"36_CR28","doi-asserted-by":"publisher","first-page":"12","DOI":"10.2478\/acss-2018-0002","volume":"23","author":"K Z\u012ble","year":"2018","unstructured":"Z\u012ble, K., Strazdi\u0146a, R.: Blockchain use cases and their feasibility. Appl. Comput. Syst. 23(1), 12\u201320 (2018)","journal-title":"Appl. Comput. Syst."},{"key":"36_CR29","unstructured":"International Organization for Standardization: ISO\/TC 307 - Blockchain and distributed ledger technologies. \n                  https:\/\/www.iso.org\/committee\/6266604.html\n                  \n                . Accessed 15 Dec 2018"},{"key":"36_CR30","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1007\/978-3-319-89884-1_26","volume-title":"Programming Languages and Systems","author":"Krishnendu Chatterjee","year":"2018","unstructured":"Chatterjee, K., Goharshady, A.K., Velner, Y.: Quantitative analysis of smart contracts. In: Ahmed A. (eds.) Programming Languages and Systems. ESOP Lecture Notes in Computer Science, vol. 10801, pp. 739\u2013767. Springer, Heidelberg (2018)"},{"key":"36_CR31","doi-asserted-by":"crossref","unstructured":"Hanada, Y., Hsiao, L., Levis, P.: Smart Contracts for Machine-to-Machine Communication: Possibilities and Limitations. \n                  https:\/\/arxiv.org\/abs\/1806.00555\n                  \n                . Accessed 8 Jan 2018","DOI":"10.1109\/IOTAIS.2018.8600854"},{"issue":"9","key":"36_CR32","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MC.2018.3620971","volume":"51","author":"TN Dinh","year":"2018","unstructured":"Dinh, T.N., Thai, M.T.: AI and blockchain: a disruptive integration. Computer 51(9), 48\u201353 (2018)","journal-title":"Computer"},{"key":"36_CR33","doi-asserted-by":"crossref","unstructured":"Michelin, R.A., Dorri, A., Lunardi, R.C., Steger, M., Kanhere, S.S., Jurdak, R., Zorzo, A.F.: SpeedyChain: a framework for decoupling data from blockchain for smart cities. In: MobiQuitous 2018 Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, pp. 145\u2013154. ACM, New York (2018)","DOI":"10.1145\/3286978.3287019"}],"container-title":["Advances in Intelligent Systems and Computing","Software Engineering Methods in Intelligent Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19807-7_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T04:10:37Z","timestamp":1558152637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19807-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030198060","9783030198077"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19807-7_36","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"8 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Computer Science On-line Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zlin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"csolc2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/csoc.openpublish.eu","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}