TY  - RPRT
TI  - Formalizing Nakamoto-Style Proof of Stake
AU  - Søren Eller Thomsen
AU  - Bas Spitters
PY  - 2021
DO  - 10.1109/csf51468.2021.00042
UR  - https://arxiv.org/abs/2007.12105
ID  - 2007.12105
ER  -