Decentralized blockchain-based storage of the automatically-verifiably correct (certified) code as well as generalized blockchain platform