{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,10]],"date-time":"2026-05-10T07:29:44Z","timestamp":1778398184384,"version":"3.51.4"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","license":[{"start":{"date-parts":[[2022,10,31]],"date-time":"2022-10-31T00:00:00Z","timestamp":1667174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2022,10,31]]},"abstract":"<jats:p>This paper presents SigVM, the first blockchain virtual machine that extends EVM to support an event-driven execution model, enabling developers to build truly decentralized smart contracts. Contracts in SigVM can emit signal events, on which other contracts can listen. Once an event is triggered, corresponding handler functions are automatically executed as signal transactions. We build an end-to-end blockchain platform SigChain and a contract language compiler SigSolid to realize the potential of SigVM. Experimental results show that our benchmark applications can be reimplemented with SigVM in a truly decentralized way, eliminating the dependency on centralized and unreliable mechanisms like off-chain relay servers. The development effort of reimplementing these contracts with SigVM is small, i.e., we modified on average 3.17% of the contract code. The runtime and the gas overhead of SigVM on these contracts is negligible.<\/jats:p>","DOI":"10.1145\/3563312","type":"journal-article","created":{"date-parts":[[2022,10,31]],"date-time":"2022-10-31T20:23:35Z","timestamp":1667247815000},"page":"673-698","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["SigVM: enabling event-driven execution for truly decentralized smart contracts"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7886-937X","authenticated-orcid":false,"given":"Zihan","family":"Zhao","sequence":"first","affiliation":[{"name":"University of Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6526-9295","authenticated-orcid":false,"given":"Sidi Mohamed","family":"Beillahi","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5355-6158","authenticated-orcid":false,"given":"Ryan","family":"Song","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8557-3048","authenticated-orcid":false,"given":"Yuxi","family":"Cai","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6309-8821","authenticated-orcid":false,"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7973-1188","authenticated-orcid":false,"given":"Fan","family":"Long","sequence":"additional","affiliation":[{"name":"University of Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,10,31]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"\u00e6 ernity dev team. 2020. The Sophia Language. https:\/\/github.com\/aeternity\/aesophia\/blob\/lima\/docs\/sophia.mdl \t\t\t\t  \u00e6 ernity dev team. 2020. The Sophia Language. https:\/\/github.com\/aeternity\/aesophia\/blob\/lima\/docs\/sophia.mdl"},{"key":"e_1_2_1_2_1","volume-title":"Mastering Bitcoin: Programming the Open Blockchain","author":"Antonopoulos Andreas M.","year":"2017","unstructured":"Andreas M. Antonopoulos . 2017 . Mastering Bitcoin: Programming the Open Blockchain ( 2 nd ed.). O\u2019Reilly Media, Inc. . isbn:1491954388 Andreas M. Antonopoulos. 2017. Mastering Bitcoin: Programming the Open Blockchain (2nd ed.). O\u2019Reilly Media, Inc.. isbn:1491954388","edition":"2"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_2_1_4_1","volume-title":"Move: A Language With Programmable Resources. https:\/\/developers.libra.org\/docs\/assets\/papers\/libra-move-a-language-with-programmable-resources\/2020-05-26.pdf","author":"Blackshear Sam","year":"2020","unstructured":"Sam Blackshear , Evan Cheng , David L. Dill , Victor Gao , Ben Maurer , Todd Nowacki , Alistair Pott , Shaz Qadeer , Rain, Dario Russi , Stephane Sezer , Tim Zakian , and Runtian Zhou . 2020 . Move: A Language With Programmable Resources. https:\/\/developers.libra.org\/docs\/assets\/papers\/libra-move-a-language-with-programmable-resources\/2020-05-26.pdf Sam Blackshear, Evan Cheng, David L. Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Rain, Dario Russi, Stephane Sezer, Tim Zakian, and Runtian Zhou. 2020. Move: A Language With Programmable Resources. https:\/\/developers.libra.org\/docs\/assets\/papers\/libra-move-a-language-with-programmable-resources\/2020-05-26.pdf"},{"key":"e_1_2_1_5_1","volume-title":"Ethereum: A next-generation smart contract and decentralized application platform.  https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper","author":"Buterin Vitalik","year":"2014","unstructured":"Vitalik Buterin . 2014 . Ethereum: A next-generation smart contract and decentralized application platform. https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper Vitalik Buterin. 2014. Ethereum: A next-generation smart contract and decentralized application platform. https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper"},{"key":"e_1_2_1_6_1","unstructured":"Vitalik Buterin Eric Conner Rick Dudley Matthew Slipper Ian Norden and Abdelhamid Bakhta. 2019. Fee Market Change for ETH 1.0 Chain. https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-1559.md \t\t\t\t  Vitalik Buterin Eric Conner Rick Dudley Matthew Slipper Ian Norden and Abdelhamid Bakhta. 2019. Fee Market Change for ETH 1.0 Chain. https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-1559.md"},{"key":"e_1_2_1_7_1","unstructured":"ChainLink. 2020. ChainLink: Using Price Feeds. https:\/\/docs.chain.link\/docs\/get-the-latest-price \t\t\t\t  ChainLink. 2020. ChainLink: Using Price Feeds. https:\/\/docs.chain.link\/docs\/get-the-latest-price"},{"key":"e_1_2_1_8_1","volume-title":"Obsidian: Typestate and Assets for Safer Blockchain Programming. arxiv:1909.03523.","author":"Coblenz Michael","year":"2019","unstructured":"Michael Coblenz , Reed Oei , Tyler Etzel , Paulette Koronkevich , Miles Baker , Yannick Bloem , Brad A. Myers , Joshua Sunshine , and Jonathan Aldrich . 2019 . Obsidian: Typestate and Assets for Safer Blockchain Programming. arxiv:1909.03523. Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, and Jonathan Aldrich. 2019. Obsidian: Typestate and Assets for Safer Blockchain Programming. arxiv:1909.03523."},{"key":"e_1_2_1_9_1","unstructured":"RChain Cooperative. 2019. Rholang. https:\/\/github.com\/rchain\/rchain\/tree\/master\/rholang \t\t\t\t  RChain Cooperative. 2019. Rholang. https:\/\/github.com\/rchain\/rchain\/tree\/master\/rholang"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF51468.2021.00004"},{"key":"e_1_2_1_11_1","unstructured":"Corentin Denoeud. 2020. What Is A Transaction Relayer And How Does It Work? https:\/\/hackernoon.com\/what-is-a-transaction-relayer-and-how-does-it-work-bd1q3ywa \t\t\t\t  Corentin Denoeud. 2020. What Is A Transaction Relayer And How Does It Work? https:\/\/hackernoon.com\/what-is-a-transaction-relayer-and-how-does-it-work-bd1q3ywa"},{"key":"e_1_2_1_12_1","unstructured":"Ethereum. 2020. The Solidity Contract-Oriented Programming Language. https:\/\/github.com\/ethereum\/solidity \t\t\t\t  Ethereum. 2020. The Solidity Contract-Oriented Programming Language. https:\/\/github.com\/ethereum\/solidity"},{"key":"e_1_2_1_13_1","unstructured":"Planet Ethereum. 2018. Ethbase. https:\/\/github.com\/planet-ethereum\/ethbase \t\t\t\t  Planet Ethereum. 2018. Ethbase. https:\/\/github.com\/planet-ethereum\/ethbase"},{"key":"e_1_2_1_14_1","unstructured":"Etherscan. 2021. The Ethereum Blockchain Explorer. https:\/\/etherscan.io\/ \t\t\t\t  Etherscan. 2021. The Ethereum Blockchain Explorer. https:\/\/etherscan.io\/"},{"key":"e_1_2_1_15_1","unstructured":"Vitalik Buterin Fabian Vogelsteller. 2015. \"EIP-20: ERC-20 Token Standard \" Ethereum Improvement Proposals. https:\/\/eips.ethereum.org\/EIPS\/eip-20 \t\t\t\t  Vitalik Buterin Fabian Vogelsteller. 2015. \"EIP-20: ERC-20 Token Standard \" Ethereum Improvement Proposals. https:\/\/eips.ethereum.org\/EIPS\/eip-20"},{"key":"e_1_2_1_16_1","unstructured":"The Maker Foundation. 2019. The Maker Protocol: MakerDAO\u2019s Multi-Collateral Dai (MCD) System. https:\/\/makerdao.com\/en\/whitepaper\/ \t\t\t\t  The Maker Foundation. 2019. The Maker Protocol: MakerDAO\u2019s Multi-Collateral Dai (MCD) System. https:\/\/makerdao.com\/en\/whitepaper\/"},{"key":"e_1_2_1_17_1","volume-title":"The Market Collapse of","author":"Foundation The Maker","year":"2020","unstructured":"The Maker Foundation . 2020. The Market Collapse of March 12-13, 2020 : How It Impacted MakerDAO. https:\/\/blog.makerdao.com\/the-market-collapse-of-march-12-2020-how-it-impacted-makerdao\/ The Maker Foundation. 2020. The Market Collapse of March 12-13, 2020: How It Impacted MakerDAO. https:\/\/blog.makerdao.com\/the-market-collapse-of-march-12-2020-how-it-impacted-makerdao\/"},{"key":"e_1_2_1_18_1","unstructured":"The Near Foundation. 2021. The NEAR White Paper. https:\/\/near.org\/papers\/the-official-near-white-paper\/ \t\t\t\t  The Near Foundation. 2021. The NEAR White Paper. https:\/\/near.org\/papers\/the-official-near-white-paper\/"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"e_1_2_1_20_1","volume-title":"ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra , Seep Goel , Mohan Dhawan , and Subodh Sharma . 2018 . ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018 , San Diego, California, USA , February 18-21, 2018. The Internet Society. http:\/\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2018\/02\/ndss2018_09-1_Kalra_paper.pdf Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, February 18-21, 2018. The Internet Society. http:\/\/wp.internetsociety.org\/ndss\/wp-content\/uploads\/sites\/25\/2018\/02\/ndss2018_09-1_Kalra_paper.pdf"},{"key":"e_1_2_1_21_1","volume-title":"Compound: The Money Market Protocol. https:\/\/compound.finance\/documents\/Compound.Whitepaper.pdf","author":"Leshner Robert","year":"2019","unstructured":"Robert Leshner and Geoffrey Hayes . 2019 . Compound: The Money Market Protocol. https:\/\/compound.finance\/documents\/Compound.Whitepaper.pdf Robert Leshner and Geoffrey Hayes. 2019. Compound: The Money Market Protocol. https:\/\/compound.finance\/documents\/Compound.Whitepaper.pdf"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385982"},{"key":"e_1_2_1_23_1","volume-title":"2020 USENIX Annual Technical Conference, USENIX ATC 2020","author":"Li Chenxing","year":"2020","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 . In 2020 USENIX Annual Technical Conference, USENIX ATC 2020 , July 15-17, 2020, Ada Gavrilovska and Erez Zadok (Eds.). USENIX Association, 515\u2013528. https:\/\/www.usenix.org\/conference\/atc20\/presentation\/li-chenxing 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. In 2020 USENIX Annual Technical Conference, USENIX ATC 2020, July 15-17, 2020, Ada Gavrilovska and Erez Zadok (Eds.). USENIX Association, 515\u2013528. https:\/\/www.usenix.org\/conference\/atc20\/presentation\/li-chenxing"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS49710.2020.00009"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_2_1_26_1","unstructured":"Conflux Network. 2021. Conflux-Rust. https:\/\/developer.confluxnetwork.org\/ \t\t\t\t  Conflux Network. 2021. Conflux-Rust. https:\/\/developer.confluxnetwork.org\/"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"e_1_2_1_28_1","unstructured":"OCamlPRO. 2020. Liquidity Documentation. https:\/\/www.liquidity-lang.org\/doc\/ \t\t\t\t  OCamlPRO. 2020. Liquidity Documentation. https:\/\/www.liquidity-lang.org\/doc\/"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3139337.3139340"},{"key":"e_1_2_1_30_1","volume-title":"Swap: A Peer-to-Peer Protocol for Trading Ethereum Tokens. https:\/\/www.airswap.io\/whitepaper.htm","author":"Oved Michael","year":"2017","unstructured":"Michael Oved and Don Mosites . 2017 . Swap: A Peer-to-Peer Protocol for Trading Ethereum Tokens. https:\/\/www.airswap.io\/whitepaper.htm Michael Oved and Don Mosites. 2017. Swap: A Peer-to-Peer Protocol for Trading Ethereum Tokens. https:\/\/www.airswap.io\/whitepaper.htm"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"e_1_2_1_32_1","volume-title":"Austin K. Williams, and Stephanie Alexander","author":"Peterson Jack","year":"2019","unstructured":"Jack Peterson , Joseph Krug , Micah Zoltu , Austin K. Williams, and Stephanie Alexander . 2019 . Augur: a Decentralized Oracle and Prediction Market Platform ( v2.0). https:\/\/www.augur.net\/whitepaper.pdf Jack Peterson, Joseph Krug, Micah Zoltu, Austin K. Williams, and Stephanie Alexander. 2019. Augur: a Decentralized Oracle and Prediction Market Platform (v2.0). https:\/\/www.augur.net\/whitepaper.pdf"},{"key":"e_1_2_1_33_1","volume-title":"Provable: Ethereum Quick Start. https:\/\/docs.provable.xyz\/##ethereum-quick-start","year":"2019","unstructured":"provable.xyz. 2019 . Provable: Ethereum Quick Start. https:\/\/docs.provable.xyz\/##ethereum-quick-start provable.xyz. 2019. Provable: Ethereum Quick Start. https:\/\/docs.provable.xyz\/##ethereum-quick-start"},{"key":"e_1_2_1_34_1","unstructured":"Kevin Sekniqi Daniel Laine Stephen Buttolph and Emin G\u00fcn Sirer. 2020. Avalanche Platform. https:\/\/www.avalabs.org\/whitepapers \t\t\t\t  Kevin Sekniqi Daniel Laine Stephen Buttolph and Emin G\u00fcn Sirer. 2020. Avalanche Platform. https:\/\/www.avalabs.org\/whitepapers"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360611"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360562"},{"key":"e_1_2_1_37_1","unstructured":"Vyper Team. 2020. Vyper. https:\/\/vyper.readthedocs.io\/en\/stable\/ \t\t\t\t  Vyper Team. 2020. Vyper. https:\/\/vyper.readthedocs.io\/en\/stable\/"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6885003"},{"key":"e_1_2_1_39_1","volume-title":"Ryan Song, Yuxi Cai, Andreas Veneris, and Fan Long.","author":"Zhao Zihan","year":"2022","unstructured":"Zihan Zhao , Sidi Mohamed Beillahi , Ryan Song, Yuxi Cai, Andreas Veneris, and Fan Long. 2022 . SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts . arxiv:2102.10784. Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song, Yuxi Cai, Andreas Veneris, and Fan Long. 2022. SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts. arxiv:2102.10784."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563312","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:10Z","timestamp":1750178290000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563312"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,31]]},"references-count":39,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2022,10,31]]}},"alternative-id":["10.1145\/3563312"],"URL":"https:\/\/doi.org\/10.1145\/3563312","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,31]]},"assertion":[{"value":"2022-10-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}