Themis: Towards Decentralized Escrow of Cryptocurrencies without Trusted Third Parties | Synapse