{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T23:19:04Z","timestamp":1784762344036,"version":"3.55.0"},"reference-count":73,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T00:00:00Z","timestamp":1718668800000},"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":["Distrib. Ledger Technol."],"published-print":{"date-parts":[[2024,6,30]]},"abstract":"<jats:p>\n            Shared code in blockchains, known as\n            <jats:italic>smart contracts<\/jats:italic>\n            , stands to replace important parts of our digital governance and financial infrastructure. The permissionless execution of smart contracts is tightly coupled to cryptocurrencies and Proof-of-Work blockchains. As a result, smart contracts inherit the environmental impact of Proof-of-Work blockchains, such as its energy consumption, carbon footprint, and electronic waste. The four concepts of relaxed consistency, strong identities, probabilistic consensus, and the use of liabilities instead of assets may change the status quo. This work explores the integration of these concepts to decouple smart contracts from Proof-of-Work blockchains. By means of a local-first approach, which may expose users to inconsistent ephemeral contract states, the architecture of smart contracts can be transformed to become green. Because such contract states may be dropped, we base the interactions between users on liabilities. We propose a novel paradigm for smart contract architectures, named Green Smart Contracts, that is based on a local-first approach. Furthermore, we present and implement a prototype solution for this paradigm. We validate the need for a mechanism to resolve consistency violations by replaying the contract calls of a real smart contract. Our simulation shows that violations occur more often (13% of contract invocations) when using liabilities than when using a traditional blockchain (3% of contract invocations). However, we additionally validate that they can be avoided using a consensus mechanism, and our experiments show that a publish-subscribe messaging pattern uses the fewest messages to do so, though it may not be applicable for use cases that disallow the inherent imbalance in the messaging between peers. Our carbon emission estimation shows that a Green Smart Contract approach lowers carbon emissions by 52.31% when compared with the messaging behavior of a typical peer-to-peer blockchain with 1000 nodes.\n          <\/jats:p>","DOI":"10.1145\/3607196","type":"journal-article","created":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T12:10:19Z","timestamp":1688386219000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A Local-First Approach for Green Smart Contracts"],"prefix":"10.1145","volume":"3","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1078-3144","authenticated-orcid":false,"given":"Quinten","family":"Stokkink","sequence":"first","affiliation":[{"name":"Delft University of Technology, Delft, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9882-1506","authenticated-orcid":false,"given":"Johan","family":"Pouwelse","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,6,18]]},"reference":[{"issue":"132","key":"e_1_3_3_2_2","article-title":"Money transfer made simple: A specification, a generic algorithm, and its proof","volume":"3","author":"Auvolat Alex","year":"2020","unstructured":"Alex Auvolat, Davide Frey, Michel Raynal, Francois Taiani, et\u00a0al. 2020. Money transfer made simple: A specification, a generic algorithm, and its proof. Bulletin of EATCS 3, 132 (2020).","journal-title":"Bulletin of EATCS"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tej.2010.12.004"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/DCOSS52077.2021.00083"},{"key":"e_1_3_3_5_2","article-title":"Commission proposes a trusted and secure Digital Identity for all Europeans","author":"Bahrke Johannes","year":"2021","unstructured":"Johannes Bahrke and Charles Manoury. 2021. Commission proposes a trusted and secure Digital Identity for all Europeans. European Commission. (June2021). Retrieved May 16, 2022 from https:\/\/ec.europa.eu\/commission\/presscorner\/detail\/en\/IP_21_2663.","journal-title":"European Commission"},{"key":"e_1_3_3_6_2","first-page":"183","volume-title":"International Workshop on Structured Object-Oriented Formal Language and Method","author":"Bai Chong","year":"2018","unstructured":"Chong Bai. 2018. State-of-the-art and future trends of blockchain based on DAG structure. In International Workshop on Structured Object-Oriented Formal Language and Method. Springer, 183\u2013196."},{"key":"e_1_3_3_7_2","article-title":"The Swirlds hashgraph consensus algorithm: Fair, fast, byzantine fault tolerance","volume":"34","author":"Baird Leemon","year":"2016","unstructured":"Leemon Baird. 2016. The Swirlds hashgraph consensus algorithm: Fair, fast, byzantine fault tolerance. Swirlds Tech Reports SWIRLDS-TR-2016-01, Tech. Rep 34 (2016).","journal-title":"Swirlds Tech Reports SWIRLDS-TR-2016-01, Tech. Rep"},{"key":"e_1_3_3_8_2","article-title":"Hedera: A public hashgraph network & governing council","volume":"1","author":"Baird Leemon","year":"2019","unstructured":"Leemon Baird, Mance Harmon, and Paul Madsen. 2019. Hedera: A public hashgraph network & governing council. White Paper 1 (2019).","journal-title":"White Paper"},{"issue":"10","key":"e_1_3_3_9_2","first-page":"1","article-title":"Governance in the blockchain economy: A framework and research agenda","volume":"19","author":"Beck Roman","year":"2018","unstructured":"Roman Beck, Christoph M\u00fcller-Bloch, and John Leslie King. 2018. Governance in the blockchain economy: A framework and research agenda. Journal of the Association for Information Systems 19, 10 (2018), 1.","journal-title":"Journal of the Association for Information Systems"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/TESC53336.2022.9917261"},{"key":"e_1_3_3_11_2","first-page":"1029","volume-title":"2007 IEEE International Symposium on Circuits and Systems","author":"Cao Ming","year":"2007","unstructured":"Ming Cao and Chai Wah Wu. 2007. Topology design for fast convergence of network consensus algorithms. In 2007 IEEE International Symposium on Circuits and Systems. IEEE, 1029\u20131032."},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1093\/rfs\/hhz007"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eiar.2013.12.004"},{"key":"e_1_3_3_14_2","first-page":"1","volume-title":"International Workshop on Agents and P2P Computing","author":"Crespo Arturo","year":"2004","unstructured":"Arturo Crespo and Hector Garcia-Molina. 2004. Semantic overlay networks for P2P systems. In International Workshop on Agents and P2P Computing. Springer, 1\u201313."},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1093\/ijlit\/eax003"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/COEC.2003.1210265"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2014.104"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-015-0479-0"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3209281.3209408"},{"key":"e_1_3_3_20_2","article-title":"Smart contracts: Will Fintech be the catalyst for the next global financial crisis?","author":"Duran Randall E.","year":"2019","unstructured":"Randall E. Duran and Paul Griffin. 2019. Smart contracts: Will Fintech be the catalyst for the next global financial crisis? Journal of Financial Regulation and Compliance (2019).","journal-title":"Journal of Financial Regulation and Compliance"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.clsr.2018.09.003"},{"key":"e_1_3_3_22_2","first-page":"170","volume-title":"International Conference on Financial Cryptography and Data Security","author":"Eskandari Shayan","year":"2019","unstructured":"Shayan Eskandari, Seyedehmahsa Moosavi, and Jeremy Clark. 2019. SoK: Transparent dishonesty: Front-running attacks on blockchain. In International Conference on Financial Cryptography and Data Security. Springer, 170\u2013189."},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/1120717.1120723"},{"key":"e_1_3_3_24_2","unstructured":"Gartner. 2018. Digitalization Will Make Most Heritage Financial Firms Irrelevant. (102018). https:\/\/www.gartner.com\/en\/doc\/338356-digitalization-will-make-most-heritage-financial-firms-irrelevant."},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664267"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294279"},{"issue":"17","key":"e_1_3_3_27_2","first-page":"88","article-title":"The expansion of algorithmic governance: From code is law to law is code","author":"Hassan Samer","year":"2017","unstructured":"Samer Hassan and Primavera De Filippi. 2017. The expansion of algorithmic governance: From code is law to law is code. Field Actions Science Reports. The Journal of Field ActionsSpecial Issue 17 (2017), 88\u201390.","journal-title":"Field Actions Science Reports. The Journal of Field Actions"},{"key":"e_1_3_3_28_2","article-title":"Corda: A distributed ledger","volume":"2016","author":"Hearn Mike","year":"2016","unstructured":"Mike Hearn and Richard Gendal Brown. 2016. Corda: A distributed ledger. Corda Technical White Paper 2016 (2016).","journal-title":"Corda Technical White Paper"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"e_1_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/EEEIC.2017.7977613"},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/2524224.2524232"},{"key":"e_1_3_3_32_2","first-page":"57","article-title":"Cryptokitties transaction network analysis: The rise and fall of the first blockchain game mania","author":"Jiang Xin-Jian","year":"2021","unstructured":"Xin-Jian Jiang and Xiao Fan Liu. 2021. Cryptokitties transaction network analysis: The rise and fall of the first blockchain game mania. Frontiers in Physics (2021), 57.","journal-title":"Frontiers in Physics"},{"key":"e_1_3_3_33_2","first-page":"237","volume-title":"10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)","author":"Kapritsos Manos","year":"2012","unstructured":"Manos Kapritsos, Yang Wang, Vivien Quema, Allen Clement, Lorenzo Alvisi, and Mike Dahlin. 2012. All about Eve: Execute-verify replication for multi-core servers. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). 237\u2013250."},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3359591.3359737"},{"key":"e_1_3_3_35_2","first-page":"1","volume-title":"NSDI","author":"Levin Dave","year":"2009","unstructured":"Dave Levin, John R. Douceur, Jacob R. Lorch, and Thomas Moscibroda. 2009. TrInc: Small trusted hardware for large distributed systems. In NSDI, Vol. 9. 1\u201314."},{"key":"e_1_3_3_36_2","first-page":"515","volume-title":"2020 USENIX Annual Technical Conference (USENIX ATC 20)","author":"Li Chenxin","year":"2020","unstructured":"Chenxin 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 20). 515\u2013528."},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2906157"},{"key":"e_1_3_3_38_2","first-page":"1","article-title":"Selection of renewable energy alternatives for green blockchain investments: A hybrid IT2-based fuzzy modelling","author":"Liu Juan","year":"2021","unstructured":"Juan Liu, Jun Lv, Hasan Din\u00e7er, Serhat Y\u00fcksel, and H\u00fcsne Karaku\u015f. 2021. Selection of renewable energy alternatives for green blockchain investments: A hybrid IT2-based fuzzy modelling. Archives of Computational Methods in Engineering (2021), 1\u201315.","journal-title":"Archives of Computational Methods in Engineering"},{"key":"e_1_3_3_39_2","unstructured":"Scott Locklin. 2018. Token economics. (2018). https:\/\/basicattentiontoken.org\/static-assets\/documents\/token-econ-2018.pdf."},{"key":"e_1_3_3_40_2","article-title":"Erc-998 composable non-fungible token standard","author":"Lockyer Matt","year":"2015","unstructured":"Matt Lockyer, N. Mudge, and J. Schalm. 2015. Erc-998 composable non-fungible token standard. Ethereum Foundation (Stiftung Ethereum), Zug, Switzerland (2015).","journal-title":"Ethereum Foundation (Stiftung Ethereum), Zug, Switzerland"},{"key":"e_1_3_3_41_2","first-page":"33","volume-title":"International Workshop on Databases, Information Systems, and Peer-to-Peer Computing","author":"L\u00f6ser Alexander","year":"2003","unstructured":"Alexander L\u00f6ser, Felix Naumann, Wolf Siberski, Wolfgang Nejdl, and Uwe Thaden. 2003. Semantic overlay clusters within super-peer networks. In International Workshop on Databases, Information Systems, and Peer-to-Peer Computing. Springer, 33\u201347."},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.3571045"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/SFFCS.1999.814584"},{"key":"e_1_3_3_44_2","volume-title":"Bitcoin: A Peer-to-Peer Electronic Cash System","author":"Nakamoto Satoshi","year":"2008","unstructured":"Satoshi Nakamoto. 2008. Bitcoin: A Peer-to-Peer Electronic Cash System. Technical Report."},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/3361525.3361540"},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/2494266.2494278"},{"key":"e_1_3_3_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/3466826.3466832"},{"key":"e_1_3_3_48_2","first-page":"305","volume-title":"2014 USENIX Annual Technical Conference (USENIX ATC 14)","author":"Ongaro Diego","year":"2014","unstructured":"Diego Ongaro and John Ousterhout. 2014. In search of an understandable consensus algorithm. In 2014 USENIX Annual Technical Conference (USENIX ATC 14). 305\u2013319."},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2921936"},{"issue":"3","key":"e_1_3_3_50_2","article-title":"The tangle","volume":"1","author":"Popov Serguei","year":"2018","unstructured":"Serguei Popov. 2018. The tangle. White Paper 1, 3 (2018).","journal-title":"White Paper"},{"key":"e_1_3_3_51_2","doi-asserted-by":"publisher","DOI":"10.1007\/s12599-017-0464-6"},{"key":"e_1_3_3_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2016.7726827"},{"key":"e_1_3_3_53_2","unstructured":"Team Rocket. 2018. Snowflake to Avalanche: A novel metastable consensus protocol family for cryptocurrencies. (2018). https:\/\/ipfs.io\/ipfs\/QmUy4jh5mGNZvLkjies1RWM4YuvJh5o2FYopNPVYwrRVGV."},{"key":"e_1_3_3_54_2","article-title":"Scalable and probabilistic leaderless BFT consensus through metastability","author":"Rocket Team","year":"2019","unstructured":"Team Rocket, Maofan Yin, Kevin Sekniqi, Robbert van Renesse, and Emin G\u00fcn Sirer. 2019. Scalable and probabilistic leaderless BFT consensus through metastability. arXiv preprint arXiv:1906.08936 (2019).","journal-title":"arXiv preprint arXiv:1906.08936"},{"key":"e_1_3_3_55_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS51616.2021.00031"},{"key":"e_1_3_3_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2015.2421331"},{"key":"e_1_3_3_57_2","first-page":"9","volume-title":"IFIP Networking 2020","author":"Sakic Ermin","year":"2020","unstructured":"Ermin Sakic and Wolfgang Kellerer. 2020. Decoupling of distributed consensus, failure detection and agreement in SDN control plane. In IFIP Networking 2020. 9."},{"key":"e_1_3_3_58_2","doi-asserted-by":"publisher","DOI":"10.1007\/s12599-020-00656-x"},{"key":"e_1_3_3_59_2","doi-asserted-by":"publisher","DOI":"10.5555\/2050613.2050642"},{"key":"e_1_3_3_60_2","doi-asserted-by":"publisher","DOI":"10.1002\/jsc.2150"},{"key":"e_1_3_3_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.173"},{"key":"e_1_3_3_62_2","doi-asserted-by":"publisher","DOI":"10.1109\/LCN53696.2022.9843374"},{"key":"e_1_3_3_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/LCN52139.2021.9525011"},{"key":"e_1_3_3_64_2","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00230"},{"key":"e_1_3_3_65_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE48307.2020.00121"},{"key":"e_1_3_3_66_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfi.2019.100833"},{"key":"e_1_3_3_67_2","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_3_68_2","doi-asserted-by":"crossref","first-page":"840","DOI":"10.1109\/ALLERTON.2019.8919675","volume-title":"2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton)","author":"Tseng Lewis","year":"2019","unstructured":"Lewis Tseng. 2019. Eventual consensus: Applications to storage and blockchain. In 2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton). IEEE, 840\u2013846."},{"key":"e_1_3_3_69_2","unstructured":"F. Vogelsteller and V. Buterin. 2015. ERC-20 token standard. Ethereum Foundation (Stiftung Ethereum) Zug Switzerland (2015)."},{"key":"e_1_3_3_70_2","volume-title":"Token Economy: How the Web3 Reinvents the Internet","author":"Voshmgir Shermin","year":"2020","unstructured":"Shermin Voshmgir. 2020. Token Economy: How the Web3 Reinvents the Internet. Vol. 2. Token Kitchen."},{"key":"e_1_3_3_71_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jenvman.2022.116530"},{"key":"e_1_3_3_72_2","unstructured":"Gavin Wood et\u00a0al. 2014. Ethereum: A secure decentralised generalised transaction ledger. (2014). https:\/\/gavwood.com\/paper.pdf."},{"key":"e_1_3_3_73_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2020.2969706"},{"key":"e_1_3_3_74_2","doi-asserted-by":"publisher","DOI":"10.1145\/2701411"}],"container-title":["Distributed Ledger Technologies: Research and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3607196","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3607196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:34Z","timestamp":1750178254000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3607196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,18]]},"references-count":73,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6,30]]}},"alternative-id":["10.1145\/3607196"],"URL":"https:\/\/doi.org\/10.1145\/3607196","relation":{},"ISSN":["2769-6480","2769-6480"],"issn-type":[{"value":"2769-6480","type":"print"},{"value":"2769-6480","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6,18]]},"assertion":[{"value":"2022-12-14","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-06-20","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}