An alternative paradigm to analyze proof-of-stake protocols