Downloadable computer software for managing and validating cryptocurrency transactions using blockchain-based smart contracts