Computing with networks of smart contracts

References

[1] Wood G. Ethereum: a secure decentralised generalised transaction ledger. See ethereum.github.io/yellowpaper/paper website, 2025

[2] Herlihy M. Atomic cross-chain swaps. In: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. 2018, 245−254

[3] Nolan T. Atomic swaps using cut and choose. See bitcointalk.org/index.php?topic=1364951.100 website, 2016

[4] Organization T K. The BarterDEX whitepaper: a decentralized, open-source cryptocurrency exchange, powered by atomic-swap technology. See supernet.org/en/technology/whitepapers/BarterDEX-Whitepaper-v0.4 website, 2018

[5] Zakhary V, Agrawal D, El Abbadi A . Atomic commitment across blockchains. Proceedings of the VLDB Endowment, 2020, 13( 9): 1319–1331

[6] Zyskind G, Kisagun C, Fromknecht C. Enigma Catalyst: a machine-based investing platform and infrastructure for crypto-assets. See www.icohoo.com/enigma_catalyst website, 2017

[7] Lee S. Chainlink 2.0 and the future of decentralized oracle networks. See dribbble.com/shots/15846578-Chainlink-2-0-and-the-future-of-Decentralized-Oracle-Networks website, 2025

[8] Amoussou-Guenou Y, Herlihy M, Potop-Butucaru M, Rajsbaum S. Invited paper: the smart contract model. In: Proceedings of the 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems. 2025, 55−70

[9] Li W, Liu Z, Chen J, Liu Z, He Q . Towards blockchain interoperability: a comprehensive survey on cross-chain solutions. Blockchain: Research and Applications, 2025, 6( 3): 100286

[10] Gangwal A, Gangavalli H R, Thirupathi A . A survey of Layer-two blockchain protocols. Journal of Network and Computer Applications, 2023, 209: 103539

[11] ASDF. A complete guide on account abstraction. 2023

[12] Garay J, Kiayias A, Leonardos N. The bitcoin backbone protocol: analysis and applications. In: Proceedings of the 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques on Advances in Cryptology. 2015, 281−310

[13] Garay J, Kiayias A, Leonardos N . The bitcoin backbone protocol: analysis and applications. Journal of the ACM, 2024, 71( 4): 25

[14] Anceaume E, Ludinard R, Potop-Butucaru M, Tronel F. Bitcoin a distributed shared register. In: Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems. 2017, 456−468

[15] Anta A F, Konwar K, Georgiou C, Nicolaou N . Formalizing and implementing distributed ledger objects. ACM SIGACT News, 2018, 49( 2): 58–76

[16] Anta A F, Georgiou C, Nicolaou N. Atomic appends: selling cars and coordinating armies with multiple distributed ledgers. In: Proceedings of the 1st International Conference on Blockchain Economics, Security and Protocols. 2019, 5:1−5:16

[17] Anceaume E, Del Pozzo A, Ludinard R, Potop-Butucaru M, Tucci-Piergiovanni S. Blockchain abstract data type. In: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures. 2019, 349−358

[18] Rajsbaum S, Raynal M. Mastering concurrent computing through sequential thinking. Communications of the ACM, 2020, 63(1): 78−87

[19] Zappalà P, Belotti M, Potop-Butucaru M, Secci S. Game theoretical framework for analyzing blockchains robustness. In: Proceedings of the 35th International Symposium on Distributed Computing. 2021, 42:1−42:18

[20] Frey D, Guillou L, Raynal M, Taïani F. Consensus-free ledgers when operations of distinct processes are commutative. In: Proceedings of the 16th International Conference on Parallel Computing Technologies. 2021, 359−370

[21] Guerraoui R, Kuznetsov P, Monti M, Pavlovic M, Seredinschi D A . The consensus number of a cryptocurrency. Distributed Computing, 2022, 35( 1): 1–15

[22] Sliwinski J, Wattenhofer R. ABC: proof-of-stake without consensus. 2020, arXiv preprint arXiv: 1909.10926

[23] Belotti M, Moretti S, Potop-Butucaru M, Secci S. Game theoretical analysis of cross-chain swaps. In: Proceedings of the IEEE 40th International Conference on Distributed Computing Systems. 2020, 485−495

[24] Bartoletti M, Bracciali A, Lepore C, Scalas A, Zunino R. A formal model of algorand smart contracts. In: Proceedings of the 25th International Conference on Financial Cryptography and Data Security. 2021, 93−114

[25] Micali S. Simple and fast optimistic protocols for fair electronic exchange. In: Proceedings of the 22nd Annual Symposium on Principles of Distributed Computing. 2003, 12−19

[26] Pagnia H, Gärtner F C. On the impossibility of fair exchange without a trusted third party. Darmstadt: Darmstadt University of Technology, 1999

Rights & permissions

Higher Education Press