Blue fish, red fish, live fish, dead fish

Victor Shoup

Paper 2024/1235 Original: eprint.iacr.org/2024/1235 ↗

Blue fish, red fish, live fish, dead fish

Victor Shoup

Abstract

We show that the DAG-based consensus protocol Tusk [DKSS22] does not achieve liveness, at least under certain reasonable assumptions on the implementation that are consistent with its specification. In addition, we give a simple 2-round variation of Tusk with lower latency and strong liveness properties, but with suboptimal resilience. We also show that another 2-round protocol, GradedDAG [DZX+24], which has optimal resilience, also has liveness problems analogous to Tusk.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint.
History: 2025-02-05: last updated; 2024-08-03: published
Short URL: https://ia.cr/2024/1235
License: https://creativecommons.org/licenses/by-nc-nd/4.0/

BibTeX

@misc{cryptoeprint:2024/1235,
      author = {Victor Shoup},
      title = {Blue fish, red fish, live fish, dead fish},
      howpublished = {Cryptology {ePrint} Archive, Paper 2024/1235},
      year = {2024},
      url = {https://eprint.iacr.org/2024/1235}
}