English
Related papers

Related papers: Atomic Smart Contract Interoperability with High E…

200 papers

Modern blockchains support a variety of distributed applications beyond cryptocurrencies, including smart contracts -- which let users execute arbitrary code in a distributed and decentralized fashion. Regardless of their intended…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-15 Orestis Alpos , Christian Cachin , Giorgia Azzurra Marson , Luca Zanolini

As the number of decentralized applications and users on Ethereum grows, the ability of the blockchain to efficiently handle a growing number of transactions becomes increasingly strained. Ethereums current execution model relies heavily on…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-03 Souradeep Das , Konpat Preechakul , Jonas Bäumer , Riddhi Patel , Jefferson Jinchuan Li

Decentralized smart contracts enable trustless collaboration but suffer from limited privacy and scalability, which hinders broader adoption. Trusted Execution Environment (TEE) based off-chain execution frameworks offer a promising…

Cryptography and Security · Computer Science 2025-11-07 Keyu Zhang , Andrew Martin

With the advent of blockchain technologies, the idea of decentralized applications has gained traction. Smart contracts permit the implementation of application logic to foster distributed systems that are capable of removing…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-12 Martin Westerkamp

Blockchains and smart contracts are an emerging, promising technology, that has received considerable attention. We use the blockchain technology, and in particular Ethereum, to implement a large-scale event-based Internet of Things (IoT)…

Cryptography and Security · Computer Science 2019-07-10 Nikos Fotiou , Iakovos Pittaras , Vasilios A. Siris , Spyros Voulgaris , George C. Polyzos

The General Purpose Atomic Crosschain Transaction protocol allows composable programming across multiple Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one…

Cryptography and Security · Computer Science 2021-07-06 Peter Robinson , Raghavendra Ramesh

Blockchain technology has set off a wave of decentralization in the world since its birth. The trust system constructed by blockchain technology based on cryptography algorithm and computing power provides a practical and powerful solution…

Computational Engineering, Finance, and Science · Computer Science 2025-05-08 Pengfei Gao , Dechao Kong , Xiaoqi Li

Blockchain technology provides a tamper-proof mechanism to execute inter-organizational business processes involving mutually untrusted parties. Existing approaches to blockchain-based process execution are based on code generation. In…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run…

Computers and Society · Computer Science 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft

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…

Cryptography and Security · Computer Science 2024-03-13 Huaixi Lu , Akshay Jajoo , Kedar S. Namjoshi

The increasing demand for scalable blockchain has driven research into parallel execution models for smart contracts. Crystality is a novel smart contract programming language designed for parallel Ethereum Virtual Machines (EVMs), enabling…

Programming Languages · Computer Science 2025-04-25 Ziyun Xu , Hao Wang , Meng Sun

The Layer 2 Atomic Cross-Blockchain Function Calls protocol allows composable programming across Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one part fails,…

Cryptography and Security · Computer Science 2020-07-02 Peter Robinson , Raghavendra Ramesh

Ethereum is a permissionless blockchain ecosystem that supports execution of smart contracts, the key enablers of decentralized finance (DeFi) and non-fungible tokens (NFT). However, the expressiveness of Ethereum smart contracts is a…

Cryptography and Security · Computer Science 2023-01-24 Nikolay Ivanov , Qiben Yan , Anurag Kompalli

With the rapid advancement of blockchain technology, smart contracts have enabled the implementation of increasingly complex functionalities. However, ensuring the security of smart contracts remains a persistent challenge across the stages…

Cryptography and Security · Computer Science 2025-05-01 Yuchen Ding , Hongli Peng , Xiaoqi Li

Atomic Crosschain Transaction technology allows composable programming across private Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one part fails, the whole…

Cryptography and Security · Computer Science 2020-04-03 Peter Robinson , Raghavendra Ramesh , John Brainard , Sandra Johnson

Blockchain platforms, such as Ethereum, allow a set of actors to maintain a ledger of transactions without relying on a central authority and to deploy scripts, called smart contracts, that are executed whenever certain transactions occur.…

Software Engineering · Computer Science 2019-04-23 Orlenys López-Pintado , Luciano García-Bañuelos , Marlon Dumas , Ingo Weber , Alex Ponomarev

Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Specifically, a process model comprising tasks performed by multiple parties can be…

Software Engineering · Computer Science 2016-12-12 Luciano García-Bañuelos , Alexander Ponomarev , Marlon Dumas , Ingo Weber

Ethereum, a leading blockchain platform, has revolutionized the digital economy by enabling decentralized transactions and the execution of smart contracts. Ethereum transactions form the backbone of its network, facilitating peer-to-peer…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-30 Dvir David Biton , Roy Friedman , Yaron Hay

Energy storage units (ESUs) enable several attractive features of modern smart grids such as enhanced grid resilience, effective demand response, and reduced bills. However, uncoordinated charging of ESUs stresses the power system and can…

Cryptography and Security · Computer Science 2019-04-03 Mohamed Baza , Mahmoud Nabil , Muhammad Ismail , Mohamed Mahmoud , Erchin Serpedin , Mohammad Rahman

In the blockchain-based, distributed computing platform Ethereum, programs called smart contracts are compiled to bytecode and executed on the Ethereum Virtual Machine (EVM). Executing EVM bytecode is subject to monetary fees---a clear…

Logic in Computer Science · Computer Science 2020-05-13 Julian Nagele , Maria A Schett