University of Illinois Urbana-Champaign

Some theoretical problems in blockchain security and efficiency

Sankagiri, Suryanarayana

Content Files
SANKAGIRI-DISSERTATION-2022.pdf

Permalink

https://hdl.handle.net/2142/116230

Description

Title
Some theoretical problems in blockchain security and efficiency
Author(s)
Sankagiri, Suryanarayana
Issue Date
2022-07-14
Director of Research (if dissertation) or Advisor (if thesis)
Hajek, Bruce
Doctoral Committee Chair(s)
Hajek, Bruce
Committee Member(s)
  • Viswanath, Pramod
  • Miller, Andrew
  • Ren, Ling
  • Tse, David
Department of Study
Electrical & Computer Eng
Discipline
Electrical & Computer Engr
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
Ph.D.
Degree Level
Dissertation
Keyword(s)
  • Blockchains
  • Longest-chain protocol
  • finality gadgets
  • payment channel networks
  • applied probability
  • networks
Abstract
A salient factor behind the success of Bitcoin and other cryptocurrencies is the security of its underlying consensus engine: the longest-chain protocol. Recent literature has given us an excellent theoretical understanding of this protocol's behavior in the synchronous (bounded communication delay) model. One principle that emerges from this work is that the protocol's security degrades as the bound on the communication delays increases. It is therefore natural to investigate further the protocol's robustness to network delays and how one might enhance it further. This thesis studies the security of the longest-chain protocol in network models that relax the synchronous assumption. In particular, we answer the following two questions in the affirmative: 1. In a network with random, possibly unbounded delays, is the longest-chain protocol secure? This work shows that the protocol is robust to sporadic, large delays, as is wont to happen in real-world networks. Moreover, it sheds light on the dual role of delays on security: they have both a local effect and a global effect. 2. In a network with more adverse conditions, i.e., occasional periods with arbitrary delay, How can the longest-chain protocol be made secure? This work designs a finality gadget with provable security properties that ensures the security of the longest-chain protocol even under arbitrary delay. It also reveals some nuances about the CAP theorem, a fundamental impossibility result in blockchains and distributed systems. In addition, Bitcoin suffers from poor transaction throughput. This is a fundamental limitation of the longest-chain protocol. Layer-two solutions provide a means to offload most of the transactions from the blockchain, using the consensus mechanism only when disputes arise. Payment channel networks are a class of layer-two solutions that have already been deployed in practice. In this dissertation, we model these networks mathematically, explore the benefits of dynamic routing and flow control, and present a network protocol that jointly performs these actions to steer the network to an optimal operating point. The protocol is derived as a method of solving a network optimization problem. It makes use of channel prices to coordinate the actions of the nodes in a decentralized fashion.
Graduation Semester
2022-08
Type of Resource
Thesis
Handle URL
https://hdl.handle.net/2142/116230
Copyright and License Information
Copyright 2022 Suryanarayana Sankagiri

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois