English
Related papers

Related papers: Atomic Smart Contract Interoperability with High E…

200 papers

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

As the significance of blockchain innovation grows and the focus on scalability intensifies, rollup technology has emerged as a promising approach to tackle these scalability concerns. Nonetheless, rollups encounter restrictions when…

Cryptography and Security · Computer Science 2023-06-01 Hyun Jeong , Hyemin Lee

A smart contract on a blockchain cannot keep a secret because its data is replicated on all nodes in a network. To remedy this problem, it has been suggested to combine blockchains with trusted execution environments (TEEs), such as Intel…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-23 Marcus Brandenburger , Christian Cachin , Rüdiger Kapitza , Alessandro Sorniotti

Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for…

Cryptography and Security · Computer Science 2018-04-24 Ilya Grishchenko , Matteo Maffei , Clara Schneidewind

As transaction fees skyrocket today, blockchains become increasingly expensive, hurting their adoption in broader applications. This work tackles the saving of transaction fees for economic blockchain applications. The key insight is that…

Cryptography and Security · Computer Science 2022-10-11 Yibo Wang , Yuzhe Tang

Research in blockchain systems has mainly focused on improving security and bridging the performance gaps between blockchains and databases. Despite many promising results, we observe a worrying trend that the blockchain landscape is…

Databases · Computer Science 2019-10-23 Tien Tuan Anh Dinh , Anwitaman Datta , Beng Chin Ooi

Blokchain is used in a variety of applications where trustworthy computing is re-quired. Trade finance is one of these areas that would benefit immensely from a decentralized way of doing transactions. This paper presents the preliminary…

Cryptography and Security · Computer Science 2022-04-29 Asif Bhat , Rizal Mohd Nor , Md Amiruzzaman , Md. Rajibul Islam

Efficiency is a fundamental property of any type of program, but it is even more so in the context of the programs executing on the blockchain (known as smart contracts). This is because optimizing smart contracts has direct consequences on…

Programming Languages · Computer Science 2023-01-13 Elvira Albert , Jesús Correas , Pablo Gordillo , Guillermo Román-Díez , Albert Rubio

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to…

Cryptography and Security · Computer Science 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo

Blockchain technology has revolutionized contractual processes, enhancing efficiency and trust through smart contracts. Ethereum, as a pioneer in this domain, offers a platform for decentralized applications but is challenged by the…

Cryptography and Security · Computer Science 2025-04-16 Tahrim Hossain , Sakib Hassan , Faisal Haque Bappy , Muhammad Nur Yanhaona , Sarker Ahmed Rumee , Moinul Zaber , Tariqul Islam

As a blockchain platform that has developed vigorously in recent years, Ethereum is different from Bitcoin in that it introduces smart contracts into blockchain.Solidity is one of the most mature and widely used smart contract programming…

Software Engineering · Computer Science 2019-11-25 Pengcheng Zhang , Feng Xiao , Xiapu Luo

There is growing interest in providing programmatic access to the value locked in Bitcoin, which famously offers limited programmability itself. Various approaches have been put forth in recent years, with the vast majority of proposed…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-30 Ryan Croote , Islam El-Ashi , Thomas Locher , Yvonne-Anne Pignolet

Recently, enterprises have paid attention to permissioned blockchain (BC), where business transactions among inter-authorized organizations (forming a consortium) can automatically be executed on the basis of a distributed consensus…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-01 Tatsuya Sato , Yosuke Himura , Jun Nemoto

Ethereum smart contracts are executable programs, deployed on a peer-to-peer network and executed in a consensus-based fashion. Their bytecode is public, immutable and once deployed to the blockchain, cannot be patched anymore. As smart…

Cryptography and Security · Computer Science 2019-07-10 Konrad Weiss , Julian Schütte

Ethereum smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. Smart contracts handle and transfer assets of values, offering strong incentives for malicious attacks. Intrusion attacks are…

Software Engineering · Computer Science 2019-11-28 Xinming Wang , Jiahao He , Zhijian Xie , Gansen Zhao , Shing-Chi Cheung

In an increasingly complex contractual landscape, the demand for transparency, security, and efficiency has intensified. Blockchain technology, with its decentralized and immutable nature, addresses these challenges by reducing intermediary…

Cryptography and Security · Computer Science 2025-07-23 Lambard Maxence , Bertelle Cyrille , Duvallet Claude

Block-STM is a parallel execution engine for smart contracts, built around the principles of Software Transactional Memory. Transactions are grouped in blocks, and every execution of the block must yield the same deterministic outcome.…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-08-29 Rati Gelashvili , Alexander Spiegelman , Zhuolun Xiang , George Danezis , Zekun Li , Dahlia Malkhi , Yu Xia , Runtian Zhou

The evaluation of smart contract reputability is essential to foster trust in decentralized ecosystems. However, existing methods that rely solely on code analysis or transactional data, offer limited insight into evolving trustworthiness.…

Machine Learning · Computer Science 2025-04-01 Cyrus Malik , Josef Bajada , Joshua Ellul

Blockchain interoperability, which allows state transitions across different blockchain networks, is critical functionality to facilitate major blockchain adoption. Existing interoperability protocols mostly focus on atomic token exchange…

Cryptography and Security · Computer Science 2019-09-05 Zhuotao Liu , Yangxi Xiang , Jian Shi , Peng Gao , Haoyu Wang , Xusheng Xiao , Bihan Wen , Yih-Chun Hu

Smart contracts provide the means to stipulate rules of interaction between mutually distrustful organizations. They encode contractual agreements on the basis of source code, which else need to be contractualized in natural language. While…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-07 Tobias Eichinger , Marcel Ebermann