English
Related papers

Related papers: A Stream Pipeline Framework for Digital Payment Pr…

200 papers

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

Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking…

Programming Languages · Computer Science 2021-08-31 Thi Thu Ha Doan , Peter Thiemann

Smart Contracts (SCs) are programs stored in a Blockchain to ensure agreements between two or more parties. Due to the unchangeable essence of Blockchain, failures or errors in SCs become perpetual once published. The reliability of SCs is…

Society is in constant transition to keep up with technological advancement, we are seeing traditional paradigms being increasingly challenged. The fundamentals of governance are one such paradigm. As society's values have shifted, so have…

Cryptography and Security · Computer Science 2018-05-16 Freya Sheer Hardwick , Raja Naeem Akram , Konstantinos Markantonakis

Smart contracts are programs that implement potentially sophisticated transactions on modern blockchain platforms. In the rapidly evolving blockchain environment, smart contract programming languages must allow users to write expressive…

Programming Languages · Computer Science 2020-07-24 Sam Blackshear , David L. Dill , Shaz Qadeer , Clark W. Barrett , John C. Mitchell , Oded Padon , Yoni Zohar

Ethereum Smart Contracts based on Blockchain Technology (BT)enables monetary transactions among peers on a blockchain network independent of a central authorizing agency. Ethereum smart contracts are programs that are deployed as…

Cryptography and Security · Computer Science 2021-05-17 Noama Fatima Samreen , Manar H. Alalfi

Smart contracts are small but highly security-critical programs that implement wallets, token systems, auctions, crowd funding systems, elections, and other multi-party transactions on the blockchain. A broad range of methods has been…

Logic in Computer Science · Computer Science 2023-07-11 Norine Coenen , Bernd Finkbeiner , Jana Hofmann , Julia Tillman

Unlike Ethereum, which was conceived as a general-purpose smart-contract platform, Bitcoin was designed primarily as a transaction ledger for its native currency, which limits programmability for conditional applications. This constraint is…

Cryptography and Security · Computer Science 2026-02-11 Giulio Caldarelli

Payment Channel Networks (PCNs) have been proposed as an alternative solution to the scalability, throughput, and cost overhead problems associated with blockchain transactions. By facilitating offchain execution of transactions, PCNs…

Cryptography and Security · Computer Science 2024-11-20 Kartick Kolachala , Mohammed Ababneh , Roopa Vishwanathan

The advent of blockchain technology and its adoption across various sectors have raised critical discussions about the need for regulatory mechanisms to ensure consumer protection, maintain financial stability, and address privacy concerns…

Cryptography and Security · Computer Science 2024-07-16 Oshani Seneviratne

The rise of digital currency and the public ledger Block Chain has led to the development of a new type of electronic contract known as "smart contracts." For these contracts to be considered valid, they must adhere to traditional contract…

Contracts are an essential and fundamental component of commerce and society, serving to clarify agreement between multiple parties. While digital technologies have helped to automate many activities associated with contracting, the…

Computers and Society · Computer Science 2020-06-01 John Cummins , Christopher Clack

Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other…

Software Engineering · Computer Science 2025-06-04 Christian Gang Liu , Peter Bodorik , Dawn Jutla

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

Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a central authorizing agency. Ethereum Smart Contracts are programs…

Cryptography and Security · Computer Science 2021-05-21 Noama Fatima Samreen , Manar H. Alalfi

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad…

Cryptography and Security · Computer Science 2017-11-28 Anastasia Mavridou , Aron Laszka

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

Smart contracting protocols promise to regulate the transfer of cryptocurrency amongst participants in a trustless manner. A safe smart contract implementation should ensure that each participant can always append a contract transaction to…

Cryptography and Security · Computer Science 2020-07-16 James Chiang

More than eight million smart contracts have been deployed into Ethereum, which is the most popular blockchain that supports smart contract. However, less than 1% of deployed smart contracts are open-source, and it is difficult for users to…

Software Engineering · Computer Science 2020-07-21 Xiaoqi Li , Ting Chen , Xiapu Luo , Tao Zhang , Le Yu , Zhou Xu

Smart contracts are the building blocks of the "code is law" paradigm: the smart contract's code indisputably describes how its assets are to be managed - once it is created, its code is typically immutable. Faulty smart contracts present…

Software Engineering · Computer Science 2022-05-17 Pedro Antonino , Juliandson Ferreira , Augusto Sampaio , A. W. Roscoe