Blue fish, red fish, live fish, dead fish

Victor Shoup

Paper 2024/1235

Blue fish, red fish, live fish, dead fish

Victor Shoup, Offchain Labs

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.
Keywords: asynchrony consensus
Contact author(s): victor @ shoup net
History: 2024-08-06: revised; 2024-08-03: received; See all versions
Short URL: https://ia.cr/2024/1235
License: CC BY-NC-ND

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},
      note = {\url{https://eprint.iacr.org/2024/1235}},
      url = {https://eprint.iacr.org/2024/1235}
}