Data that requires a significant amount of computation to generate but requires a minimal amount of computation to be verified as being correct.