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