English
Related papers

Related papers: Rigorous and Generalized Proof of Security of Bitc…

200 papers

This paper presents a stochastic model for block arrival times based on the difficulty retargeting rule used in Bitcoin, as well as other proof-of-work blockchains. Unlike some previous work, this paper explicitly models the difficulty…

Cryptography and Security · Computer Science 2018-12-31 Daniel Fullmer , A. S. Morse

Extensive research on Nakamoto-style consensus protocols has shown that network delays degrade the security of these protocols. Established results indicate that, perhaps surprisingly, maximal security is achieved when the network is as…

Cryptography and Security · Computer Science 2024-04-16 Jannik Albrecht , Sebastien Andreina , Frederik Armknecht , Ghassan Karame , Giorgia Marson , Julian Willingmann

Bitcoin is a representative decentralized currency system. For the security of Bitcoin, fairness in the distribution of mining rewards plays a crucial role in preventing the concentration of computational power in a few miners. Here,…

Cryptography and Security · Computer Science 2025-06-17 Akira Sakurai , Kazuyuki Shudo

We survey recent results on the mathematical stability of Bitcoin protocol. Profitability and probability of a double spend are estimated in closed form with classical special functions. The stability of Bitcoin mining rules is analyzed and…

History and Overview · Mathematics 2020-03-03 Cyril Grunspan , Ricardo Pérez-Marco

Bitcoin, a decentralized cryptocurrency, has attracted a lot of attention from academia, financial service industry and enthusiasts. The trade-off between transaction confirmation throughput and centralization of hash power do not allow…

Cryptography and Security · Computer Science 2015-12-31 Danil Nemirovsky

Transparency is crucial in security-critical applications that rely on authoritative information, as it provides a robust mechanism for holding these authorities accountable for their actions. A number of solutions have emerged in recent…

Cryptography and Security · Computer Science 2018-08-08 Mustafa Al-Bassam , Sarah Meiklejohn

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

This work proposes a novel proof-of-work blockchain incentive scheme such that, barring exogenous motivations, following the protocol is guaranteed to be the optimal strategy for miners. Our blockchain takes the form of a directed acyclic…

Cryptography and Security · Computer Science 2022-06-22 Jakub Sliwinski , Roger Wattenhofer

Transaction throughput, confirmation latency and confirmation reliability are fundamental performance measures of any blockchain system in addition to its security. In a decentralized setting, these measures are limited by two underlying…

Cryptography and Security · Computer Science 2019-10-03 Vivek Bagaria , Sreeram Kannan , David Tse , Giulia Fanti , Pramod Viswanath

Safety guarantees and security-latency problem of Nakamoto consensus have been extensively studied in the last decade with a bounded delay model. Recent studies have shown that PoW protocol is secure under random delay models as well. In…

Cryptography and Security · Computer Science 2024-05-13 Mustafa Doger , Sennur Ulukus , Nail Akar

We review the so called selfish mining strategy in the Bitcoin network and compare its profitability to honest mining.We build a rigorous profitability model for repetition games. The time analysis of the attack has been ignored in the…

Computer Science and Game Theory · Computer Science 2019-01-23 Cyril Grunspan , Ricardo Pérez-Marco

The key cryptographic protocols used to secure the internet and financial transactions of today are all susceptible to attack by the development of a sufficiently large quantum computer. One particular area at risk are cryptocurrencies, a…

Quantum Physics · Physics 2020-06-07 Divesh Aggarwal , Gavin K. Brennen , Troy Lee , Miklos Santha , Marco Tomamichel

Blockchain is a novel technology that is rising a lot of interest in the industrial and re- search sectors because its properties of decentralisation, immutability and data integrity. Initially, the underlying consensus mechanism has been…

Cryptography and Security · Computer Science 2018-05-10 Stefano De Angelis

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 a peer-to-peer electronic cash system invented by Nakamoto in 2008. While it has attracted much research interest, its exact latency and security properties remain open. Existing analyses provide security and latency (or…

Cryptography and Security · Computer Science 2021-09-08 Jing Li , Ling Ren , Dongning Guo

The security of blockchain systems is fundamentally based on the decentralized consensus in which the majority of parties behave honestly, and the content verification process is essential to maintaining the robustness of blockchain…

Cryptography and Security · Computer Science 2025-08-21 Zishuo Zhao , Xi Chen , Yuan Zhou

The BIX protocol is a blockchain-based protocol that allows distribution of certificates linking a subject with his public key, hence providing a service similar to that of a PKI but without the need of a CA. In this paper we analyze the…

Cryptography and Security · Computer Science 2016-07-29 Riccardo Longo , Federico Pintore , Giancarlo Rinaldo , Massimiliano Sala

With the advancement of blockchain technology, chained Byzantine Fault Tolerant (BFT) protocols have been increasingly adopted in practical systems, making their performance a crucial aspect of the study. In this paper, we introduce a…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-01-08 Yining Tang , Qihang Luo , Runchao Han , Jianyu Niu , Chen Feng , Yinqian Zhang

Blockchain, the technology behind the popular Bitcoin, is considered a "security by design" system as it is meant to create security among a group of distrustful parties yet without a central trusted authority. The security of blockchain…

Cryptography and Security · Computer Science 2020-09-02 Yang Xiao , Ning Zhang , Wenjing Lou , Y. Thomas Hou

This paper studies proof-of-work Nakamoto consensus protocols under bounded network delays, settling two long-standing questions in blockchain security: What is the most effective attack on block safety under a given block confirmation…

Cryptography and Security · Computer Science 2025-09-16 Shu-Jie Cao , Dongning Guo