This is a pretty nice summary! I get most of those things in theory but at some point I think I still want to learn details about how this gets carried out. Probably how the selection mechanism takes place. There seems to be some fun theoretical attacks for such systems too, like the "nothing at stake" problem that I still don't understand. For further reading, I suppose.