Dave: a decentralized, secure, and lively fraud-proof algorithm

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Nehab, Diego, de Paula, Gabriel Coutinho, Teixeira, Augusto
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910689857110016
author Nehab, Diego
de Paula, Gabriel Coutinho
Teixeira, Augusto
author_facet Nehab, Diego
de Paula, Gabriel Coutinho
Teixeira, Augusto
contents In this paper, we introduce a new fraud-proof algorithm that offers an unprecedented combination of decentralization, security, and liveness. The resources that must be mobilized by an honest participant to defeat an adversary grow only logarithmically with what the adversary ultimately loses. As a consequence, there is no need to introduce high bonds that prevent an adversary from creating too many Sybils. This makes the system very inclusive and frees participants from having to pool resources among themselves to engage the protocol. Finally, the maximum delay to finalization also grows only logarithmically with total adversarial expenditure, with the smallest multiplicative factor to date. In summary: the entire dispute completes in 2--5 challenge periods, the only way to break consensus is to censor the honest party for more than one challenge period, and the costs of engaging in the dispute are minimal.
format Preprint
id arxiv_https___arxiv_org_abs_2411_05463
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Dave: a decentralized, secure, and lively fraud-proof algorithm
Nehab, Diego
de Paula, Gabriel Coutinho
Teixeira, Augusto
Cryptography and Security
Distributed, Parallel, and Cluster Computing
In this paper, we introduce a new fraud-proof algorithm that offers an unprecedented combination of decentralization, security, and liveness. The resources that must be mobilized by an honest participant to defeat an adversary grow only logarithmically with what the adversary ultimately loses. As a consequence, there is no need to introduce high bonds that prevent an adversary from creating too many Sybils. This makes the system very inclusive and frees participants from having to pool resources among themselves to engage the protocol. Finally, the maximum delay to finalization also grows only logarithmically with total adversarial expenditure, with the smallest multiplicative factor to date. In summary: the entire dispute completes in 2--5 challenge periods, the only way to break consensus is to censor the honest party for more than one challenge period, and the costs of engaging in the dispute are minimal.
title Dave: a decentralized, secure, and lively fraud-proof algorithm
topic Cryptography and Security
Distributed, Parallel, and Cluster Computing
url https://arxiv.org/abs/2411.05463