English
Related papers

Related papers: Modelling Bitcoin in Agda

200 papers

Bitcoin is built on a blockchain, an immutable decentralised ledger that allows entities (users) to exchange Bitcoins in a pseudonymous manner. Bitcoins are associated with alpha-numeric addresses and are transferred via transactions. Each…

Social and Information Networks · Computer Science 2021-05-20 Jan Alexander Fischer , Andres Palechor , Daniele Dell'Aglio , Abraham Bernstein , Claudio J. Tessone

The Bitcoin transaction graph is a public data structure organized as transactions between addresses, each associated with a logical entity. In this work, we introduce a complete probabilistic model of the Bitcoin Blockchain. We first…

Cryptography and Security · Computer Science 2018-12-14 Marc Jourdan , Sebastien Blandin , Laura Wynter , Pralhad Deshpande

Bitcoin is the first implementation of what has become known as a 'public permissionless' blockchain. Guaranteeing security and protocol conformity through its elegant combination of cryptographic assurances and game theoretic economic…

Cryptography and Security · Computer Science 2018-02-23 D. McGinn , D McIlwraith , Y. Guo

Bitcoin has become the leading cryptocurrency system, but the limit on its transaction processing capacity has resulted in increased transaction fees and delayed transaction confirmation. As such, it is pertinent to understand and probably…

Cryptography and Security · Computer Science 2021-06-21 Befekadu G. Gebraselase , Bjarne E. Helvik , Yuming Jiang

Bitcoin (BTC) is probably the most transparent payment network in the world, thanks to the full history of transactions available to the public. Though, Bitcoin is not a fully anonymous environment, rather a pseudonymous one, accounting for…

Cryptography and Security · Computer Science 2021-03-18 Maurantonio Caprolu , Matteo Pontecorvi , Matteo Signorini , Carlos Segarra , Roberto Di Pietro

Blockchain offers a decentralized, immutable, transparent system of records. It offers a peer-to-peer network of nodes with no centralised governing entity making it unhackable and therefore, more secure than the traditional paper-based or…

Cryptography and Security · Computer Science 2019-11-27 Harsh Jot Singh , Abdelhakim Senhaji Hafid

As the killer application of blockchain technology, blockchain-based payments have attracted extensive attention ranging from hobbyists to corporates to regulatory bodies. Blockchain facilitates fast, secure, and cross-border payments…

Software Engineering · Computer Science 2021-08-19 Qinghua Lu , Xiwei Xu , H. M. N. Dilum Bandara , Shiping Chen , Liming Zhu

The state-of-the-art techniques for processing cross-blockchain transactions take a simple centralized approach: when the assets on blockchain $X$, say $X$-coins, are exchanged with the assets on blockchain $Y$---the $Y$-coins, those…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-20 Dongfang Zhao

Emerging applications of blockchains, such as grocery supply chains, require frequent updates to the data structure. This is in contrast with typical analyses of the Bitcoin blockchain, in which updates occur infrequently. With more…

Probability · Mathematics 2025-11-05 Partha S. Dey , Aditya Gopalan

Blockchain technology is ushering in another break-out year, the challenge of blockchain still remains to be solved. This paper analyzes the features of Bitcoin and Bitcoin-NG system based on blockchain, proposes an improved method of…

Cryptography and Security · Computer Science 2018-11-01 Jia Kan , Shangzhe Chen , Xin Huang

In blockchain systems, especially cryptographic currencies such as Bitcoin, the double-spending and Byzantine-general-like problem are solved by reaching consensus protocols among all nodes. The state-of-the-art protocols include…

Cryptography and Security · Computer Science 2018-08-02 Jianwen Chen , Kai Duan , Rumin Zhang , Liaoyuan Zeng , Wenyi Wang

Blockchain has been considered as an important technique to enable secure management of virtual network functions and network slices. To understand such capabilities of a blockchain, e.g. transaction confirmation time, demands a thorough…

Cryptography and Security · Computer Science 2020-10-22 Befekadu G. Gebraselase , Bjarne E. Helvik , Yuming Jiang

A main focus in economics research is understanding the time series of prices of goods and assets. While statistical models using only the properties of the time series itself have been successful in many aspects, we expect to gain a better…

Physics and Society · Physics 2014-12-15 Dániel Kondor , István Csabai , János Szüle , Márton Pósfai , Gábor Vattay

Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger. Since…

Logic in Computer Science · Computer Science 2015-11-16 Kaylash Chaudhary , Ansgar Fehnker , Jaco van de Pol , Marielle Stoelinga

Bitcoin is a peer-to-peer cryptographic currency system. Since its introduction in 2008, Bitcoin has gained noticeable popularity, mostly due to its following properties: (1) the transaction fees are very low, and (2) it is not controlled…

Cryptography and Security · Computer Science 2014-07-01 Marcin Andrychowicz , Stefan Dziembowski , Daniel Malinowski , Łukasz Mazurek

This work is organized as follows. In the first section we review the prior work and we have obtained our data. Next, we will look at address reuse in the Bitcoin network. We show that a great portion of users reuse their addresses which…

Social and Information Networks · Computer Science 2018-04-24 Mohammad Sadegh Ebrahimi , Afshin Babveyh

Bitcoins have recently become an increasingly popular cryptocurrency through which users trade electronically and more anonymously than via traditional electronic transfers. Bitcoin's design keeps all transactions in a public ledger. The…

Cryptography and Security · Computer Science 2015-02-06 Michael Fleder , Michael S. Kester , Sudeep Pillai

Decentralized blockchain platforms have enabled the secure exchange of crypto-assets without the intermediation of trusted authorities. To this purpose, these platforms rely on a peer-to-peer network of byzantine nodes, which…

Cryptography and Security · Computer Science 2023-06-22 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

Several blockchain consensus protocols proposed to use of Directed Acyclic Graphs (DAGs) to solve the limited processing throughput of traditional single-chain Proof-of-Work (PoW) blockchains. Many such protocols utilize a random…

Cryptography and Security · Computer Science 2023-05-29 Martin Perešíni , Ivan Homoliak , Federico Matteo Benčić , Martin Hrubý , Kamil Malinka

Blockchain is an essentially distributed database recording all transactions or digital events among participating parties. Each transaction in the records is approved and verified by consensus of the participants in the system that…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-07 Jie You
‹ Prev 1 2 3 10 Next ›