Downloadable virtual machine (VM) and software development kit (SDK) for use by software developers for developing and validating smart contracts in various programming languages using blockchain-based software technology; Downloadable computer software code for developing and validating blockchain-based smart contracts