Bitcoin as a Sequence of Proofs
alexkyte.me