Leslie Lamport on the Science of Distributed Systems

Before blockchains could reach consensus, Leslie Lamport had to define what agreement even meant when computers fail, lie, or disappear.
This is the summary a16z crypto publishes in its feed. The full article lives on their site.