This document is incorporated into https://notes.ethereum.org/@vbuterin/single_slot_finality
Published on HackMD
13278