Virtual machines are a type of software used in smart contracts—sets of code that execute terms of an agreement when predetermined conditions are met—making it easier to use crypto technology for things like property ownership or NFT trading