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