English
Related papers

Related papers: How To Save Fees in Bitcoin Smart Contracts: a Sim…

200 papers

Ethereum's Gas mechanism attempts to set transaction fees in accordance with the computational cost of transaction execution: a cost borne by default by every node on the network to ensure correct smart contract execution. Gas encourages…

Cryptography and Security · Computer Science 2019-05-03 Renlord Yang , Toby Murray , Paul Rimba , Udaya Parampalli

Demand for blockchains such as Bitcoin and Ethereum is far larger than supply, necessitating a mechanism that selects a subset of transactions to include "on-chain" from the pool of all pending transactions. This paper investigates the…

Cryptography and Security · Computer Science 2023-12-27 Tim Roughgarden

Bitcoin is a "crypto currency", a decentralized electronic payment scheme based on cryptography which has recently gained excessive popularity. Scientific research on bitcoin is less abundant. A paper at Financial Cryptography 2012…

Cryptography and Security · Computer Science 2014-04-11 Nicolas T. Courtois , Marek Grajek , Rahul Naik

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…

Bitcoin demonstrated the possibility of a financial ledger that operates without the need for a trusted central authority. However, concerns persist regarding its security and considerable energy consumption. We assess the consensus…

Computer Science and Game Theory · Computer Science 2025-03-04 Jacob D. Leshno , Elaine Shi , Rafael Pass

A major issue for many applications of blockchain technology is the tension between immutability and compliance to regulations. For instance, the GDPR in the EU requires to guarantee, under some circumstances, the right to be forgotten.…

Cryptography and Security · Computer Science 2023-05-18 Vincenzo Botta , Vincenzo Iovino , Ivan Visconti

Formal verification entails testing software to ensure it operates as specified. Smart contracts are self-executing contracts with the terms of the agreement directly written into lines of code. They run on blockchain platforms and…

Software Engineering · Computer Science 2025-10-22 Rene Davila , Everardo Barcenas , Rocio Aldeco-Perez

Modern blockchain applications benefit from the ability to specify sequencing constraints on the transactions that interact with them. This paper proposes a principled and axiomatically justified way of adding sequencing constraints on…

Databases · Computer Science 2026-01-29 Naveen Durvasula

A bitcoin covenant is a mechanism to enforce conditions on how the control of coins will be transferred in the future. This work introduces deleted-key covenants; using pre-signed transactions with secure key deletion. With this, a general…

Cryptography and Security · Computer Science 2020-07-01 Jacob Swambo , Spencer Hommel , Bob McElrath , Bryan Bishop

The Ethereum blockchain platform supports the execution of decentralised applications or smart contracts. These typically hold and transfer digital currency to other parties on the platform; however, they have been subject to numerous…

Programming Languages · Computer Science 2019-04-16 Franklin Schrans , Daniel Hails , Alexander Harkness , Sophia Drossopoulou , Susan Eisenbach

Bitcoin is the world's first decentralized digital currency. Its main technical innovation is the use of a blockchain and hash-based proof of work to synchronize transactions and prevent double-spending the currency. While the qualitative…

Cryptography and Security · Computer Science 2014-02-12 Meni Rosenfeld

Bitcoin is the most successful cryptocurrency so far. This is mainly due to its novel consensus algorithm, which is based on proof-of-work combined with a cryptographically-protected data structure and a rewarding scheme that incentivizes…

Cryptography and Security · Computer Science 2019-05-24 Pawel Szalachowski , Daniel Reijsbergen , Ivan Homoliak , Siwei Sun

Bitcoin is the cryptocurrency with the largest market capitalisation, but its widespread adoption is fundamentally limited by the scalability constraints of its consensus algorithm, which requires every transaction to be confirmed onchain.…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-21 Pim Keer , Matteo Maffei , Marco Argentieri , Andrew Camilleri , Zeta Avarikioti

Bitcoin and other similar digital currencies on blockchains are not ideal means for payment, because their prices tend to go up in the long term (thus people are incentivized to hoard those currencies), and to fluctuate widely in the short…

Computers and Society · Computer Science 2019-05-17 Kenji Saito , Mitsuru Iwamura

It has been known for some time that the Nakamoto consensus as implemented in the Bitcoin protocol is not totally aligned with the individual interests of the participants. More precisely, it has been shown that block withholding mining…

Cryptography and Security · Computer Science 2025-02-07 Cyril Grunspan , Ricardo Perez-Marco

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

Cryptocurrencies have received a lot of research attention in recent years following the release of the first cryptocurrency Bitcoin. With the rise in cryptocurrency transactions, the need for smart contracts has also increased. Smart…

Cryptography and Security · Computer Science 2022-05-17 Aritra Banerjee , Michael Clear , Hitesh Tewari

For preserving privacy, blockchains can be equipped with dedicated mechanisms to anonymize participants. However, these mechanism often take only the abstraction layer of blockchains into account whereas observations of the underlying…

Networking and Internet Architecture · Computer Science 2018-07-31 David Mödinger , Henning Kopp , Frank Kargl , Franz J. Hauck

Options are fundamental to blockchain-based financial services, offering essential tools for risk management and price speculation, which enhance liquidity, flexibility, and market efficiency in decentralized finance (DeFi). Despite the…

Cryptography and Security · Computer Science 2025-05-27 Zifan Peng , Yingjie Xue , Jingyu Liu

Bitcoin mining presents a significant economic incentive for efficient hashing and broadcast of data, both parameters stemming from the Proofs of Work used to advance the network. This incentive has led to the development of Bitcoin…

Cryptography and Security · Computer Science 2016-03-17 Jonathan Harvey-Buschel , Can Kisagun