Downloadable computer software and recorded computer software for computational integrity and blockchain technology, namely, downloadable and recorded computer software for verifying payment transactions, verifying updates to databases, transacting over blockchains, conducting blockchain transactions, and verifying state changes in applications running over blockchains