spacemeshos / protocol

This repo contains the Spacemesh protocol specifications and related documentation
http://protocol.spacemesh.io/
Apache License 2.0
37 stars 13 forks source link

Need some clarification about the "faulty" aspect of hare #51

Closed zhiqiangxu closed 1 year ago

zhiqiangxu commented 1 year ago

While reading the white paper of spacemesh, I've raised a few questions, hope here's the right place to find the answer!

The abstract of "Tortoise and Hares Consensus" thesis says:

We propose Meshcash, a new framework for cryptocurrency protocols that combines a novel, proof-of-work based, permissionless byzantine consensus protocol (the tortoise) that guarantees eventual consensus and irreversibility, with a possibly-faulty but quick consensus protocol (the hare).

What exactly does the faulty mean here? Does it mean that the hare protocol can't reach consensus(liveness) or the consensus is wrong(safeness)?

In spacemesh's paper, the hare protocol is iterative, and it's not clear how the tortoise protocol could help when the hare protocol is stuck in iterations.

zhiqiangxu commented 1 year ago

Found the answer here.