Bitcoin & the Byzantine Generals Problem