On the Programmability and Uniformity of Digital Currencies | Synapse