International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Towards Permissionless Consensus in the Standard Model via Fine-Grained Complexity

Authors:
Marshall Ball , New York University
Juan Garay , Texas A&M University
Peter Hall , New York University
Aggelos Kiayias , University of Edinburgh and IOG
Giorgos Panagiotakos , IOG
Download:
Search ePrint
Search Google
Conference: CRYPTO 2024
Abstract: We investigate the feasibility of {\em permissionless} consensus (aka Byzantine agreement) under standard assumptions. A number of protocols have been proposed to achieve permissionless consensus, most notably based on the Bitcoin protocol; however, to date no protocol is known that can be provably instantiated outside of the random oracle model. In this work, we take the first steps towards achieving permissionless consensus in the standard model. In particular, we demonstrate that worst-case conjectures in fine-grained complexity, in particular the orthogonal vectors conjecture (implied by the Strong Exponential Time Hypothesis), imply permissionless consensus in the random beacon model---a setting where a fresh random value is delivered to all parties at regular intervals. This gives a remarkable win-win result: \emph{either permissionless consensus exists relative to a random beacon, or there are non-trivial worst-case algorithmic speed-ups for a host of natural algorithmic problems} (including $\mathsf{SAT}$). Our protocol achieves resilience against adversaries that control an inverse-polynomial fraction of the honest computational power, i.e.,~adversarial power $A=T^{1-\epsilon}$ for some constant $\epsilon>0$, where $T$ denotes the honest computational power. This relatively low threshold is a byproduct of the slack in the fine-grained complexity conjectures. One technical highlight is the construction of a \emph{Seeded Proof of Work}: a Proof of Work where many (correlated) challenges can be derived from a single short \emph{public} seed, and yet still no non-trivial amortization is possible.
BibTeX
@inproceedings{crypto-2024-34294,
  title={Towards Permissionless Consensus in the Standard Model via Fine-Grained Complexity},
  publisher={Springer-Verlag},
  author={Marshall Ball and Juan Garay and Peter Hall and Aggelos Kiayias and Giorgos Panagiotakos},
  year=2024
}