Permissionless Consensus Tutorial (7 of 13)
Tim Roughgarden Lectures · 9:15
This video completes the correctness proof of a Dolev–Strong-style consensus protocol adapted to the dynamically available setting, where faulty players may only crash or delay message dissemination (no Byzantine beha...