STARKs revolves around the idea of computational integrity, which essentially means that the output of a…