title_body: Where can I find formal work comparing PoS and PoW models?
upvoted_answer: There are many variations on proof of work and proof of stake.  It is unlikely that there will be a formal comparison of these broad concepts.
  The closest you are likely to find are informal comparisons such as Charles Hoskinson's video &quot;Video for Jack: PoW versus PoS&quot;