Finality & Safety-Liveness
0 questions
Why BFT chains halt instead of forking: with a fixed quorum they choose safety over availability, so losing more than a third of voting power stops progress rather than producing two histories. Expect the CAP framing and the partial-synchrony assumption that liveness rests on.
questions
no questions here yet
this part of the tree is still being written
>
0 questions in this topic or below it