Merkle-tree-based, decentralized, public blockchain for running cryptographically secure computations