Downloadable computer software for managing and validating cryptocurrency transactions using blockchain-based smart contracts; Downloadable computer software for managing and verifying cryptocurrency transactions on a blockchain