English
Related papers

Related papers: A true concurrent model of smart contracts executi…

200 papers

Blockchains are maintained by a network of participants that run algorithms designed to maintain collectively a distributed machine tolerant to Byzantine attacks. From the point of view of users, blockchains provide the illusion of…

Logic in Computer Science · Computer Science 2022-07-15 Martán Ceresa , César Sánchez

Although the emergence of the programmable smart contract makes blockchain systems easily embrace a wider range of industrial areas, how to execute smart contracts efficiently becomes a big challenge nowadays. Due to the existence of…

Databases · Computer Science 2019-05-20 Shuaifeng Pang , Xiaodong Qi , Zhao Zhang , Cheqing Jin , Aoying Zhou

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-24 Enrique Fynn , Alysson Bessani , Fernando Pedone

The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from…

Computers and Society · Computer Science 2018-01-09 Henry Kim , Marek Laskowski

Popular blockchains such as Ethereum and several others execute complex transactions in blocks through user-defined scripts known as smart contracts. Serial execution of smart contract transactions/atomic-units (AUs) fails to harness the…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-02-18 Parwat Singh Anjana , Sweta Kumari , Sathya Peri , Sachin Rathor , Archit Somani

UTXO-based smart contract platforms face an efficiency bottleneck, in that any transaction sent to a contract must specify the entire updated contract state. This requirement becomes particularly burdensome when the contract state contains…

Cryptography and Security · Computer Science 2026-02-03 Massimo Bartoletti , Riccardo Marchesin , Roberto Zunino

We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, data-driven transitions, and external coordination…

Programming Languages · Computer Science 2026-04-23 Elvis Konjoh Selabi , Maurizio Murgia , António Ravara , Emilio Tuosto

Executing smart contracts is a compute and storage-intensive task, which currently dominates modern blockchain's performance. Given that computers are becoming increasingly multicore, concurrency is an attractive approach to improve…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-14 Yaron Hay , Roy Friedman

One of the main bottlenecks of blockchains is smart contract execution. To increase throughput, modern blockchains try to execute transactions in parallel. Unfortunately, however, common blockchain use cases introduce read-write conflicts…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-13 George Mitenkov , Igor Kabiljo , Zekun Li , Alexander Spiegelman , Satyanarayana Vusirikala , Zhuolun Xiang , Aleksandar Zlateski , Nuno P. Lopes , Rati Gelashvili

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

Blockchain has been praised for its capacity to hold data in a decentralized and tamper-proof way. It also supports the execution of code through blockchain's smart contracts, adding automation of actions to the network with high…

Cryptography and Security · Computer Science 2021-01-25 Nicolas Six , Claudia Negri Ribalta , Nicolas Herbaut , Camille Salinesi

Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on blockchains, executed by a network of computers. Because smart contracts can…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-09 Ritam Ganguly , Yingjie Xue , Aaron Jonckheere , Parker Ljung , Benjamin Schornstein , Borzoo Bonakdarpour , Maurice Herlihy

Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust…

Logic in Computer Science · Computer Science 2018-11-16 Ron van der Meyden

Blockchain platforms such as Ethereum and several others execute complex transactions in blocks through user-defined scripts known as smart contracts. To append a correct block into blockchain, miners execute these transactions of smart…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-15 Parwat Singh Anjana , Sweta Kumari , Sathya Peri , Sachin Rathor , Archit Somani

Smart contract technology is reshaping conventional industry and business processes. Being embedded in blockchains, smart contracts enable the contractual terms of an agreement to be enforced automatically without the intervention of a…

Software Engineering · Computer Science 2019-12-24 Zibin Zheng , Shaoan Xie , Hong-Ning Dai , Weili Chen , Xiangping Chen , Jian Weng , Muhammad Imran

This paper introduces CrossLink, a decentralized framework for secure cross-chain smart contract execution that effectively addresses the inherent limitations of contemporary solutions, which primarily focus on asset transfers and rely on…

Cryptography and Security · Computer Science 2025-10-23 Tahrim Hossain , Faisal Haque Bappy , Tarannum Shaila Zaman , Tariqul Islam

Smart contracts are blockchain-based algorithms that execute when specific criteria are satisfied. They are often used to automate the implementation of an agreement so that all parties may be confident of the conclusion right away, without…

Cryptography and Security · Computer Science 2022-12-19 Harry Virani , Manthan Kyada

Cross-Blockchain communication has gained traction due to the increasing fragmentation of blockchain networks and scalability solutions such as side-chaining and sharding. With SmartSync, we propose a novel concept for cross-blockchain…

Cryptography and Security · Computer Science 2022-09-01 Martin Westerkamp , Axel Küpper

Decentralized applications rely on non-centralized technical infrastructures and coordination principles. Without trusted third parties, their execution is not controlled by entities exercising centralized coordination but is instead…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-31 Felix Härer

Ethereum clients execute transactions in a sequential order prescribed by the consensus protocol. This is a safe and conservative approach to blockchain transaction processing which forgoes running transactions in parallel even when doing…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-31 Nadi Sarrar