Formalized model showing Nakamoto's property could be met in proof-of-stake
Kushti, what exactly do people mean when they say "Nakamoto's property"? Can you link me to somewhere that gives a precise definition for this term?
1. No major news in the field of truly formal proof-of-stake description. It's the question of months at least probably(btw, good formal framework describing proof-of-work appeared only in second half of 2014, 5+ years after Nakamoto's paper which is pretty informal).
Any links you can share for "good formal framework describing proof-of-work"?