Some theoretical problems in blockchain security and efficiency

Sankagiri, Suryanarayana

Permalink

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

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

Copyright and License Information

Copyright 2022 Suryanarayana Sankagiri

Owning Collections