1

I'm studying proof of stake. I haven't found a clear definition of what "liveness" is. It is a main thing in PoS content, but I don't think I understand it clearly.

2

Distributed systems - be they blockchains or otherwise - have a concept of correctness. Correctness can be broken down into two parts: safety and liveness.

Liveness, in very general terms, could be considered the guarantee that something good will happen, eventually. The "eventually" is important because it means there's no bound on the time it takes for the good thing to happen.

Making things a little more specific, in a distributed system, an example of liveness is the guarantee that a distributed computation will terminate.

In a consensus mechanism, liveness is the guarantee that all processes/validators/actor/whatever, eventually agree on a value.

To complete the picture, safety is the guarantee that nothing bad will ever happen in a given system. In terms of consensus, this would mean that no two processes/validators/actors/whatever ever decide on different values.

0

Proof of Stake (PoS) is a category of consensus algorithms for public blockchains that depend on a validator's economic stake in the network

Details information this links

https://github.com/ethereum/wiki/wiki/Proof-of-Stake-FAQ

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.