A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
The Bitcoin Backbone Protocol: Analysis and Applications
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
In this work, we extract and analyze the core of the Bitcoin protocol, which we term the Bitcoin backbone, and prove two of its fundamental properties which we call common prefix and chain quality in the ...
Next, we propose and analyze applications that can be built "on top" of the backbone protocol, specifically focusing on Byzantine agreement (BA) and on the notion of a public transaction ledger. ...
In our analysis of the Bitcoin backbone protocol we formalize and prove two fundamental properties it possesses. ...
doi:10.1007/978-3-662-46803-6_10
fatcat:o4dhxeta4rbylgyjhr5lwi6v3a
The Bitcoin Backbone Protocol Against Quantum Adversaries
[article]
2019
IACR Cryptology ePrint Archive
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Motivated by this, in this work we revisit the formal security of the core of the Bitcoin protocol, called the Bitcoin backbone, in the presence of an adversary that has access to a scalable quantum computer ...
Bitcoin and its underlying blockchain protocol have received recently significant attention in the context of building distributed systems as well as from the perspective of the foundations of the consensus ...
We then turn to the security analysis of the Bitcoin backbone protocol. ...
dblp:journals/iacr/CojocaruGKSW19
fatcat:fensfyft7vazhm6tf5ebc4jspi
On Analysis of the Bitcoin and Prism Backbone Protocols
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Prior analyses of the bitcoin and Prism backbone protocols assume the lifespan of blockchain is finite. ...
Specifically, the results include a blockchain growth property, a blockchain quality property, and a common prefix property of the bitcoin backbone protocol, as well as the liveness and persistence of ...
An in-depth analysis of the bitcoin protocol was given in [2] . Several important properties of the bitcoin backbone protocol have been proposed in [1] , [3] - [6] . ...
arXiv:1907.05016v2
fatcat:7xpdvu2isbethph3ldosu3hi5q
The Bitcoin Backbone Protocol with Chains of Variable Difficulty
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
We extend the q-bounded synchronous model of the Bitcoin backbone protocol [Eurocrypt 2015], which posed the basic properties of Bitcoin's underlying blockchain data structure and shows how a robust public ...
Our work introduces new analysis techniques and tools to the area of blockchain systems that may prove useful in analyzing other blockchain protocols. ...
Application: Robust Transaction Ledger We now come to the (main) application the Bitcoin backbone protocol was designed to solve. ...
doi:10.1007/978-3-319-63688-7_10
fatcat:erpkke25fjfhllazp4shxu37fm
Analysis of bitcoin backbone protocol in the non-flat model
2020
Science China Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we provide the formal analysis of bitcoin backbone protocol in the non-flat model. ...
Keywords bitcoin system, proof-of-work, computational power, non-flat model, transaction ledger Citation Ni P F, Li H D, Pan D X. Analysis of bitcoin backbone protocol in the non-flat model. ...
The responsibility for scientific accuracy and content remains entirely with the authors. ...
doi:10.1007/s11432-019-2698-1
fatcat:7kcv6yy5inbzbay4kiqmjmemde
Post-Quantum Blockchain Proofs of Work
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In addition, we revisit the formal treatment of security of the core of the Bitcoin consensus protocol, called the Bitcoin backbone (Eurocrypt 2015), against quantum adversaries and show that its security ...
Our analysis indicates that security of the Bitcoin backbone protocol is guaranteed provided that the number of adversarial quantum queries is bounded so that each quantum query is worth O(p^-1/2) classical ...
FS was supported by the US National Science Foundation grants CCF-2042414 and CCF-2054758 (CAREER). ...
arXiv:2012.15254v3
fatcat:usfol7a3vjewrlt3f7estaqjga
Analysis of Recent Trend and Applications in Block Chain Technology
2020
Journal of ISMAC
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Blockchains are primarily used by cryptocurrencies such as Bitcoin and other applications to record these transactions. ...
Some of the applications are manufacturing, government and finance when the three properties met together (i.e., Efficiency, Scalability and Security). ...
Bitcoin network consists of a group of globally distributed computers all under open-source software. Blockchain used for many applicators. ...
doi:10.36548/jismac.2020.4.003
fatcat:5x6jbs5rdrbotmu6zhb3zymdly
On Elapsed Time Consensus Protocols
[article]
2021
IACR Cryptology ePrint Archive
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
We prove the security of our ET consensus protocol with a trusted gimer given an honest majority assumption in a model very similar to the bitcoin backbone model proposed by Garay et al. which we call ...
Our model and protocol aims to capture the essence of PoeT and PoL while ignoring some of the more practical difficulties associated with such protocols, such as bootstrapping and setting up the TEE. ...
Applications of Our Protocol In [GKL15] , the authors show that the bitcoin backbone protocol almost immediately implies a Byzantine fault tolerant consensus protocol and a public ledger. ...
dblp:journals/iacr/BowmanDMM21
fatcat:ip44m2tvj5fspiebwrwtkk4ui4
Blockchain Implementation Quality Challenges: A Literature Review
2017
Software Quality Analysis, Monitoring, Improvement, and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The conclusions of this study could be used for further analysis of the quality attributes required for the Blockchain implementations and improvement of the quality of the Blockchain systems. ...
Blockchain is not applicable only in nancial transaction systems but it is transforming our society from the way we use our cars, smartphones, healthcare, vote, and even personal identication. ...
On the other hand, the latency between the transaction submission and confirmation is affected by the consensus protocol. ...
dblp:conf/sqamia/KoteskaKM17
fatcat:vqbfmqu7ejabtjnlkylemtc6mi
An Analysis of Block Chain Applications In Bitcoin And Smart Grid Technologies
2021
International Journal for Research in Applied Science and Engineering Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
This is sustainable and eco-friendly alternative. This paper is tailored to analyze the blockchain applications in Bitcoin and Smart Grid. ...
The paper has been framed by using secondary research and the authors' opinion is also voiced.Blockchain-based application are springing up, covering numerous fields including financial services, Internet ...
Bitcoin Mining Mining is the backbone of bitcoin network as it provides safety and security and confirms secure transactions. ...
doi:10.22214/ijraset.2021.37303
fatcat:fo4enjbpc5abxkjibaztiuuozi
Proofs of Work for Blockchain Protocols
[article]
2017
IACR Cryptology ePrint Archive
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The protocol is built on top of a SoW-based blockchain and standard properties of the underlying hash function, thus improving on the known provably secure consensus protocols in this setting, which rely ...
More recently, with the advent of blockchain protocols like Bitcoin, consensus has been considered in the "permissionless" setting where no authentication or even point-to-point communication is available ...
we establish the security of the Bitcoin backbone protocol [31] . ...
dblp:journals/iacr/GarayKP17
fatcat:pjgk7ggz45gkdkbuz2ux73324e
Asymptotic Performance Analysis of Blockchain Protocols
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1902.04363v1 fatcat:3yjsr3spwfc5re4dmpkomnb5xa
To reach this goal, we undertake a complexity analysis of a wide range of prominent distributed algorithms proposed for blockchain systems, under the lens of Total Order Broadcast protocols. ...
We sampled protocols designed for very different settings and that use a broad range of techniques, thus giving a good overview of the achievements of state-of-the-art techniques. ...
Using the Bitcoin backbone protocol For Bitcoin, Snow White, and Ouroboros we will rely on the backbone protocol formalism from Garay et al. [6] . ...
arXiv:1902.04363v2
fatcat:g3lfq7v4azfbnhs5ndjbv2ge2a
A Survey on Consensus Protocols in Blockchain for IoT Networks
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1809.05613v2 fatcat:hx2yo33sozh47nonrhn77tf5myOther Versions
In this article, we discuss and survey the various blockchain based consensus methods that are applicable to resource constrained IoT devices and networks. ...
The success of blockchain as the underlying technology for cryptocurrencies has opened up possibilities for its use in other application domains as well. ...
In addition, in a smart home, there is a need to store all the communicated data among the devices and the current state of each device and sensors for analysis and better decision making. ...
arXiv:1809.05613v4
fatcat:edz2g3h4snbchofsdxmngsqe3i
PREStO: A Systematic Framework for Blockchain Consensus Protocols
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Existing efforts to survey the area reveal a fragmented terminology and the lack of a unified framework to reason about the properties of blockchain protocols. ...
The result is a dynamic scheme -- termed the PREStO framework -- which aids the interaction between stakeholders of different backgrounds, including managers and investors, and which enables systematic ...
Their analysis extends initial analyses of the backbone protocols of the main cryptocurrencies [84] , [85] , [87] , [157] . ...
arXiv:1906.06540v2
fatcat:srzzkl3n5vgkrjatuclfjch7am
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The Payment Protocol standard BIP70, specifying how payments in Bitcoin are performed by merchants and customers, is supported by the largest payment processors and most widely-used wallets. ...
In this paper, we give the first formal model of the protocol and formalise the refund address security goals for the protocol, namely refund address authentication and secrecy. ...
Acknowledgements The second and forth authors were supported by the European Research Council (ERC) Starting Grant (No. 306994). ...
arXiv:2103.08436v1
fatcat:ncvwqslocjh3hhrwqg4libc6ya
« Previous
Showing results 1 — 15 out of 918 results