Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/2833312.2833321acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicdcnConference Proceedingsconference-collections
research-article

Bitcoin meets strong consistency

Published: 04 January 2016 Publication History
  • Get Citation Alerts
  • Abstract

    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 consistency. Our system, PeerCensus, acts as a certification authority, manages peer identities in a peer-to-peer network, and ultimately enhances Bitcoin and similar systems with strong consistency. Our extensive analysis shows that PeerCensus is in a secure state with high probability. We also show how Discoin, a Bitcoin variant that decouples block creation and transaction confirmation, can be built on top of PeerCensus, enabling real-time payments. Unlike Bitcoin, once transactions in Discoin are committed, they stay committed.

    References

    [1]
    Gaving Andreesen. BIP 0050: March 2013 Chain Fork Post-Mortem. https://github.com/bitcoin/bips, 2013. {Online; accessed December 12, 2014}.
    [2]
    Elli Androulaki, Ghassan Karame, Marc Roeschlin, Tobias Scherer, and Srdjan Capkun. Evaluating user privacy in bitcoin. IACR Cryptology ePrint Archive, 2012: 596, 2012.
    [3]
    M. Babaioff, S. Dobzinski, S. Oren, and A. Zohar. On bitcoin and red balloons. In Electronic Commerce, 2012.
    [4]
    Adam Back, Matt Corallo, Luke Dashjr, Mark Friedenbach, Gregory Maxwell, Andrew Miller, Andrew Poelstra, Jorge Timón, and Pieter Wuille. Enabling blockchain innovations with pegged sidechains, 2014.
    [5]
    Tobias Bamert, Christian Decker, Lennart Elsen, Samuel Welten, and Roger Wattenhofer. Have a snack, pay with bitcoin. In IEEE Internation Conference on Peer-to-Peer Computing (P2P), Trento, Italy, 2013.
    [6]
    Vitalik Butterin et al. A next-generation smart contract and decentralized application platform, 2014.
    [7]
    Miguel Castro, Barbara Liskov, et al. A correctness proof for a practical byzantine-fault-tolerant replication algorithm. Technical report, Technical Memo, MIT Laboratory for Computer Science, 1999.
    [8]
    Miguel Castro, Barbara Liskov, et al. Practical byzantine fault tolerance. In OSDI, 1999.
    [9]
    David Chaum. Blind signatures for untraceable payments. In Advances in cryptology, 1983.
    [10]
    David Chaum, Amos Fiat, and Moni Naor. Untraceable electronic cash. In Advances in cryptology, 1990.
    [11]
    Jeremy Clark and Aleksander Essex. Commitcoin: Carbon dating commitments with bitcoin. In Financial Cryptography and Data Security. 2012.
    [12]
    Christian Decker and Roger Wattenhofer. Information propagation in the bitcoin network. In IEEE International Conference on Peer-to-Peer Computing (P2P), Trento, Italy, September 2013.
    [13]
    Christian Decker and Roger Wattenhofer. Bitcoin Transaction Malleability and MtGox. In 19th European Symposium on Research in Computer Security (ESORICS), Wroclaw, Poland, September 2014.
    [14]
    Christian Decker and Roger Wattenhofer. A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels. In Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Edmonton, Canada, 2015.
    [15]
    C Dwork and M Naor. Pricing via processing or combating junk mail. Lecture Notes in Computer Science, 1992.
    [16]
    Ittay Eyal and Emin Gün Sirer. Majority is not enough: Bitcoin mining is vulnerable. arXiv preprint arXiv:1311.0243, 2013.
    [17]
    Juan Garay, Aggelos Kiayias, and Nikos Leonardos. The bitcoin backbone protocol: Analysis and applications. Technical report, 2014.
    [18]
    G. O. Karame, E. Androulaki, and S. Capkun. Two Bitcoins at the Price of One? Double-Spending Attacks on Fast Payments in Bitcoin. In Computer and Communication Security, 2012.
    [19]
    Ramakrishna Kotla, Lorenzo Alvisi, Mike Dahlin, Allen Clement, and Edmund Wong. Zyzzyva: speculative byzantine fault tolerance. In ACM Symposium on Operating systems principles, 2007.
    [20]
    Leslie Lamport, Robert Shostak, and Marshall Pease. The byzantine generals problem. ACM Transactions on Programming Languages and Systems, 1982.
    [21]
    Ian Miers, Christina Garman, Matthew Green, and Aviel D. Rubin. Zerocoin: Anonymous distributed e-cash from bitcoin. 2013.
    [22]
    Andrew Miller and Joseph LaViola. Anonymous byzantine consensus from moderately-hard puzzles: A model for bitcoin. 2014.
    [23]
    Andrew Miller, Elaine Shi, Ahmed Kosba, and Jonathan Katz. Preprint: Nonoutsourceable scratch-off puzzles to discourage bitcoin mining coalitions.
    [24]
    Michael Mitzenmacher and Eli Upfal. Probability and computing: Randomized algorithms and probabilistic analysis. 2005.
    [25]
    Satoshi Nakamoto. Bitcoin: A peer-to-peer electronic cash system. https://bitcoin.org/bitcoin.pdf. {Online; accessed March 26, 2014}.
    [26]
    M. Pease, R. Shostak, and L. Lamport. Reaching agreement in the presence of faults. Journal of the ACM (JACM).
    [27]
    F. Reid and M. Harrigan. An analysis of anonymity in the bitcoin system. In Social Computing, 2011.
    [28]
    Michael K. Reiter. A secure group membership protocol. Transactions on Software Engineering, 1996.
    [29]
    Meni Rosenfeld. Analysis of bitcoin pooled mining reward systems. arXiv preprint arXiv:1112.4980, 2011.
    [30]
    Meni Rosenfeld. Overview of colored coins. Technical report, 2012.
    [31]
    David Schwartz, Noah Youngs, and Arthur Britto. The ripple protocol consensus algorithm, 2014.
    [32]
    Vivek Vishnumurthy, Sangeeth Chandrakumar, and Emin Gun Sirer. Karma: A secure economic framework for peer-to-peer resource sharing. In Economics of Peer-to-Peer Systems, 2003.
    [33]
    JR Willett, Maran Hidskes, David Johnston, Ron Gross, and Marv Schneider. The master protocol / mastercoin complete specification, 2012.

    Cited By

    View all
    • (2024)Dynamic Optimization of the Latency Throughput Trade-off in Parallel Chain Distributed LedgersProceedings of the 39th ACM/SIGAPP Symposium on Applied Computing10.1145/3605098.3635956(226-234)Online publication date: 8-Apr-2024
    • (2024)HCA: Hashchain-Based Consensus Acceleration Via Re-VotingIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2023.326228321:2(775-788)Online publication date: Mar-2024
    • (2024)An Improved Model of PBFT with Anonymity and Proxy Based on Linkable Ring SignatureAlgorithms and Architectures for Parallel Processing10.1007/978-981-97-0808-6_29(491-502)Online publication date: 27-Feb-2024
    • Show More Cited By

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    ICDCN '16: Proceedings of the 17th International Conference on Distributed Computing and Networking
    January 2016
    370 pages
    ISBN:9781450340328
    DOI:10.1145/2833312
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 04 January 2016

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. bitcoin
    2. blockchain
    3. byzantine agreement

    Qualifiers

    • Research-article

    Conference

    ICDCN '16

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)46
    • Downloads (Last 6 weeks)5
    Reflects downloads up to

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)Dynamic Optimization of the Latency Throughput Trade-off in Parallel Chain Distributed LedgersProceedings of the 39th ACM/SIGAPP Symposium on Applied Computing10.1145/3605098.3635956(226-234)Online publication date: 8-Apr-2024
    • (2024)HCA: Hashchain-Based Consensus Acceleration Via Re-VotingIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2023.326228321:2(775-788)Online publication date: Mar-2024
    • (2024)An Improved Model of PBFT with Anonymity and Proxy Based on Linkable Ring SignatureAlgorithms and Architectures for Parallel Processing10.1007/978-981-97-0808-6_29(491-502)Online publication date: 27-Feb-2024
    • (2023)An Exploratory Study of Python's Role in the Advancement of Cryptocurrency and Blockchain EcosystemsAdvanced Applications of Python Data Structures and Algorithms10.4018/978-1-6684-7100-5.ch012(236-252)Online publication date: 30-Jun-2023
    • (2023)Regulatory Paradigm and Challenge for Blockchain Integration of Decentralized Systems: Example—Renewable Energy GridsSustainability10.3390/su1503257115:3(2571)Online publication date: 31-Jan-2023
    • (2023)Modeling and Analysis of Proof-Based Strategies for Distributed Consensus in Blockchain-Based Peer-to-Peer NetworksSustainability10.3390/su1502147815:2(1478)Online publication date: 12-Jan-2023
    • (2023)Byzantine Fault-Tolerant Consensus Algorithms: A SurveyElectronics10.3390/electronics1218380112:18(3801)Online publication date: 8-Sep-2023
    • (2023)Single-Tiered Hybrid PoW Consensus Protocol to Encourage Decentralization in BitcoinSecurity and Communication Networks10.1155/2023/61699332023(1-12)Online publication date: 15-Jul-2023
    • (2023)Feasibility Analysis for Sybil Attacks in Shard-Based Permissionless BlockchainsDistributed Ledger Technologies: Research and Practice10.1145/36183022:4(1-21)Online publication date: 14-Dec-2023
    • (2023)SoK: DAG-based Blockchain SystemsACM Computing Surveys10.1145/357689955:12(1-38)Online publication date: 3-Mar-2023
    • Show More Cited By

    View Options

    Get Access

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media