Foundations of Blockchains (Lecture 1.4: State Machine Replication)
Tim Roughgarden Lectures · 17:35
This lecture defines State Machine Replication (SMR) — the formal consensus problem that blockchains actually solve — and specifies exactly what "correctness" means for it: a protocol is a valid SMR solution only if i...