English
Related papers

Related papers: Modeling and Verification of the Bitcoin Protocol

200 papers

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

This paper presents Wrapless -- a lending protocol that enables the collateralization of bitcoins without requiring a trusted wrapping mechanism. The protocol facilitates a "loan channel" on the Bitcoin blockchain, allowing bitcoins to be…

Nakamoto double spend strategy, described in Bitcoin foundational article, leads to total ruin with positive probability and does not make sense from the profitability point of view. The simplest strategy that can be profitable incorporates…

Cryptography and Security · Computer Science 2021-02-24 Cyril Grunspan , Ricardo Pérez-Marco

We focus on the problem of botnet orchestration and discuss how attackers can leverage decentralised technologies to dynamically control botnets with the goal of having botnets that are resilient against hostile takeovers. We cover critical…

Cryptography and Security · Computer Science 2020-05-05 Dimitri Kamenski , Arash Shaghaghi , Matthew Warren , Salil S. Kanhere

We introduce proof of spending in a block-chain system. In this system the probability for a node to create a legal block is proportional to the total amount of coins it has spent in history.

Cryptography and Security · Computer Science 2018-05-22 Chunlei Liu

Digital payment schemes show an ever increasing importance. Out of the countless different schemes available this article focuses on the popular Bitcoin system. The authors provide a description of Bitcoin's unique technological basis and…

Computers and Society · Computer Science 2013-09-02 Artus Krohn-Grimberghe Christoph Sorge

Many blockchain-based algorithms, such as Bitcoin, implement a decentralized asset transfer system, often referred to as a cryptocurrency. As stated in the original paper by Nakamoto, at the heart of these systems lies the problem of…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-06-14 Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi

Blockchain has received a widespread attention because of its decentralized, tamper-proof, and transparent nature. Blockchain works over the principle of distributed, secured, and shared ledger, which is used to record, and track data…

Cryptography and Security · Computer Science 2020-04-21 Muneeb Ul Hassan , Mubashir Husain Rehmani , Jinjun Chen

Blockchain also known as a distributed ledger technology stores different transactions/operations in a chain of blocks in a distributed manner without needing a trusted third-party. Blockchain is proven to be immutable which helps for…

Cryptography and Security · Computer Science 2019-04-30 Danda B. Rawat , Vijay Chaudhary , Ronald Doku

Clients of permissionless blockchain systems, like Bitcoin, rely on an underlying peer-to-peer network to send and receive transactions. It is critical that a client is connected to at least one honest peer, as otherwise the client can be…

Cryptography and Security · Computer Science 2020-07-07 Bithin Alangot , Daniel Reijsbergen , Sarad Venugopalan , Pawel Szalachowski

We design and validate new block propagation protocols for the peer-to-peer (P2P) network of the Bitcoin blockchain. Despite its strong protection for security and privacy, the current Bitcoin blockchain can only support a low number of…

Networking and Internet Architecture · Computer Science 2021-01-05 Lihao Zhang , Taotao Wang , Soung Chang Liew

Cryptocurrencies are a type of digital money meant to provide security and anonymity while using cryptography techniques. Although cryptocurrencies represent a breakthrough and provide some important benefits, their usage poses some risks…

General Finance · Quantitative Finance 2024-01-22 Ana Fernández Vilas , Rebeca P. Díaz Redondo , Daniel Couto Cancela , Alejandro Torrado Pazos

Bitcoin is an immutable permissionless blockchain system that has been extensively used as a public bulletin board by many different applications that heavily relies on its immutability. However, Bitcoin's immutability is not without its…

Cryptography and Security · Computer Science 2019-10-10 Dominic Deuber , Bernardo Magri , Sri Aravinda Krishnan Thyagarajan

Blockchains are typically managed by peer-to-peer (P2P) networks providing the support and substrate to the so-called distributed ledger (DLT), a replicated, shared, and synchronized data structure, geographically spread across multiple…

Networking and Internet Architecture · Computer Science 2020-11-30 Sami Ben Mariem , Pedro Casas , Matteo Romiti , Benoit Donnet , Rainer Stütz , Bernhard Haslhofer

Bitcoin, as well as many of its successors, require the whole transaction record to be reliably acquired by all nodes to prevent double-spending. Recently, many blockchains have been proposed to achieve scale-out throughput by letting nodes…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-18 Zhijie Ren , Kelong Cong , Taico V. Aerts , Bart A. P. de Jonge , Alejandro F. Morais , Zekeriya Erkin

Blockchains are intended to be immutable, so an attacker who is able to delete transactions through a chain reorganization (a malicious reorg) can perform a profitable double-spend attack. We study the rate at which an attacker can execute…

Cryptography and Security · Computer Science 2020-09-14 Michael Neuder , Daniel J. Moroz , Rithvik Rao , David C. Parkes

The problem of anomaly detection has been studied for a long time, and many Network Analysis techniques have been proposed as solutions. Although some results appear to be quite promising, no method is clearly to be superior to the rest. In…

Social and Information Networks · Computer Science 2017-02-28 Thai Pham , Steven Lee

Blockchain technology is an interlinked systematic chain of blocks that contains transaction history and other user data. It works under the principle of decentralized distributed digital ledger. This technology enables cryptographically…

Cryptography and Security · Computer Science 2020-12-25 AKM Bahalul Haque , Mahbubur Rahman

Bitcoin treasury companies have taken stock markets by storm amassing billions of dollars worth of tokens in hundreds of entities. The paper discusses, how leverage - whether created through corporate debt or investors using stock as loan…

Portfolio Management · Quantitative Finance 2025-09-17 B K Meister

When analyzing Bitcoin users' balance distribution, we observed that it follows a log-normal pattern. Drawing parallels from the successful application of Gibrat's law of proportional growth in explaining city size and word frequency…

General Economics · Economics 2024-09-17 Yu Zhang , Claudio Tessone