{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T11:06:36Z","timestamp":1784199996152,"version":"3.55.0"},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","funder":[{"DOI":"10.13039\/501100004489","name":"Mitacs","doi-asserted-by":"publisher","award":["F:508916, F:515128, F:517724, F:520932"],"award-info":[{"award-number":["F:508916, F:515128, F:517724, F:520932"]}],"id":[{"id":"10.13039\/501100004489","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2023YFB2704900"],"award-info":[{"award-number":["2023YFB2704900"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,10,9]]},"abstract":"<jats:p>This paper introduces HEMVM, an innovative heterogeneous blockchain framework that seamlessly integrates diverse virtual machines (VMs), including the Ethereum Virtual Machine (EVM) and the Move Virtual Machine (MoveVM), into a unified system. This integration facilitates interoperability while retaining compatibility with existing Ethereum and Move toolchains by preserving high-level language constructs. HEMVM's unique cross-VM operations allow users to interact with contracts across various VMs using any wallet software, effectively resolving the fragmentation in user experience caused by differing VM designs. Our experimental results demonstrate that HEMVM is both fast and efficient, incurring minimal overhead (less than 4.4 %) for intra-VM transactions and achieving up to 9300 TPS for cross-VM transactions. Our results also show that the cross-VM operations in HEMVM are sufficiently expressive to support complex decentralized finance interactions across multiple VMs. Finally, the parallelized prototype of HEMVM shows performance improvements up to 44.8 % compared to the sequential version of HEMVM under workloads with mixed transaction types.<\/jats:p>","DOI":"10.1145\/3763076","type":"journal-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T08:49:50Z","timestamp":1759999790000},"page":"726-752","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["HEMVM: A Heterogeneous Blockchain Framework for Interoperable Virtual Machines"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-5936-651X","authenticated-orcid":false,"given":"Vladyslav","family":"Nekriach","sequence":"first","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6526-9295","authenticated-orcid":false,"given":"Sidi Mohamed","family":"Beillahi","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3519-5775","authenticated-orcid":false,"given":"Chenxing","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Tree-Graph Blockchain Research Institute, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1011-7450","authenticated-orcid":false,"given":"Peilun","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Tree-Graph Blockchain Research Institute, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6663-4861","authenticated-orcid":false,"given":"Ming","family":"Wu","sequence":"additional","affiliation":[{"name":"Shanghai Tree-Graph Blockchain Research Institute, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6309-8821","authenticated-orcid":false,"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7973-1188","authenticated-orcid":false,"given":"Fan","family":"Long","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,10,9]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"[n. d.]. OpenEthereum - Wiki. https:\/\/openethereum.github.io."},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.najef.2020.101168"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00255"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Andr\u00e9 Augusto Rafael Belchior Jonas Pfannschmidt Andr\u00e9 Vasconcelos and Miguel Correia. 2024. XChainWatcher: Monitoring and Identifying Attacks in Cross-Chain Bridges. arXiv arXiv:2410.02029 [cs.CR]. doi:10.48550\/arXiv.2410.02029","DOI":"10.48550\/arXiv.2410.02029"},{"key":"e_1_3_2_6_2","first-page":"4043","volume-title":"30th USENIX Security Symposium","author":"Aumayr Lukas","year":"2021","unstructured":"Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, and Matteo Maffei. 2021. Blitz: Secure Multi-Hop Payments Without Two-Phase Commits. 30th USENIX Security Symposium USENIX Security 21. USENIX Association, 4043\u20134060. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/aumayr"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3471140"},{"key":"e_1_3_2_8_2","volume-title":"Diem Developer Documentation","author":"Blackshear Sam","year":"2020","unstructured":"Sam Blackshear, Evan Cheng, David L. Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Rain Russi, Stephane Sezer, Tim Zakian, Runtian Zhou. 2020. Move: A Language With Programmable Resources. Diem Developer Documentation. https:\/\/developers.diem.com\/papers\/diem-move-a-language-with-programmable-resources\/2020-05-26.pdf. Accessed: 2025-08-22."},{"key":"e_1_3_2_9_2","article-title":"Move: A language with programmable resources","volume":"1","author":"Blackshear Sam","year":"2019","unstructured":"Sam Blackshear, Evan Cheng, David L. Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Dario Russi, Rain , Stephane Sezer, . 2019. Move: A language with programmable resources. Libra Association 1 (2019).","journal-title":"Libra Association"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80452-9"},{"key":"e_1_3_2_11_2","unstructured":"Vitalik Buterin. 2013. Ethereum: A Next-Generation Smart Contract and Decentralized Application Platform. https:\/\/ethereum.org\/en\/whitepaper\/."},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSF57540.2023.00031"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2110.08362"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80450-5"},{"key":"e_1_3_2_16_2","unstructured":"Aptos Foundation. Aptos-Core. https:\/\/github.com\/aptos-labs\/aptos-core. Accessed: 2025-08-22."},{"key":"e_1_3_2_17_2","unstructured":"Aptos Foundation. 2022. The Aptos Blockchain: Safe Scalable and Upgradeable Web3 Infrastructure. https:\/\/aptos.dev\/assets\/files\/Aptos-Whitepaper-47099b4b907b432f81fc0effd34f3b6a.pdf. Accessed: 2025-08-22."},{"key":"e_1_3_2_18_2","unstructured":"Ethereum Foundation. 2025. Solidity compiler. https:\/\/docs.soliditylang.org\/en\/latest\/installing-solidity.html. Accessed: 2025-08-22."},{"key":"e_1_3_2_19_2","unstructured":"Ethereum Foundation. 2025. Solidity Programming Language. https:\/\/docs.soliditylang.org\/en\/v0.8.14\/. Accessed: 2025-08-22."},{"key":"e_1_3_2_20_2","unstructured":"Ethereum Foundation. 2025. Vyper compiler. https:\/\/docs.vyperlang.org\/en\/stable\/installing-vyper.html. Accessed: 2025-08-22."},{"key":"e_1_3_2_21_2","unstructured":"Ethereum Foundation. 2025. Vyper Programming Language. https:\/\/docs.vyperlang.org\/en\/stable\/. Accessed: 2025-08-22."},{"key":"e_1_3_2_22_2","unstructured":"Sui Foundation. 2023. The Sui Smart Contracts Platform. https:\/\/docs.sui.io\/paper\/sui.pdf. Accessed: 2025-08-22."},{"key":"e_1_3_2_23_2","unstructured":"Uniswap Foundation. 2021. Uniswap V2 Core. https:\/\/uniswap.org\/whitepaper.pdf. Accessed: 2025-08-22."},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3212734.3212736"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/S00778-021-00686-1"},{"key":"e_1_3_2_26_2","article-title":"Cosmos whitepaper","volume":"27","author":"Kwon Jae","unstructured":"Jae Kwon and Ethan Buchman. Cosmos whitepaper. A Netw. Distrib. Ledgers 27 (2019).","journal-title":"A Netw. Distrib. Ledgers"},{"key":"e_1_3_2_27_2","unstructured":"Ava Labs. 2020. https:\/\/assets-global.website-files.com\/5d80307810123f5ffbb34d6e\/6008d7bbf8b10d1eb01e7e16_AvalanchePlatformWhitepaper.pdf. Accessed: 2025-08-22."},{"key":"e_1_3_2_28_2","unstructured":"Compound Labs. 2019. https:\/\/compound.finance\/documents\/Compound.Whitepaper.pdf. Accessed: 2025-08-22."},{"key":"e_1_3_2_29_2","unstructured":"Chainlink Labs. 2021. CCIP. https:\/\/docs.chain.link\/ccip. Accessed: 2025-08-22."},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2101.06000"},{"key":"e_1_3_2_31_2","unstructured":"Chenxing Li Peilun Li Dong Zhou Zhe Yang Ming Wu Guang Yang Wei Xu Fan Long and Andrew Chi-Chih Yao. 2020. A Decentralized Blockchain with High Throughput and Fast Confirmation. USENIX Association USA."},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2403.07248"},{"key":"e_1_3_2_33_2","volume-title":"Ph. D. Dissertation","author":"Miller Mark Samuel","year":"2006","unstructured":"Mark Samuel Miller. 2006. Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control. Ph. D. Dissertation. Johns Hopkins University, Baltimore, Maryland, USA."},{"key":"e_1_3_2_34_2","unstructured":"Satoshi Nakamoto. 2008. Bitcoin: A Peer-to-Peer Electronic Cash System. (2008)."},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3491003.3491006"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","unstructured":"Vladyslav Nekriach Sidi Mohamed Beillahi Chenxing Li Peilun Li Ming Wu Andreas Veneris and Fan Long. 2025. HEMVM Code Artifact latest version. doi:10.5281\/zenodo.16929829. Accessed: 2025-08-24.","DOI":"10.5281\/zenodo.16929829"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","unstructured":"Vladyslav Nekriach Sidi Mohamed Beillahi Chenxing Li Peilun Li Ming Wu Andreas Veneris and Fan Long. 2025. HEMVM Code Artifact review version. doi:10.5281\/zenodo.16935665. Accessed: 2025-08-24.","DOI":"10.5281\/zenodo.16935665"},{"key":"e_1_3_2_38_2","unstructured":"PancakeSwap. 2025. https:\/\/pancakeswap.finance\/. Accessed: 2025-08-22."},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1108\/scm-03-2018-0143"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1177\/1555412019898305"},{"key":"e_1_3_2_41_2","unstructured":"Stefan Thomas and Evan Schwartz. 2015. A protocol for interledger payments. https:\/\/interledger.org\/interledger.pdf. (2015)."},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1007\/S00446-023-00446-0"},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2403.11254"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP59255.2023.10355573"},{"key":"e_1_3_2_45_2","first-page":"1","article-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger","volume":"151","author":"Wood Gavin","unstructured":"Gavin Wood. Ethereum: A Secure Decentralised Generalised Transaction Ledger. Ethereum project yellow paper 151 (2014), 1\u201332.","journal-title":"Ethereum project yellow paper"},{"key":"e_1_3_2_46_2","volume-title":"White paper","author":"Wood Gavin","year":"2016","unstructured":"Gavin Wood. 2016. Polkadot: Vision for a heterogeneous multi-chain framework. White paper 21, 2327 (2016), 4662."},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560652"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3465084.3467904"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/sp.2019.00085"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3763076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T10:07:56Z","timestamp":1784196476000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3763076"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,9]]},"references-count":48,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2025,10,9]]}},"alternative-id":["10.1145\/3763076"],"URL":"https:\/\/doi.org\/10.1145\/3763076","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,9]]},"assertion":[{"value":"2025-03-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-10-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}