How Bitcoin solves the Byzantine Generals’ Problem