Quote from: Peter R on May 15, 2015, 02:29:46 AM

Quote from: kushti on April 14, 2015, 06:07:44 PM

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?

Quote from: kushti on May 14, 2015, 04:01:05 PM

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"?

Well, I meant this awesome paper https://eprint.iacr.org/2014/765.pdf . Please take a look to "The common prefix property" in the paper - it's literally the same as "Nakamoto's property".