Is there a highly detailed, up-to-date, and well-written explanation of proof-of-stake (ideally with discussion of implications and trade-offs, notes on Ethereum's specific implementation details, etc)? (Googling for crypto-related topics yields "yikes"-level signal-to-noise!)
Conversation
e.g. I think I'd like something like this 2014 blog post on the topic[1], except with much greater detail (and ideally, with the many important open questions listed there tied up!)
[1]
2
18
Best I've found so far is arxiv.org/abs/2003.03052, which I'm surprised that none of the replies mentioned.
Replying to
David Tse’s Stanford class EE374 is very good for proof-of-stake, but probably not specific enough if you’re only interested in Gasper.
Maybe Vitalik’s annotated spec? github.com/ethereum/annot
1
Replying to
The Ouroboros (PoS) protocols and related papers cover a lot of that territory
Replying to
That paper, the annotated specs and others that were linked are great resources! I'll add one of my posts on the architecture of Ethereum post-PoS (maybe ties up some open questions?)
Replying to
It’s a good article, I’m on the same journey. Only way I’ve found is to start from scratch:
1) Tendermint paper on PoS (2014) & the original BFT papers it references.
2) Vitalik/Eth foundation on PoS
3) Gather opposition from BTC community & my own questions
Writing it up atm