Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
167 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
42 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Atomicity and Abstraction for Cross-Blockchain Interactions (2403.07248v1)

Published 12 Mar 2024 in cs.CR and cs.DC

Abstract: A blockchain facilitates secure and atomic transactions between mutually untrusting parties on that chain. Today, there are multiple blockchains with differing interfaces and security properties. Programming in this multi-blockchain world is hindered by the lack of general and convenient abstractions for cross-chain communication and computation. Current cross-chain communication bridges have varied and low-level interfaces, making it difficult to develop portable applications. Current methods for multi-chain atomic transactions are limited in scope to cryptocurrency swaps. This work addresses these issues. We first define a uniform, high-level interface for communication between chains. Building on this interface, we formulate a protocol that guarantees atomicity for general transactions whose operations may span several chains. We formulate and prove the desired correctness and security properties of these protocols. Our prototype implementation is built using the LayerZero cross-chain bridge. Experience with this implementation shows that the new abstractions considerably simplify the design and implementation of multi-chain transactions. Experimental evaluation with multi-chain swap transactions demonstrates performance comparable to that of custom-built implementations.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (24)
  1. [n. d.]. Multi-bridge Message Aggreation. https://multi-message-aggregation.gitbook.io [Accessed on Oct, 2023].
  2. Multi-Party Cross-Chain Asset Transfers. (2023).
  3. Philip A Bernstein and Eric Newcomer. 2009. Principles of transaction processing. Morgan Kaufmann.
  4. Lilac: Parallelizing Atomic Cross-Chain Swaps. In 2022 IEEE Symposium on Computers and Communications (ISCC). IEEE, 1–8.
  5. On the security and performance of proof of work blockchains. In Proceedings of the 2016 ACM SIGSAC conference on computer and communications security. 3–16.
  6. Basic socket interface extensions for IPv6. Technical Report.
  7. Christopher Goes. 2020. The interblockchain communication protocol: An overview. arXiv preprint arXiv:2006.15918 (2020).
  8. Maurice Herlihy. 2018. Atomic cross-chain swaps. In Proceedings of the 2018 ACM symposium on principles of distributed computing. 245–254.
  9. Cross-chain deals and adversarial commerce. arXiv preprint arXiv:1905.09743 (2019).
  10. Dimitris Karakostas and Aggelos Kiayias. 2021. Securing proof-of-work ledgers via checkpointing. In 2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, 1–5.
  11. Hyperservice: Interoperability and programmability across heterogeneous blockchains. In Proceedings of the 2019 ACM SIGSAC conference on computer and communications security. 549–566.
  12. Satoshi Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. Decentralized business review (2008).
  13. Proof-of-stake consensus mechanisms for future blockchain networks: fundamentals, applications and opportunities. IEEE access 7 (2019), 85727–85745.
  14. Nomic Foundation. 2023. Hardhat: Ethereum development environment for professionals. [Online]. Available:https://hardhat.org/, accessed on: 2023-10.
  15. Blockchain cap theorem allows user-dependent adaptivity and finality. In Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II 25. Springer, 84–103.
  16. Melanie Swan. 2015. Blockchain: Blueprint for a new economy. ” O’Reilly Media, Inc.”.
  17. Trustboost: Boosting trust among interoperable blockchains. arXiv preprint arXiv:2210.11571 (2022).
  18. Gerhard Weikum and Gottfried Vossen. 2001. Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery. Elsevier.
  19. Gavin Wood. 2016. Polkadot: Vision for a heterogeneous multi-chain framework. White paper 21, 2327 (2016), 4662.
  20. zkbridge: Trustless cross-chain bridges made practical. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. 3003–3017.
  21. Fault-tolerant and Expressive Cross-Chain Swaps. In Proceedings of the 24th International Conference on Distributed Computing and Networking. 28–37.
  22. Atomic Commitment Across Blockchains. Proceedings of the VLDB Endowment 13, 9 ([n. d.]).
  23. Layerzero: Trustless omnichain interoperability protocol. arXiv preprint arXiv:2110.13871 (2021).
  24. An overview on smart contracts: Challenges, advances and platforms. Future Generation Computer Systems 105 (2020), 475–491.
Citations (2)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now