Smart Contracts on the Move

被引:30
|
作者
Fynn, Enrique [1 ]
Bessani, Alysson [2 ]
Pedone, Fernando [3 ]
机构
[1] Univ Svizzera Italiana, Lugano, Switzerland
[2] Univ Lisbon, Fac Ciencias, LASIGE, Lisbon, Portugal
[3] Univ Svizzera Italiana, Interchain Fdn, Lugano, Switzerland
来源
2020 50TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2020) | 2020年
基金
瑞士国家科学基金会;
关键词
D O I
10.1109/DSN48063.2020.00040
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is crucial for blockchain to reach widespread adoption, it is difficult to achieve due to differences among existing blockchain technologies. This paper presents a technique to allow blockchain interoperability. The core idea is to provide a primitive operation to developers so that contracts and objects can switch from one blockchain to another, without breaking consistency and violating key blockchain properties. To validate our ideas, we implemented our protocol in two popular blockchain clients that use the Ethereum virtual machine. We discuss how to build applications using the proposed protocol and show examples of applications based on real use cases that can move across blockchains. To analyze the system performance we use a real trace from one of the most popular Ethereum applications and replay it in a multi-blockchain environment.
引用
收藏
页码:233 / 244
页数:12
相关论文
共 50 条
  • [1] Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain
    Keilty, Eric
    Nelaturu, Keerthi
    Kastania, Anastasia
    Veneris, Andreas
    2023 5TH CONFERENCE ON BLOCKCHAIN RESEARCH & APPLICATIONS FOR INNOVATIVE NETWORKS AND SERVICES, BRAINS, 2023,
  • [2] Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
    Dill, David
    Grieskamp, Wolfgang
    Park, Junkil
    Qadeer, Shaz
    Xu, Meng
    Zhong, Emma
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 183 - 200
  • [3] Smart contracts: an opportunity to move towards new business models in industry
    Mendizabal, Begona
    Mosteiro-Sanchez, Aintzane
    Montalvillo, Leticia
    Urbieta, Aitor
    DYNA, 2024, 99 (06): : 557 - 559
  • [4] Interpretation of Contracts and Smart Contracts: Smart Interpretation or Interpretation of Smart Contracts?
    Cannarsa, Michel
    EUROPEAN REVIEW OF PRIVATE LAW, 2018, 26 (06): : 773 - 785
  • [5] Smart Contracts Contracts
    Bartoletti, Massimo
    FRONTIERS IN BLOCKCHAIN, 2020, 3
  • [6] Smart contracts in Spain; the regulation of smart contracts
    Legeren-Molina, Antonio
    REVISTA DE DERECHO CIVIL, 2018, 5 (02): : 193 - 241
  • [7] Future Contracts: Smart Contracts
    Kashyap, Sistla
    Pathak, Pankaj
    CARDIOMETRY, 2022, (24): : 729 - 736
  • [8] Smart contracts
    De Filippi, Primavera
    Wray, Chris
    Sileno, Giovanni
    INTERNET POLICY REVIEW, 2021, 10 (02):
  • [9] SMART MOVE
    不详
    CHEMISTRY IN BRITAIN, 1991, 27 (09) : 771 - 771
  • [10] Smart contracts
    Meitinger T.H.
    Informatik-Spektrum, 2017, 40 (4) : 371 - 375