{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T15:39:28Z","timestamp":1769269168340,"version":"3.49.0"},"reference-count":41,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T00:00:00Z","timestamp":1694995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Distrib. Ledger Technol."],"published-print":{"date-parts":[[2023,9,30]]},"abstract":"<jats:p>The Unspent Transaction Output (UTXO) model is commonly used in the field of Distributed Ledger Technology (DLT) to transfer value between participants. One of its advantages is that it allows parallel processing of transactions, as independent transactions can be added in any order. This property of order invariance and parallelisability has potential benefits in terms of scalability. However, since the UTXO Ledger is an append-only data structure, this advantage is compromised through the presence of conflicting transactions. We propose an extended UTXO Ledger model that optimistically updates the ledger and keeps track of the dependencies of the possible conflicts. In the presence of a conflict resolution mechanism, we propose a method to reduce the extended ledger back to a consistent UTXO Ledger.<\/jats:p>","DOI":"10.1145\/3616022","type":"journal-article","created":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T10:15:32Z","timestamp":1692094532000},"page":"1-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Reality-based UTXO Ledger"],"prefix":"10.1145","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1250-118X","authenticated-orcid":false,"given":"Sebastian","family":"M\u00fcller","sequence":"first","affiliation":[{"name":"Aix Marseille Universit\u00e9, CNRS, Centrale Marseille, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1149-8487","authenticated-orcid":false,"given":"Andreas","family":"Penzkofer","sequence":"additional","affiliation":[{"name":"IOTA Foundation, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3735-5705","authenticated-orcid":false,"given":"Nikita","family":"Polyanskii","sequence":"additional","affiliation":[{"name":"IOTA Foundation, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4866-8299","authenticated-orcid":false,"given":"Jonas","family":"Theis","sequence":"additional","affiliation":[{"name":"IOTA Foundation, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1799-6442","authenticated-orcid":false,"given":"William","family":"Sanders","sequence":"additional","affiliation":[{"name":"IOTA Foundation, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0134-8975","authenticated-orcid":false,"given":"Hans","family":"Moog","sequence":"additional","affiliation":[{"name":"IOTA Foundation, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,9,18]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-022-07412-y"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363213"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/COINS49042.2020.9191430"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2019.2928178"},{"key":"e_1_3_2_6_2","unstructured":"Vitalik Buterin. 2013. Ethereum: A Next-Generation Smart Contract and Decentralized Application Platform. (2013)."},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54455-3_37"},{"key":"e_1_3_2_8_2","unstructured":"Duncan Coutts. 2022. Implement Ouroboros Leios to increase Cardano throughput. (2022). https:\/\/github.com\/cardano-foundation\/CIPs\/pull\/379"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/3492321.3519594"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3087801.3087835"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2017.2781227"},{"key":"e_1_3_2_13_2","unstructured":"E. Dra\u0327sutis. IOTA Smart Contracts. (accessed January 2022)."},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243812"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3318041.3355467"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2203.06871"},{"key":"e_1_3_2_17_2","article-title":"Bullshark: DAG BFT protocols made practical","volume":"2201","author":"Giridharan Neil","year":"2022","unstructured":"Neil Giridharan, Lefteris Kokoris-Kogias, Alberto Sonnino, and Alexander Spiegelman. 2022. Bullshark: DAG BFT protocols made practical. CoRR abs\/2201.05677 (2022). arXiv:2201.05677https:\/\/arxiv.org\/abs\/2201.05677","journal-title":"CoRR"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3465084.3467905"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2205.09174"},{"key":"e_1_3_2_20_2","unstructured":"Sergio Demian Lerner. 2015. DagCoin: A Cryptocurrency without Blocks. (2015). https:\/\/bitslog.wordpress.com\/2015\/09\/11\/dagcoin\/"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47854-7_33"},{"key":"e_1_3_2_22_2","first-page":"281","volume-title":"2014 USENIX Annual Technical Conference (USENIX ATC\u201914)","author":"Li Cheng","year":"2014","unstructured":"Cheng Li, Joao Leit\u00e3o, Allen Clement, Nuno Pregui\u00e7a, Rodrigo Rodrigues, and Viktor Vafeiadis. 2014. Automating the choice of consistency levels in replicated systems. In 2014 USENIX Annual Technical Conference (USENIX ATC\u201914). USENIX Association, Philadelphia, PA, 281\u2013292. https:\/\/www.usenix.org\/conference\/atc14\/technical-sessions\/presentation\/li_cheng_2"},{"key":"e_1_3_2_23_2","article-title":"GHAST: Breaking confirmation delay barrier in Nakamoto Consensus via adaptive weighted blocks","volume":"2006","author":"Li Chenxing","year":"2020","unstructured":"Chenxing Li, Fan Long, and Guang Yang. 2020. GHAST: Breaking confirmation delay barrier in Nakamoto Consensus via adaptive weighted blocks. ArXiv abs\/2006.01072 (2020).","journal-title":"ArXiv"},{"key":"e_1_3_2_24_2","first-page":"265","volume-title":"10th  \\(\\lbrace\\) USENIX \\(\\rbrace\\)  Symposium on Operating Systems Design and Implementation ( \\(\\lbrace\\) OSDI \\(\\rbrace\\) \u201912)","author":"Li Cheng","year":"2012","unstructured":"Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Pregui\u00e7a, and Rodrigo Rodrigues. 2012. Making geo-replicated systems fast as possible, consistent when necessary. In 10th \\(\\lbrace\\) USENIX \\(\\rbrace\\) Symposium on Operating Systems Design and Implementation ( \\(\\lbrace\\) OSDI \\(\\rbrace\\) \u201912). 265\u2013278."},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978399"},{"key":"e_1_3_2_26_2","unstructured":"Mysten Lab. 2022. The Sui Smart Contracts Platform. (2022). https:\/\/github.com\/MystenLabs\/sui\/blob\/main\/doc\/paper\/sui.pdf"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3211422"},{"key":"e_1_3_2_28_2","unstructured":"Satoshi Nakamoto. 2008. Bitcoin: A Peer-to-peer Electronic Cash System. (2008)."},{"key":"e_1_3_2_29_2","unstructured":"People on nxtforum.org. 2014. DAG a Generalized Blockchain. (2014). https:\/\/nxtforum.org\/proof-of-stake-algorithm\/dag-a-generalized-blockchain\/"},{"key":"e_1_3_2_30_2","unstructured":"Serguei Popov. 2015. The Tangle. (2015)."},{"key":"e_1_3_2_31_2","unstructured":"Serguei Popov Hans Moog Darcy Camargo Angelo Capossele Vassil Dimitrov Alon Gal Andrew Greve Bartosz Kusmierz Sebastian Mueller Andreas Penzkofer Olivia Saa William Sanders Luigi Vigneri Wolfgang Welz and Vidal Attias. 2019. The Coordicide. (2019)."},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3465084.3467930"},{"key":"e_1_3_2_33_2","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/978-3-642-24550-3_29","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"Shapiro Marc","year":"2011","unstructured":"Marc Shapiro, Nuno Pregui\u00e7a, Carlos Baquero, and Marek Zawirski. 2011. Conflict-free replicated data types. In Stabilization, Safety, and Security of Distributed Systems, Xavier D\u00e9fago, Franck Petit, and Vincent Villain (Eds.). Springer Berlin, Berlin, 386\u2013400."},{"key":"e_1_3_2_34_2","article-title":"SPECTRE: A Fast and Scalable Cryptocurrency Protocol","author":"Sompolinsky Yonatan","year":"2016","unstructured":"Yonatan Sompolinsky, Yoad Lewenberg, and Aviv Zohar. 2016. SPECTRE: A Fast and Scalable Cryptocurrency Protocol. Cryptology ePrint Archive, Report 2016\/1159. (2016).","journal-title":"Cryptology ePrint Archive, Report 2016\/1159"},{"key":"e_1_3_2_35_2","article-title":"The DAG KNIGHT Protocol: A Parameterless Generalization of Nakamoto Consensus","author":"Sompolinsky Yonatan","year":"2022","unstructured":"Yonatan Sompolinsky and Michael Sutton. 2022. The DAG KNIGHT Protocol: A Parameterless Generalization of Nakamoto Consensus. Cryptology ePrint Archive, Paper 2022\/1494. (2022). https:\/\/eprint.iacr.org\/2022\/1494","journal-title":"Cryptology ePrint Archive, Paper 2022\/1494"},{"key":"e_1_3_2_36_2","first-page":"57","volume-title":"PHANTOM GHOSTDAG: A Scalable Generalization of Nakamoto Consensus: September 2, 2021","author":"Sompolinsky Yonatan","year":"2021","unstructured":"Yonatan Sompolinsky, Shai Wyborski, and Aviv Zohar. 2021. PHANTOM GHOSTDAG: A Scalable Generalization of Nakamoto Consensus: September 2, 2021. Association for Computing Machinery, New York, NY, USA, 57\u201370."},{"key":"e_1_3_2_37_2","first-page":"881","article-title":"Accelerating Bitcoin\u2019s transaction processing. Fast money grows on trees, not chains","volume":"2013","author":"Sompolinsky Yonatan","year":"2013","unstructured":"Yonatan Sompolinsky and Aviv Zohar. 2013. Accelerating Bitcoin\u2019s transaction processing. Fast money grows on trees, not chains. IACR Cryptol. ePrint Arch. 2013 (2013), 881.","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"e_1_3_2_38_2","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/978-3-662-47854-7_32","volume-title":"Financial Cryptography and Data Security","author":"Sompolinsky Yonatan","year":"2015","unstructured":"Yonatan Sompolinsky and Aviv Zohar. 2015. Secure high-rate transaction processing in Bitcoin. In Financial Cryptography and Data Security, Rainer B\u00f6hme and Tatsuaki Okamoto (Eds.). Springer Berlin, Berlin, 507\u2013527."},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/CVCBT50464.2020.00011"},{"key":"e_1_3_2_40_2","article-title":"SoK: Diving into DAG-based blockchain systems","volume":"2012","author":"Wang Qin","year":"2020","unstructured":"Qin Wang, Jiangshan Yu, Shiping Chen, and Yang Xiang. 2020. SoK: Diving into DAG-based blockchain systems. ArXiv abs\/2012.06128 (2020).","journal-title":"ArXiv"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1909.11261"},{"key":"e_1_3_2_42_2","first-page":"90","article-title":"OHIE: Blockchain scaling made simple","author":"Yu Haifeng","year":"2018","unstructured":"Haifeng Yu, Ivica Nikolic, Ruomu Hou, and P. Saxena. 2018. OHIE: Blockchain scaling made simple. 2020 IEEE Symposium on Security and Privacy (SP) (2018), 90\u2013105.","journal-title":"2020 IEEE Symposium on Security and Privacy (SP)"}],"container-title":["Distributed Ledger Technologies: Research and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3616022","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3616022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:30Z","timestamp":1750178190000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3616022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,18]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,9,30]]}},"alternative-id":["10.1145\/3616022"],"URL":"https:\/\/doi.org\/10.1145\/3616022","relation":{},"ISSN":["2769-6472","2769-6480"],"issn-type":[{"value":"2769-6472","type":"print"},{"value":"2769-6480","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,18]]},"assertion":[{"value":"2022-05-03","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-08-03","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}