Develops a full-proof stack in generating and verifying proofs of computational integrity in the blockchain.