Litcius/Paper detail

Instant Function Calls Using Synchronized Cross-Blockchain Smart Contracts

Martin Westerkamp, Axel Küpper

2023IEEE Transactions on Network and Service Management19 citationsDOIOpen Access PDF

Abstract

Most current cross-blockchain approaches focus on exchanging or transferring tokens between networks. While some concepts foster smart contract invocations across blockchains, they require multiple transactions and operate asynchronously. We present a concept enabling instant smart contract calls by creating synchronized client contracts on arbitrary blockchains. Other smart contracts can query these client contracts on the target blockchain for retrieving information without requiring cross-chain message queues. With this, we reduce the dependency of smart contracts on their host blockchain, as remote contracts become available as read-only instances. The synchronization process does not require trust in the executing intermediary since Merkle proofs based on shared state roots are utilized to guarantee correct execution. We propose a novel concept called transition proofs for efficiently proving the correctness of state updates. The prototypical implementation permits smart contract synchronization between EVM-compatible blockchains. Our evaluation shows the approach’s applicability regarding execution costs and delay. Further, we conduct a case study by synchronizing one of the largest decentralized exchanges deployed to the Ethereum network.

Topics & Concepts

Computer scienceSmart contractBlockchainSynchronizingCorrectnessMathematical proofDistributed computingSynchronization (alternating current)State (computer science)Dependency (UML)Process (computing)Computer securityComputer networkOperating systemProgramming languageSoftware engineeringTransmission (telecommunications)Channel (broadcasting)GeometryMathematicsTelecommunicationsBlockchain Technology Applications and SecurityCryptography and Data SecurityDistributed systems and fault tolerance