Great write-up - what I would add is that this algorithm rest on the assumption that all nodes are behaving honestly and are not malicious. Which of course is true for most distributed systems we build, but is not true for public blockchains, like Bitcoin for example :)