AWeb of Blocks Technical Report

Blockchains o‚er a useful abstraction: a trustworthy, decentralized log of totally ordered transactions. Traditional blockchains have problems with scalability and eciency, preventing their use for many applications. Œese limitations arise from the requirement that all participants agree on the total ordering of transactions. To address this fundamental shortcoming, we introduce Charloˆe, a system for maintaining decentralized, authenticated data structures, including transaction logs. Each data structure—indeed, each block—speci€es its own availability and integrity properties, allowing CharloŠe applications to retain the full bene€ts of permissioned or permissionless blockchains. In CharloŠe, a block can be atomically appended to multiple logs, allowing applications to be interoperable when they want to, without ineciently forcing all applications to share one big log. We call this open graph of interconnected blocks a blockweb. We allow new kinds of blockweb applications that operate beyond traditional chains. We demonstrate the viability of CharloŠe applications with proof-of-concept servers running interoperable blockchains. Using performance data from our prototype, we estimate that when compared with traditional blockchains, CharloŠe o‚ers multiple orders of magnitude improvement in speed and energy eciency.

[1]  Serguei Popov,et al.  Equilibria in the Tangle , 2017, Comput. Ind. Eng..

[2]  Ghassan O. Karame,et al.  Scalable Byzantine Consensus via Hardware-Assisted Secret Sharing , 2016, IEEE Transactions on Computers.

[3]  C. Lemahieu,et al.  Nano : A Feeless Distributed Cryptocurrency Network , 2018 .

[4]  Marko Vukolic,et al.  Blockchain Consensus Protocols in the Wild , 2017, DISC.

[5]  Andrew C. Myers,et al.  Fabric: Building open distributed systems securely by construction , 2017, J. Comput. Secur..

[6]  Paul Tak Shing Liu Medical Record System Using Blockchain, Big Data and Tokenization , 2016, ICICS.

[7]  Prateek Saxena,et al.  A Secure Sharding Protocol For Open Blockchains , 2016, CCS.

[8]  Elaine Shi,et al.  The Honey Badger of BFT Protocols , 2016, CCS.

[9]  Matthias Mettler,et al.  Blockchain technology in healthcare: The revolution starts here , 2016, 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom).

[10]  Andrew Lippman,et al.  MedRec: Using Blockchain for Medical Data Access and Permission Management , 2016, 2016 2nd International Conference on Open and Big Data (OBD).

[11]  Lorenzo Alvisi,et al.  TARDiS: A Branch-and-Merge Approach To Weak Consistency , 2016, SIGMOD Conference.

[12]  Maurice Herlihy,et al.  Enhancing Accountability and Trust in Distributed Ledgers , 2016, ArXiv.

[13]  Elaine Shi,et al.  On Scaling Decentralized Blockchains - (A Position Paper) , 2016, Financial Cryptography Workshops.

[14]  Stefan Thomas,et al.  A Protocol for Interledger Payments , 2016 .

[15]  Yoad Lewenberg,et al.  SPECTRE: A Fast and Scalable Cryptocurrency Protocol , 2016, IACR Cryptol. ePrint Arch..

[16]  Norman Meuschke,et al.  Decentralized Trusted Timestamping using the Crypto Currency Bitcoin , 2015, ArXiv.

[17]  David Mazières The Stellar Consensus Protocol: A Federated Model for Internet-level Consensus , 2015 .

[18]  Shawn Wilkinson,et al.  Storj A Peer-to-Peer Cloud Storage Network , 2014 .

[19]  Michael J. Freedman,et al.  Don't settle for eventual: scalable causal consistency for wide-area storage with COPS , 2011, SOSP.

[20]  Leslie Lamport,et al.  Byzantizing Paxos by Refinement , 2011, DISC.

[21]  Elisa Bertino,et al.  How to authenticate graphs without leaking , 2010, EDBT '10.

[22]  Ari Juels,et al.  Proofs of retrievability: theory and implementation , 2009, CCSW '09.

[23]  Satoshi Nakamoto Bitcoin : A Peer-to-Peer Electronic Cash System , 2009 .

[24]  Gil Neiger,et al.  Causal memory: definitions, implementation, and programming , 1995, Distributed Computing.

[25]  Russ Housley,et al.  Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile , 2002, RFC.

[26]  Michael Gertz,et al.  A General Model for Authentic Data Publication , 2001 .

[27]  Leslie Lamport,et al.  Paxos Made Simple , 2001 .

[28]  Ben Y. Zhao,et al.  OceanStore: an architecture for global-scale persistent storage , 2000, SIGP.

[29]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[30]  Adi Shamir,et al.  A method for obtaining digital signatures and public-key cryptosystems , 1978, CACM.

[31]  Ralph C. Merkle,et al.  Protocols for Public Key Cryptosystems , 1980, 1980 IEEE Symposium on Security and Privacy.

[32]  Christos H. Papadimitriou,et al.  The serializability of concurrent database updates , 1979, JACM.