Note that the title implies Vitalik invented this algorithm. Vitalik was very clear (as a paragraph in this article does disclose), that he was summarizing Lesl

Note that the title implies Vitalik invented this algorithm. Vitalik was very clear (as a paragraph in this article does disclose), that he was summarizing Leslie Lamport’s algorithm from 1982, and showing how it could be applied to the Blockchain context.