English
Related papers

Related papers: An Incentive-Compatible Smart Contract for Decentr…

200 papers

We present efficient protocols for amortized secure multiparty computation with penalties and secure cash distribution, of which poker is a prime example. Our protocols have an initial phase where the parties interact with a cryptocurrency…

Cryptography and Security · Computer Science 2017-02-14 Iddo Bentov , Ranjit Kumaresan , Andrew Miller

The aim of this work is to study the use of decentralization and smart contracts on blockchain networks. We investigate the implementation and use of smart contracts on the platforms Bitcoin, Ethereum and Hyperledger Fabric. Additionally,…

Cryptography and Security · Computer Science 2019-03-13 Theodosis Mourouzis , Jayant Tandon

In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordingly, it would be desirable if blockchains could interact…

Cryptography and Security · Computer Science 2021-06-29 Markus Nissl , Emanuel Sallinger , Stefan Schulte , Michael Borkowski

We put forward the idea that classical blockchains and smart contracts are potentially useful primitives not only for classical cryptography, but for quantum cryptography as well. Abstractly, a smart contract is a functionality that allows…

Quantum Physics · Physics 2019-07-04 Andrea Coladangelo

Inspired by Bitcoin, many different kinds of cryptocurrencies based on blockchain technology have turned up on the market. Due to the special structure of the blockchain, it has been deemed impossible to directly trade between traditional…

Cryptography and Security · Computer Science 2020-05-08 Hangyu Tian , Kaiping Xue , Shaohua Li , Jie Xu , Jianqing Liu , Jun Zhao

Blockchains are being positioned as the "technology of trust" that can be used to mediate transactions between non-trusting parties without the need for a central authority. They support transaction types that are native to the blockchain…

Cryptography and Security · Computer Science 2024-11-06 Nodirbek Korchiev , Akash Pateria , Vodelina Samatova , Sogolsadat Mansouri , Kemafor Anyanwu

Modern mathematics is built on the idea that proofs should be translatable into formal proofs, whose validity is an objective question, decidable by a computer. Yet, in practice, proofs are informal and may omit many details. An agent…

Computer Science and Game Theory · Computer Science 2021-10-14 Sylvain Carré , Franck Gabriel , Clément Hongler , Gustavo Lacerda , Gloria Capano

A blockchain-based smart contract or a "smart contract" for short, is a computer program intended to digitally facilitate the negotiation or contractual terms directly between users when certain conditions are met. With the advance in…

Computers and Society · Computer Science 2019-06-11 Yining Hu , Madhusanka Liyanage , Ahsan Mansoor , Kanchana Thilakarathna , Guillaume Jourjon , Aruna Seneviratne

The rise of smart contract systems such as Ethereum has resulted in a proliferation of blockchain-based decentralized applications including applications that store and manage a wide range of data. Current smart contracts are designed to be…

Cryptography and Security · Computer Science 2019-02-26 Chao Li , Balaji Palanisamy , Runhua Xu

Smart contracts are stateful programs deployed on blockchains; they secure over a trillion dollars in transaction value per year. High-stakes smart contracts often rely on timely alerts about external events, but prior work has not analyzed…

Cryptography and Security · Computer Science 2026-04-14 Marwa Mouallem , Lorenz Breidenbach , Ittay Eyal , Ari Juels

Bribery is a perilous issue in the real world, especially in an economical aspect. This fraudulence is unavoidable, and more importantly, it is more difficult to trace in case smart contracts are utilized for bribing on a distributed public…

Cryptography and Security · Computer Science 2023-06-16 Quang Tran , Lin Chen , Lei Xu , Yang Lu , Rabimba Karanjai , Weidong Shi

Using blockchain technology, it is possible to create contracts that offer a reward in exchange for a trained machine learning model for a particular data set. This would allow users to train machine learning models for a reward in a…

Cryptography and Security · Computer Science 2018-03-01 A. Besir Kurtulmus , Kenny Daniel

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

In this paper, we construct a decentralized clearing mechanism which endogenously and automatically provides a claims resolution procedure. This mechanism can be used to clear a network of obligations through blockchain. In particular, we…

Risk Management · Quantitative Finance 2022-01-11 Hamed Amini , Maxim Bichuch , Zachary Feinstein

Programmable blockchains have long been a hot research topic given their tremendous use in decentralized applications. Smart contracts, using blockchains as their underlying technology, inherit the desired properties such as verifiability,…

Cryptography and Security · Computer Science 2025-08-19 Zhaorun Lin

In today's programmable blockchains, smart contracts are limited to being deterministic and non-probabilistic. This lack of randomness is a consequential limitation, given that a wide variety of real-world financial contracts, such as…

Computer Science and Game Theory · Computer Science 2019-02-22 Krishnendu Chatterjee , Amir Kafshdar Goharshady , Arash Pourdamghani

Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital platforms of distributed trust. Among these technologies, smart contract platforms have…

Computers and Society · Computer Science 2018-03-14 Alexandra Covaci , Simone Madeo , Patrick Motylinski , Stéphane Vincent

This chapter contributes to evolving the versatility and complexity of blockchain-enabled services through extending the functionality of blockchain-enforced smart contracts. The contributions include: (i) a method for automated management…

Cryptography and Security · Computer Science 2018-06-29 Craig Wright , Antoaneta Serguieva

Blockchains provide environments where parties can interact transparently and securely peer-to-peer without needing a trusted third party. Parties can trust the integrity and correctness of transactions and the verifiable execution of…

Cryptography and Security · Computer Science 2023-03-02 Simon Tschirner , Shashank Shekher Tripathi , Mathias Roeper , Markus M. Becker , Volker Skwarek

We examine blockchain technologies, especially smart contracts, as a platform for decentralized applications. By providing a basis for consensus, blockchain promises to upend business models that presuppose a central authority. However,…

Computers and Society · Computer Science 2018-01-10 Munindar P. Singh , Amit K. Chopra