{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T11:30:56Z","timestamp":1767094256728,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,1,6]]},"DOI":"10.1145\/3772290.3772309","type":"proceedings-article","created":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T11:24:18Z","timestamp":1767093858000},"page":"71-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Grassroots Platforms with Atomic Transactions: Social Graphs, Cryptocurrencies, and Democratic Federations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-8266-3125","authenticated-orcid":false,"given":"Ehud","family":"Shapiro","sequence":"first","affiliation":[{"name":"Weizmann Institute of Science, London School of Economics, Rehovot, Israel and Department of Mathematics and Data Science Institute, London School of Economics, London, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2026,1,5]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"[n. d.]."},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Leslie Lamport. 1993. Composing specifications. ACM Transactions on Programming Languages and Systems (TOPLAS) 15 1 (1993) 73\u2013132.","DOI":"10.1145\/151646.151649"},{"key":"e_1_3_3_2_4_2","first-page":"48","volume-title":"European Symposium on Programming","author":"Acciai Lucia","year":"2007","unstructured":"Lucia Acciai, Michele Boreale, and Silvano Dal\u00a0Zilio. 2007. A concurrent calculus with atomic transactions. In European Symposium on Programming. Springer, 48\u201363."},{"key":"e_1_3_3_2_5_2","unstructured":"Juan Benet. 2014. Ipfs-content addressed versioned p2p file system. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/1407.3561 (2014)."},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596648"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3293611.3331590"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/1578002.1578010","volume-title":"Proceedings of the Second ACM EuroSys Workshop on Social Network Systems","author":"Buchegger Sonja","year":"2009","unstructured":"Sonja Buchegger, Doris Schi\u00f6berg, Le-Hung Vu, and Anwitaman Datta. 2009. PeerSoN: P2P social networking: early experiences and insights. In Proceedings of the Second ACM EuroSys Workshop on Social Network Systems. 46\u201352."},{"key":"e_1_3_3_2_9_2","unstructured":"Vitalik Buterin. 2018. Governance Part 2: Plutocracy Is Still Bad. Available at https:\/\/vitalik.eth.limo\/general\/2018\/03\/28\/plutocracy.html."},{"key":"e_1_3_3_2_10_2","first-page":"51","volume-title":"CEUR Proceedings of the First International Forum on Digital and Democracy","volume":"2781","author":"Cardelli Luca","year":"2020","unstructured":"Luca Cardelli, Liav Orgad, Gal Shahaf, Ehud Shapiro, and Nimrod Talmon. 2020. Digital social contracts: A foundation for an egalitarian and just digital society. In CEUR Proceedings of the First International Forum on Digital and Democracy , Vol.\u00a02781. CEUR-WS, 51\u201360."},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Gregory Chockler and Alexey Gotsman. 2021. Multi-shot distributed transaction commit. Distributed Computing 34 (2021) 301\u2013318.","DOI":"10.1007\/s00446-021-00389-4"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281118"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/1266894.1266899","volume-title":"Proceedings of the 2007 inaugural international conference on Distributed event-based systems","author":"Chockler Gregory","year":"2007","unstructured":"Gregory Chockler, Roie Melamed, Yoav Tock, and Roman Vitenberg. 2007. Spidercast: a scalable interest-aware overlay for topic-based pub\/sub communication. In Proceedings of the 2007 inaugural international conference on Distributed event-based systems. 14\u201325."},{"key":"e_1_3_3_2_14_2","first-page":"569","volume-title":"International Conference on Concurrency Theory","author":"Vries Edsko de","year":"2010","unstructured":"Edsko de Vries, Vasileios Koutavas, and Matthew Hennessy. 2010. Communicating transactions. In International Conference on Concurrency Theory. Springer, 569\u2013583."},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/978-3-642-17164-2_27","volume-title":"Asian Symposium on Programming Languages and Systems","author":"De\u00a0Vries Edsko","year":"2010","unstructured":"Edsko De\u00a0Vries, Vasileios Koutavas, and Matthew Hennessy. 2010. Liveness of communicating transactions. In Asian Symposium on Programming Languages and Systems. Springer, 392\u2013407."},{"key":"e_1_3_3_2_16_2","unstructured":"DSNP. 2022 dsnp.org. Decentralized Social Networking Protocol."},{"key":"e_1_3_3_2_17_2","unstructured":"Ethereum. 2021 https:\/\/ethereum.org\/en\/dao. Decentralized autonomous organizations (DAOs) | ethereum.org. https:\/\/ethereum.org\/en\/dao\/"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"crossref","unstructured":"Youssef Faqir-Rhazoui Javier Arroyo and Samer Hassan. 2021. A comparative analysis of the platforms for decentralized autonomous organizations in the Ethereum blockchain. Journal of Internet Services and Applications 12 (2021) 1\u201320.","DOI":"10.1186\/s13174-021-00139-6"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"crossref","unstructured":"Daniel Halpern Ariel\u00a0D Procaccia Ehud Shapiro and Nimrod Talmon. 2024. Federated Assemblies.","DOI":"10.1609\/aaai.v39i13.33520"},{"key":"e_1_3_3_2_20_2","unstructured":"Idit Keidar Andrew Lewis-Pye and Ehud Shapiro. 2025. Constitutional Consensus."},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428662.3428794"},{"key":"e_1_3_3_2_22_2","unstructured":"Leslie Lamport. 1999. Specifying Concurrent Systems with TLA+. NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES 173 (1999) 183\u2013250."},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/3-540-10571-9_11","volume-title":"Distributed Systems\u2014Architecture and Implementation: an Advanced Course","author":"Lampson Butler\u00a0W","year":"1981","unstructured":"Butler\u00a0W Lampson. 1981. Chapter 11. atomic transactions. In Distributed Systems\u2014Architecture and Implementation: an Advanced Course. Springer, 246\u2013265."},{"key":"e_1_3_3_2_24_2","unstructured":"Andrew Lewis-Pye Oded Naor and Ehud Shapiro. 2023. Grassroots Flash: A Payment System for Grassroots Cryptocurrencies. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2309.13191 (2023)."},{"key":"e_1_3_3_2_25_2","first-page":"41","volume-title":"ICDT\u201988: 2nd International Conference on Database Theory Bruges, Belgium, August 31\u2013September 2, 1988 Proceedings 2","author":"Lynch Nancy","year":"1988","unstructured":"Nancy Lynch, Michael Merritt, William Weihl, and Alan Fekete. 1988. A theory of atomic transactions. In ICDT\u201988: 2nd International Conference on Database Theory Bruges, Belgium, August 31\u2013September 2, 1988 Proceedings 2. Springer, 41\u201371."},{"key":"e_1_3_3_2_26_2","volume-title":"Atomic transactions: in concurrent and distributed systems","author":"Lynch Nancy\u00a0A","year":"1993","unstructured":"Nancy\u00a0A Lynch and Michael Merritt. 1993. Atomic transactions: in concurrent and distributed systems. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/978-3-540-39724-3_28","volume-title":"Advanced Research Working Conference on Correct Hardware Design and Verification Methods","author":"Manolios Panagiotis","year":"2003","unstructured":"Panagiotis Manolios. 2003. A compositional theory of refinement for branching time. In Advanced Research Working Conference on Correct Hardware Design and Verification Methods. Springer, 304\u2013318."},{"key":"e_1_3_3_2_28_2","first-page":"103","volume-title":"International Conference on Computer Aided Systems Theory","author":"Menezes P\u00a0Blauth","year":"1995","unstructured":"P\u00a0Blauth Menezes, J\u00a0F\u00e9lix Costa, and Am\u00edlcar Sernadas. 1995. Refinement mapping for general (discrete event) systems theory. In International Conference on Computer Aided Systems Theory. Springer, 103\u2013116."},{"key":"e_1_3_3_2_29_2","unstructured":"Satoshi Nakamoto and A Bitcoin. 2008. A peer-to-peer electronic cash system. Bitcoin.\u2013URL: https:\/\/bitcoin.org\/bitcoin.pdf 4 (2008)."},{"key":"e_1_3_3_2_30_2","unstructured":"Satoshi Nakamoto and A Bitcoin. 2008. A peer-to-peer electronic cash system."},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3355369.3355572"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/1080091.1080102","volume-title":"Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications","author":"Rhea Sean","year":"2005","unstructured":"Sean Rhea, Brighten Godfrey, Brad Karp, John Kubiatowicz, Sylvia Ratnasamy, Scott Shenker, Ion Stoica, and Harlan Yu. 2005. OpenDHT: a public DHT service and its uses. In Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications. 73\u201384."},{"key":"e_1_3_3_2_33_2","unstructured":"Ehud Shapiro. 2021. Multiagent Transition Systems: Protocol-Stack Mathematics for Distributed Computing. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2112.13650 (2021)."},{"key":"e_1_3_3_2_34_2","unstructured":"Ehud Shapiro. 2023. Grassroots Distributed Systems: Concept Examples Implementation and Applications (Brief Announcement)."},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3599696.3612898"},{"key":"e_1_3_3_2_36_2","unstructured":"Ehud Shapiro. 2024. Grassroots Currencies: Foundations for Grassroots Digital Economies. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2202.05619 (2024)."},{"key":"e_1_3_3_2_37_2","unstructured":"Ehud Shapiro. 2025. Grassroots Logic Programs: A Secure Multiagent Concurrent Logic Programming Language. arxiv:https:\/\/arXiv.org\/abs\/2510.15747\u00a0[cs.PL] https:\/\/arxiv.org\/abs\/2510.15747"},{"key":"e_1_3_3_2_38_2","unstructured":"Ehud Shapiro and Nimrod Talmon. 2025. Grassroots Federation: Fair Governance of Large-Scale Decentralized Sovereign Digital Communities. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2505.02208 (2025)."},{"key":"e_1_3_3_2_39_2","first-page":"1","volume-title":"Proceedings of the 6th ACM conference on information-centric networking","author":"Tarr Dominic","year":"2019","unstructured":"Dominic Tarr, Erick Lavoie, Aljoscha Meyer, and Christian Tschudin. 2019. Secure scuttlebutt: An identity-centric protocol for subjective and decentralized applications. In Proceedings of the 6th ACM conference on information-centric networking. 1\u201311."},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500488"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"crossref","unstructured":"Zeli Wang Hai Jin Weiqi Dai Kim-Kwang\u00a0Raymond Choo and Deqing Zou. 2021. Ethereum smart contract security research: survey and future research opportunities. Frontiers of Computer Science 15 2 (2021) 1\u201318.","DOI":"10.1007\/s11704-020-9284-9"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_3_2_43_2","unstructured":"Gavin Wood et\u00a0al. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper 151 2014 (2014) 1\u201332."},{"key":"e_1_3_3_2_44_2","volume-title":"The age of surveillance capitalism: The fight for a human future at the new frontier of power","author":"Zuboff Shoshana","year":"2019","unstructured":"Shoshana Zuboff. 2019. The age of surveillance capitalism: The fight for a human future at the new frontier of power. Public Affairs, US."},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"crossref","unstructured":"Shoshana Zuboff. 2022. Surveillance capitalism or democracy? The death match of institutional orders and the politics of knowledge in our information civilization. Organization Theory 3 3 (2022) 26317877221129290.","DOI":"10.1177\/26317877221129290"}],"event":{"name":"ICDCN 2026: 27th International Conference on Distributed Computing and Networking","acronym":"ICDCN 2026","location":"Nara Japan"},"container-title":["Proceedings of the 27th International Conference on Distributed Computing and Networking"],"original-title":[],"deposited":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T11:24:58Z","timestamp":1767093898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3772290.3772309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,5]]},"references-count":44,"alternative-id":["10.1145\/3772290.3772309","10.1145\/3772290"],"URL":"https:\/\/doi.org\/10.1145\/3772290.3772309","relation":{},"subject":[],"published":{"date-parts":[[2026,1,5]]},"assertion":[{"value":"2026-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}