The Byzantine General's Problem, Bitcoin, Colored Coins, and Adam Back. Connections and Contributions