English
Related papers

Related papers: Modeling and Verification of the Bitcoin Protocol

200 papers

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

The Bitcoin cryptocurrency has received much attention recently. In the network of Bitcoin, transactions are recorded in a ledger. In this network, the process of recording transactions depends on some nodes called miners that execute a…

Cryptography and Security · Computer Science 2023-02-15 Ali Nikhalat-Jahromi , Ali Mohammad Saghiri , Mohammad Reza Meybodi

The Bitcoin digital currency appeared in 2009. Since this time, researchers and practitioners have looked under the hood of the open source Bitcoin currency, and discovered that Bitcoins Blockchain software architecture is useful for…

Computers and Society · Computer Science 2017-03-20 J. Prpić

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

Digital currencies primarily operate online, but there is growing interest in enabling offline transactions to improve digital inclusion. Existing offline methods struggle with double-spending risks, often limiting transaction amounts. In…

Quantum Physics · Physics 2025-02-26 Yichi Zhang , Siyuan Jin , Yuhan Huang , Qiming Shao

This research study focuses primarily on Block-Chain-based voting systems, which facilitate participation in and administration of voting for voters, candidates, and officials. Because we used Block-Chain in the backend, which enables…

Machine Learning · Computer Science 2023-03-14 Jagbeer Singh , Utkarsh Rastogi , Yash Goel , Brijesh Gupta , Utkarsh

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

With blockchain technology, information is recorded in a permanent distributed ledger that is maintained by multiple computers in a peer-to-peer network. There is no central authority that can alter records or change network consensus…

Computers and Society · Computer Science 2019-12-02 A. J. Santos

Cryptocurrencies, based on and led by Bitcoin, have shown promise as infrastructure for pseudonymous online payments, cheap remittance, trustless digital asset exchange, and smart contracts. However, Bitcoin-derived blockchain protocols…

Cryptography and Security · Computer Science 2015-11-12 Ittay Eyal , Adem Efe Gencer , Emin Gun Sirer , Robbert van Renesse

Decentralized payment systems such as Bitcoin have become massively popular in the last few years, yet there is still much to be done in understanding their formal properties. The vast majority of decentralized payment systems work by…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-22 Thomas Orton

Blockchains use peer-to-peer networks for disseminating information among peers, but these networks currently do not have any provable guarantees for desirable properties such as Byzantine fault tolerance, good connectivity and small…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-02-01 Vijeth Aradhya , Seth Gilbert , Aquinas Hobor

Motivated by the great success and adoption of Bitcoin, a number of cryptocurrencies such as Litecoin, Dogecoin, and Ethereum are becoming increasingly popular. Although existing blockchain-based cryptocurrency schemes can ensure reasonable…

Cryptography and Security · Computer Science 2016-12-02 Jian Liu , Wenting Li , Ghassan O. Karame , N. Asokan

Cryptocurrency refers to a type of digital asset that uses distributed ledger, or blockchain, technology to enable a secure transaction. Although the technology is widely misunderstood, many central banks are considering launching their own…

Computational Finance · Quantitative Finance 2020-07-30 Wolfgang Karl Härdle , Campbell R. Harvey , Raphael C. G. Reule

This research aims to identify how Bitcoin-related news publications and online discourse are expressed in Bitcoin exchange movements of price and volume. Being inherently digital, all Bitcoin-related fundamental data (from exchanges, as…

Statistical Finance · Quantitative Finance 2018-11-09 Marvin Aron Kennis

The Bitcoin system only provides eventual consistency. For everyday life, the time to confirm a Bitcoin transaction is prohibitively slow. In this paper we propose a new system, built on the Bitcoin blockchain, which enables strong…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-12-30 Christian Decker , Jochen Seidel , Roger Wattenhofer

We propose an electronic payment protocol for typical customer-merchant relations which does not require a trusted (signed) payment descriptor to be sent from the merchant to the customer. Instead, the destination "account" number for the…

Cryptography and Security · Computer Science 2012-12-14 Ilja Gerhardt , Timo Hanke

The rise of blockchain-based cryptocurrencies has led to an explosion of services using distributed ledgers as their underlying infrastructure. However, due to inherently single-service oriented blockchain protocols, such services can bloat…

Cryptography and Security · Computer Science 2016-11-22 Adem Efe Gencer , Robbert van Renesse , Emin Gün Sirer

Cryptocurrency is a form of digital currency using cryptographic techniques in a decentralized system for secure peer-to-peer transactions. It is gaining much popularity over traditional methods of payments because it facilitates a very…

Cryptography and Security · Computer Science 2023-08-01 Samyak Jain , Sarthak Johari , Radhakrishnan Delhibabu

The Bitcoin payment system involves two agent types: Users that transact with the currency and pay fees and miners in charge of authorizing transactions and securing the system in return for these fees. Two of Bitcoin's challenges are (i)…

Cryptography and Security · Computer Science 2022-03-15 Ron Lavi , Or Sattath , Aviv Zohar

Most public blockchain protocols, including the popular Bitcoin and Ethereum blockchains, do not formally specify the order in which miners should select transactions from the pool of pending (or uncommitted) transactions for inclusion in…

Cryptography and Security · Computer Science 2021-10-25 Johnnatan Messias , Mohamed Alzayat , Balakrishnan Chandrasekaran , Krishna P. Gummadi , Patrick Loiseau , Alan Mislove