There isn’t a Cardanos consensus protocol per se: there are a family of them under the umbrella term “Ourobouros”. In production it’s the BFT variant which is sort of a warmed over tendermint or algorand.
The more ambitious variants are very mathematically rigorous but axiomatize a wall-clock oracle, as well as in some cases mathematically-interesting but practically absurd assumptions about synchronicity.
Hoff has deployed his private fortune doing (among other, uh, things) serious research on distributed Byzantine consensus.
The more ambitious variants are very mathematically rigorous but axiomatize a wall-clock oracle, as well as in some cases mathematically-interesting but practically absurd assumptions about synchronicity.
Hoff has deployed his private fortune doing (among other, uh, things) serious research on distributed Byzantine consensus.
If they’ve got it nailed down I missed the paper.