[Summary]
* Paxos is a consensus algorithm used in distributed systems, often seen as an extension of the two-phase commit protocol (2PC).
* Spanner utilizes a leader-based Paxos with leases.
* TrueTime in Spanner is a globally synchronized clock with bounded uncertainty, aiding in determining the order of events.
* Through TrueTime, Spanner provides