PhD Proposal: Data Structures and Protocols to Improve Scalability and Security of Distributed Consensus

Talk
Shravan Srinivasan
Time: 
01.27.2022 13:00 to 15:00
Location: 

IRB 5165

Cryptographically secure append-only decentralized ledgers, blockchains, are envisaged as a platform for various applications ranging from financial transactions to digitally bound contracts. However, despite achieving internet-scale consensus in the permissionless setting, current blockchain protocols face several scalability and security issues. This thesis proposes new authenticated data structures and distributed consensus protocols to improve scalability (through stateless blockchains) and security (through support for more powerful network adversaries) of blockchains, respectively.In the first part, I present Hyperproofs, a Vector Commitment (VC) scheme to improve scalability through stateless blockchains. Since VCs provide a short commitment to a set of values, they can remove the storage required to validate transactions and realize a stateless design. Our VC is the first construction that is efficiently maintainable (can update all proofs in sublinear time) and aggregatable (can combine multiple individual proofs into a single succinct proof). Hyperproofs also incentivize proof computation through a new property called unstealability, which allows a prover to cryptographically bind the proofs she computes with her identity irreversibly. As a subsequent work, I aim to study bilinear cryptographic accumulators that can succinctly prove the membership and non-membership of multiple elements efficiently in the distributed setting for privacy-preserving applications.In the second part, I discuss my proposed work on designing secure consensus protocols against powerful network adversaries that can delay or delete any message in the network. Specifically, I aim to: (1) design a permissionless protocol in a weaker synchronous model called the mobile sluggish model, where a subset of the honest nodes can arbitrarily lose synchrony, and (2) design a round efficient Byzantine broadcast protocol under strongly adaptive and majority corruptions.Examining Committee:

Chair:Department Representative:Members:

Prof. Charalampos (Babis) Papamanthou Prof. John DickersonProf. Jonathan Katz